teorÍas
23.05.24
LÓGICA PROPOSICIONAL
APUNTE 1: Lenguaje |
|
|
APUNTE 2: Semántica |
||
| APUNTE 3: Consecuencia Lógica y Deducción | ||
| APUNTE 4: Sistemas Deductivos | Clase 3: Sistemas Deductivos |
LÓGICA DE PREDICADOS
| APUNTE 5: El Lenguaje y la Semántica |
Clase 4: Lógica de Predicados: sintaxis y semántica Clase 5: Lógica de Predicados: semántica |
| APUNTE 6: Árboles de Refutación |
DEMOSTRACIÓN MATEMÁTICA
| APUNTE 7: Métodos de Demostración Matemática |
PROGRAMACIÓN LÓGICA
| APUNTE 8: Lenguaje Prolog |
Clase 6: Aplicaciones de la Lógica: Lenguaje PROLOG |
VERIFICACIÓN DE PROGRAMAS
| APUNTE 9: Verificación de Programas Secuenciales |
: logicapc@unsl.edu.ar 
vlud@unsl.edu.ar 
: 520300 - Int. 2107