Lógica y demostraciones -- Proposiciones -- Proposiciones condicionales y equivalencia lógica --

Cuantificadores -- Cuantificadores anidados -- Inducción matemática -- El lenguaje de las matemáticas --

Conjuntos -- Funciones -- Sucesiones y cadenas -- Algoritmos -- Introducción a la teoría de números --

Divisores -- Representaciones de enteros y algoritmos enteros -- El algoritmo euclidiano -- Métodos de conteo

y el principio del palomar -- Permutaciones y combinaciones -- Algoritmos para generar permutaciones y

combinaciones -- Teoría de probabilidad discreta -- Coofecientes binominales e identidades combinatorias --

Relaciones de recurrencia -- Aplicaciones al análisis de algoritmos -- Teoría de gráficas -- Trayectoria y

ciclos -- Ciclos hamiltonianos y el problema del agente viajero -- Isomorfismos de gráficas -- Arboles --

Terminología y caracterización de árboles -- Modelos de redes -- Algoritmo de flujo máximo -- Algebras

boleanas -- Circuitos combinatorios -- Funciones booleanas y simplificación de circuitos -- Autómatas,

gramáticas y lenguajes -- Circuitos secuenciales y máquinas de estado finito -- Geometría por cálculo --

Apéndice A: matrices -- Apéndice B: repaso de álgebra -- Apéndice C: seudocódigo -- Sugerencias y soluciones

para ejercicios seleccionados --