Referencias Bibliográficas: [Rosen, 2019,Lehman et al., 2018]
Temas
- Lógica: lógica proposicional y de predicados, cuantificadores, demostraciones
- Conjuntos: operaciones, cardinalidad, conjuntos potencia, productos cartesianos
- Relaciones: propiedades, relaciones de equivalencia, órdenes parciales
- Funciones: inyectivas, sobreyectivas, biyectivas, composición, inversa
- Lógica avanzada: sistemas de demostración, completitud, decidibilidad
- Teoría avanzada de conjuntos: conjuntos infinitos, argumento diagonal de Cantor
Aprendizaje esperado (Learning Outcomes)
- Explicar lógica proposicional y de predicados [Explicar]
- Construir demostraciones lógicas simples [Aplicar]
- Definir operaciones y relaciones básicas de conjuntos [Explicar]
- Definir propiedades de las relaciones [Explicar]
- Definir tipos de funciones [Explicar]
Generado por Ernesto Cuadros-Vargas , Sociedad Peruana de Computación-Peru, basado en el modelo de la Computing Curricula de IEEE-CS/ACM
