1. Hablando matemáticamente. 2. La lógica de las declaraciones compuestas. 3. La lógica de declaraciones cuantificadas. 4. Teoría elemental de números y métodos de prueba. 5. Secuencias, inducción matemática y la recursión. 6. Teoría de conjuntos. 7. Propiedades de las funciones. 8. Propiedades de las relaciones. 9. Conteo. 10. Grafos y árboles. 11. Análisis de la eficiencia del algoritmo. 12. Expresiones regulares y autómatas de estado finito. Índice.