teorÍas
15.04.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 |
|
| 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 |
VERIFICACIÓN DE PROGRAMAS
| APUNTE 9: Verificación de Programas Secuenciales |
: logicapc@unsl.edu.ar 
vlud@unsl.edu.ar 
: 520300 - Int. 2107