Lógica para Computación

Práctico 1:

El lenguaje y la semántica

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

Práctico 2:

La Consecuencia

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

Práctico 3:

Sistema Deductivo

Resolución

TAUT2 - App para chequear las demostraciones en DN.

Práctico 4:

El lenguaje

Cálculo de Predicados - Nociones básicas
Consejos para la escritura de fórmulas.

Práctico 5

Semántica y Consecuencia

Práctico 7:

Métodos de Demostración Matemática

Práctico 6:

Lenguaje lógico: Prolog

Laboratorios:

Enunciados - Registro de grupos - Entregas

Prácticos:

Verificación de Programas Secuenciales