Paradigma Lógico
1 - Introducción
1 - Introducción
Herramientas básicos de Logico
Herramientas básicos de Logico
Prolog - Mumuki - VSC
Negación
Negación
Predicados con varias clausulas
Módulo 4: Predicados de orden superior. Not
Ejercicios: Buen ingeniero - Invitar a salir
2 - Inversibilidad
2 - Inversibilidad
3 - Cuantificación
3 - Cuantificación
4 - Integración de conceptos
4 - Integración de conceptos