Teoría de conjuntos - Relaciones - Funciones y algoritmos - Lógica y cálculo de proposiciones - Técnicas de conteo - Técnicas de conteo avanzadas, recurrencia - Probabilidad - Teoría de grafos - Grafos dirigidos - Árboles binarios - Propiedades de los enteros - Lenguajes, autómatas, gramática - Máquinas de estados finitos y máquinas de Turing - Conjuntos ordenados y retículos - Álgebra booleana - Vectores y matrices - Sistemas algebraicos.
9789701072363
Matemáticas discretas. Lógica simbólica y matemática. Álgebra Booleana. Teoría reticular. Teoría de gráfos.