Cargas by Nicolas Liotti

Informe diario de Gestión 14-02-2024

EDCR 2024-02-14

Informe diario de Gestión 15-02-2024 sin mapa

EDCL 2024-02-15

2024-02-15 Mapa UNA por posición

Practico 5 - Conjuntos consistentes y completitud del calculo proposiciona (con solución).

Práctico 4 - lógica Yo (con resolución).

Práctico 3 - Semántica de la Lógica Proposicional (con resolución).

Práctico 2 - Lógica Proposicional (con resolución).

Práctico 1 - Inducción y Recursión (con resolución).

Practico 9 - Completitud del Calculo de Predicados (con resolución).

Resumen Lógica de Predicados

Tabla de reglas deduccion natural.

Resumen Práctico Completo. (1)

Resumen Segunda parte del curso