6.25.2 Objetivos Generales

  1. 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.
  2. 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.
  3. Habilitar al alumno para saber pensar de forma lógica, analítica, crítica y estructurada y con ello argumentar e inferir correctamente.
  4. 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