1.1 Clasificación de los Números
1.2 Representación Decimal
1.3 Representación Binaria
1.4 Representación Octal y hexadecimal
1.5 Complementos
1.6 Aritmética modular
II
Lógica
Proposicional
2.1 Proposiciones - Proposiciones
Simples y Compuestas - Términos
de Enlace de Proposiciones - Simbolización
de Proposiciones y de los Términos de Enlace
2.2 Tipos de Proposiciones - Conjunción - Disyunción
Condicional y Bicondicional
2.3 Termino de Enlace Dominante - Elementos
para Determinar el Termino de Enlace Dominante
2.4 Formulas Lógicas - Valores
de certeza de una Proposición - Tablas
de Verdad de las proposiciones Moleculares Básicas
2.5 Diagramas Lineales - Elaboración
de la Tabla de Verdad para Cualquier Proposición - Tautologías - Contradicciones - Reglas
de Inferencia - Demostraciones
directas Condicionales, por Contradicción y por Inducción. - Inferencias
Validas y no Validas
III
Conjuntos,
relaciones, funciones y Álgebra Booleana
3.1 Conceptos Básicos de
Conjuntos
3.2 Operaciones y Álgebra de Conjuntos
3.3 Aplicaciones
3.4 Arreglos Computacionales
3.5 Compuertas Lógicas
3.6 Concepto de Relación - Relaciones
Binarias - Relaciones
de Equivalencia
3.7 Definición de Funciones - Composición
de Funciones - Clases
de Funciones - Funciones
Inversas - Funciones
Localizadoras
IV
Teoría
de Grafos
4.1 Grafos -
Nodos -
Ramas y Lazos -
Ramas Paralelas
4.2 Grafos Simples
4.3 Grafos de Similaridad
4.4 Grafos Bipartidos
4.5 Representación Matricial de grafos -
Ramas sucesivas de longitud "n" -
Matriz de Adyacencia e Insidencia -
Camones -
Camones Simples
4.6 Grafos Conexos -
Camones de Euler -
Valencia de Nodos -
Componente de un Grafo
4.7 Grafos Ponderados -
Longitud de un Camino -
El Camino mas Corto -
Dos Problemas Clásicas -
"El Problema de los Puentes de Konigsberg" -
"El Problema de la Locura Instantánea" -
Grafos de Isoformos -
Grafos Planos -
Grafos Homeomorfos -
Teoremas de Kuratowski y de Euler
V
Gramáticas
y Lenguajes Formales
5.1 Expresiones Regulares
5.2 Lenguajes Formales
5.3 Semigrupos
5.4 Maquinas de Estado Finita
5.5 Autómatas y Lenguajes