6.25.4.1 Lógica de Predicados de Primer Orden (20 horas) [Nivel Bloom 3]

Referencias Bibliográficas: [Iranzo, 2005,Arís et al., 2003] Tópicos
  1. Sintaxis y Semántica
  2. El método axiomático y el método interpretativo
  3. Demostración automática de teoremas
  4. Los agentes inteligentes y la lógica
Objetivos
  1. Fundamentar que la lógica constituye la base matemática del software
  2. Desarrollar sólidas bases formales mediante la lógica: en el proceso de representación del conocimiento, así como en el proceso deductivo.



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