Referencias Bibliográficas: [Rosen, 2019,Velleman, 2019]
Temas
- Lógica: lógica proposicional y de predicados, cuantificadores, demostraciones
- Lógica avanzada: sistemas de demostración, completitud, decidibilidad
- Teoría avanzada de conjuntos: conjuntos infinitos, argumento diagonal de Cantor
- Relaciones avanzadas: clausuras, retículos
- Funciones avanzadas: funciones recursivas, computabilidad
Aprendizaje esperado (Learning Outcomes)
- Construir demostraciones lógicas simples [Aplicar]
- Explicar conceptos de conjuntos infinitos y cardinalidad [Explicar]
- Aplicar operaciones de clausura a relaciones [Aplicar]
- Determinar si una relación es una relación de equivalencia [Aplicar]
Generado por Ernesto Cuadros-Vargas , Sociedad Peruana de Computación-Peru, basado en el modelo de la Computing Curricula de IEEE-CS/ACM
