Lógica para Computación

Licenciatura en Ciencias de la Computación

PrÁcticos

16.04.24

CÁLCULO PROPOSICIONAL

Práctico 1:

El lenguaje

Práctico 2:

La semántica

Ejemplo de cómo utilizar la Forma Normal Disyuntiva y Conjuntiva.

Práctico 3:

La Consecuencia

Ejemplo de la aplicación de los Árboles de Refutación

Práctico 4 :

Sistemas Formales

Resolución

Ejemplo de demostración
Utilización del Teorema de la Deducción

CÁLCULO DE PREDICADO

Práctico 5

Lenguaje

Cálculo de Predicados - Nociones básicas
Consejos para la escritura de fórmulas (P5,P6 y P7)

Práctico 6

Semántica y Consecuencia

Práctico 7

Consecuencia