- Conocer los métodos de la lógica (lógica de predicados y de la lógica modal) que más se utilizan hoy en día en ciencia de la computación, ingeniería del software e inteligencia artificial.
- Desarrollar habilidades y aptitudes para la representación formal del conocimiento, la operación simbólica sobre sistemas formales, la demostración de teoremas y la interpretación semántica.
- Habilitar al alumno para saber pensar de forma lógica, analítica, crítica y estructurada y con ello argumentar e inferir correctamente.
- Comprender los mecanismos computacionales asociados a las problemáticas de la demostración automática y la programación lógica, y descubrir la importancia del control en su resolución.
Generado por Ernesto Cuadros-Vargas , Sociedad Peruana de Computación-Peru, Universidad Católica San Pablo, Arequipa-Peru
basado en el modelo de la Computing Curricula de IEEE-CS/ACM
