1 Sistemas de numeración.
1.1 Sistema decimal.
1.2 Sistema Binario Octal y Hexadecimal.
1.3 Conversiones.
2 Logica.
2.1 Logica Introduccion.
2.2 Proposiciones.
2.3 Tablas de verdad.
2.4 Inferencia logica Licenciatura.
2.5 Equivalencia logica.
2.6 Argumentos validos y no validos.
2.8 Predicados y sus valores de verdad
2.9 Aplicaciones.
3 Algebra booleana.
3.1 Introduccion Algebra booleana.
3.3 Propiedades Algebra booleana
3.4 Optimizacion de expresiones booleanas
3.5 Compuertas logicas (como una aplicación).
4 Relaciones.
4.2 Tipos de relaciones: reflexiva, simetrica, transitiva, de equivalencia
4.4 Funciones.
4.5 Aplicaciones.
5 Grafos y arboles.
5.1 Grafos Introduccion.
5.2 Tipos de grafos.
5.2.1 Nodos.
5.2.2 Ramas y lazos.
5.2.3 Valencia.
5.2.4 Caminos.
5.2.5 Ramas paralelas.
5.2.6 Grafos simples, de similaridad, bipartidos y completos.
5.3 Representacion matricial de grafos.
5.3.1 Ramas sucesivas de longitud n.
5.3.2 Rama Matriz adyacente e incidencia.
5.3.3 Caminos.
5.4 Isomorfismo.
5.5 Problemas con grafos.
5.6 Arboles.
5.6.1 Propiedades de los arboles.
5.6.2 Tipos de arboles.
5.6.3 Bosques.
5.6.4 Arboles generadores.
5.6.5 Busquedas.
5.7 Recorridos de arboles y notaciones polacas de expresiones.
5.8 Aplicaciones.
6 Introduccion a los lenguajes formales
6.1 Introduccion.
6.2 Gramaticas y lenguajes formales.
6.2.1 Estructuras de las gramaticas.
6.2.2 Clasificacion de las gramaticas (Chomsky).
6.2.3 Representacion de gramaticas.
6.3 Automatas finitos Introduccion.
6.3.2 Automatas finitos deterministicos y no deterministicos
6.4 Maquinas de estado finito y reconocimiento de expresiones regulares.
6.4.1 La maquina de Turing.
6.5 Aplicaciones.