Instructor: Francisco Gómez
Clase: Lunes y Miércoles (14:00 a 16:00) - 453/113 - 453/313
Programa: Programa
Horario oficina: Martes (11:00-13:00)
email: fagomezj@gmail.com
Libros de texto y material guía: Mathematics for computer science. E. Lehman. J. Leighton, A. Meyer (2010). Matemáticas discretas y sus aplicaciones. K. Rosen y J. Morales (2004). Estructuras matemáticas discretas para la computación. B. Kolman y R. Busby. Material online para el curso Mathematics for computer science 6.042 MIT OpenCourseWare.
Descripción del curso:
El propósito de este curso es ofrecer al estudiante algunos temas y técnicas de razonamiento matemático de naturaleza discreta, y en muchos casos finita. Se busca que el alumno desarrolle destrezas en la forma de definir, describir y usar herramientas de matemáticas discretas en la representación y solución de problemas de computación.
Programación
Introducción (Semana 1)
Lógica y conjuntos (Semana 1 a 3)
Contenido: proposiciones y conectivos, implicaciones y equivalencias lógicas, métodos de demostración e inducción matemática, conjuntos y operaciones.
Matemáticas discretas aplicadas 1.
Relaciones y funciones (Semana 4 a 7)
Contenido: relaciones, relaciones de equivalencia y particiones, funciones, algoritmos, complejidad de algoritmos.
Matemáticas discretas aplicadas 2.
4. Principios fundamentales de conteo (Semana 9 a 11)
Contenido: principios de la suma y el producto, permutaciones y combinaciones, permutaciones y combinaciones generalizadas, relaciones de recurrencia.
Matemáticas discretas aplicadas 3.
5. Grafos (Semana 13 a 15)
Contenido: representación de grafos, caminos y circuitos, subgrafos, grafos de Euler, circuitos de Hamilton, isomorfismos de grafos, grafos planos.
Matemáticas discretas aplicadas 4.
Recursos
Estrategia de calificación
Ejercicios 50%, Proyecto Final 30%, Examen final 20%.