Hablando matemáticamente. -- La lógica de los enunciados compuestos. -- La lógica de enunciados cuantificados. -- Teoría elemental de números y métodos de demostración. -- Sucesiones, inducción matemática y recurrencia. -- Teoría de conjuntos. --Funciones. -- Relaciones. -- Conteo y probabilidad. -- Grafos y árboles. -- Análisis de la eficiencia de un algoritmo .-- Expresiones regulares y autómatas de estado finito. -- Propiedades de los números reales. -- Soluciones y sugerencias para los ejercicios seleccionados.