Principios fundamentales del conteo. Fundamentosde lógica. Teoría de conjuntos. Propiedades de los enteros: induccion matemática. Relaciones y funciones. Lenguajes: máquinas de estados finitos. Relaciones: la segunda vuelta. El principio de inclusión y exclusión. Funciones generatrices. Relaciones de recurrencia. Una introducción a la teoría de grafos. Arboles. Optimización y emparejamiento. Anillos y aritmética modular. Algebra booleana y funciones de conmutación. Grupos, teoría de la codificación y método de enumeración de Poyla. Cuerpos finitos y diseños combinatorios