Bibliografía: p. 601-603

CAPÍTULO 1: LÓGICA PROPOSICIONAL
1.1 Introducción
1.2 El lenguaje
1.3 Sintaxis
1.4 Semántica
1.5 Convenciones para simplificar la notación
1.6 redes de comunicación
1.7 Predicados. Relaciones y cuantificadores. Primer acercamiento d la LPO
1.8 Las expresiones relacionales en los algoritmos
1.9 Reglas de inferencia de la LPC
1.10 Lectura complementaria
1.11 Problemas complementarios
1.12 ejercicios de opción múltiple
CAPÍTULO 2: TEORÍA DEL CONTEO
2.1 Introducción
2.2 Reglas de la suma y el producto
2.3 Cadenas de símbolos. Alfabetos
2.4 Permutaciones
2.5 Combinaciones
2.7 Otros problemas resueltos
2.8 Permutaciones generalizadas
2.9 Coeficientes binomiales
2.10 combinaciones con repetición
2.11 Lecturas complementarias
2.12 Problemas complementarios
2.13 Ejercicios de opción múltiple
CAPÍTULO 3: TEORÍA DE NÚMEROS E INDUCCIÓN
3.1 Introducción
3.2 El anillo de los enteros
3.3 Divisibilidad y divisores
3.4 El máximo común divisor y el mínimo común múltiplo
3.5 Primos relativos. Teorema fundamental de la aritmética
3.6 Relaciones binarias en los enteros. La congruencia entera
3.7 Ecuaciones lineales en congruencias
3.8 Inducción
3.9 La inducción en los algoritmos
3.10 Lectura complementaria
3.11 Problemas complementarios
3.12 Ejercicios de opción múltiple
CAPÍTULO 4: RELACIONES DE RECURRENCIA
4.1 Introducción
4.2 Sucesiones
4.3 Relaciones de recurrencia
4.4 Generación de números (pseudo) aleatorios
4.5 Lectura complementaria
4.6 Problemas complementarios
4.7 Ejercicios de opción múltiple
CAPÍTULO 5: ESTRUCTURAS ALGEBRAICAS FINITAS
5.1 Introducción
5.2 Leyes de composición interna
5.3 Propiedades de una ley de composición interna
5.4 Estructuras algebraicas
5.5 Grupos
5.6 Grupos finitos
5.7 Homomorfismos de grupos
5.8 Subgrupos
5.9 Congruencias
5.10 Anillos
5.11 anillos finitos
5.12 Álgebras de Boole: definiciones y ejemplos
5.13 Propiedades y simplificaciones
5.14 Subálgebras booleanas y morfismos
5.15 Álgebras de Boole finitas
5.16 Funciones y expresiones booleanas
5.17 Lectura complementaria
5.18 Problemas complementarios
5.19 ejercicios de opción múltiple

CAPÍTULO 6: DÍGRAFOS Y GRAFOS
6.1 Introducción
6.2 Primeros problemas y ejemplos
6.3 Dígrafos
6.4 Subdígrafos y dígrafos parciales
6.5 Relaciones binarias y dígrafos
6.6 Matrices y dígrafos
6.7 Grafos
6.8 Árboles
6.9 Árboles con raíz y definiciones recursivas
6.10 Árboles de refutación de una fórmula de la LPC
6.11 Lectura complementaria
6.12 Problemas complementarios
6.12 Ejercicios de opción múltiple
CAPÍTULO 7: AUTÓMATAS FINITOS
7.1 Introducción
7.2 Máquinas de estados finitos
7.3 Autómatas finitos
7.4 Máquinas de estados finitos equivalentes
7.6 Ejercicios de opción múltiple
CAPÍTULO 8: LÓGICA DE PRIMER ORDEN
8.1 Introducción
8.2 Sintaxis
8.3 Semántica
8.4 Problemas complementarios
8.5 Ejercicios de opción múltiple