2.8.2 MSF/Matemáticas Discretas Avanzadas
Temas:
Core
- Teoría avanzada de conjuntos: conjuntos infinitos, argumento diagonal de Cantor
- Relaciones avanzadas: clausuras, retículos
- Funciones avanzadas: funciones recursivas, computabilidad
- Lógica avanzada: sistemas de demostración, completitud, decidibilidad
- Teoría avanzada de grafos: planaridad, coloración, redes
- Conteo avanzado: funciones generadoras, principio de inclusión-exclusión
- Recurrencia avanzada: funciones generadoras, comportamiento asintótico
Aprendizaje esperado (Learning Outcomes):
Core:
- Explicar conceptos de conjuntos infinitos y cardinalidad [Explicar]
- Aplicar operaciones de clausura a relaciones [Aplicar]
- Analizar propiedades avanzadas de grafos [Evaluar]
- Desarrollar funciones generadoras para problemas de conteo [Crear]
Generado por Ernesto Cuadros-Vargas , Sociedad Peruana de Computación-Peru, basado en el modelo de la Computing Curricula de IEEE-CS/ACM
