Referencias Bibliográficas: [,]
Tópicos
- Sintaxis y Semántica
- El método axiomático y el método interpretativo
- Demostración automática de teoremas
- Los agentes inteligentes y la lógica
Objetivos
- Fundamentar que la lógica constituye la base matemática del software
- 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
