Lógica - Prácticos

PrÁcticos

06.05.24

LÓGICA PROPOSICIONAL

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	TAUT2 - App para chequear las demostraciones en DN.

LÓGICA DE PREDICADOS

Práctico 4:

El lenguaje

Práctico 5

Semántica y Consecuencia

DEMOSTRACIÓN MATEMÁTICA

2024 NO disponibles

Prácticos:

Métodos de Demostración Matemática

PROGRAMACIÓN LÓGICA

2024 NO disponibles

Prácticos:

Lenguaje Prolog

VERIFICACIÓN DE PROGRAMAS

2024 NO disponibles

Prácticos:

Verificación de Programas Secuenciales