Lógica y demostraciones. El lenguaje de las matemáticas. Relaciones. Algoritmos. Introducción a la teoría de números. Métodos de conteo y el principio del palomar. Relaciones de la recurrencia. Teoría de gráficas. Árboles. Modelos de redes. Álgebras booleanas y circuitos combinatorios. Autómatas, gramáticas y lenguajes. Geometría para cálculo. Matrices. Repaso de álgebra. Seudocódigo. Referencias. Sugerencias y soluciones para ejercicios seleccionados