1. Principio de Inducción.
2. Teorema 3.2.1: Toda partición induce una relación de equivalencia.
3. Teorema 3.2.8: Las clases de equivalencia forman una partición.
4. Teorema 8.2.17: Si un grafo tiene un ciclo de Euler, entonces es conexo y todo vértice tiene grado par.
5. Teorema 8.2.18: Todo grafo conexo con todos sus vértices de grado par tiene un ciclo de Euler.
6. Teorema 8.7.9: Fórmula de Euler.
7. Teorema 9.2.3: Caracterización de árbol.
Respecto de la última unidad, sobre conjuntos parcialmente ordenados y reticulados (que corresponde a las secciones 4.1, 4.2 y 4.3 del libro Estructuras de Matemáticas Discretas para la computación (tercera edición), B. Kolman, R. Busby y S. Ross, Pearson Educación, 1997) los teoremas que entran son todos los que se enunciaron en clase.
Nota: El examen va a centrarse en la última unidad, es decir, en conjuntos parcialmente ordenados y reticulados.
Nos vemos en la consulta del lunes.