Cursos Actualizaciones FAQs Sobre el proyecto

Lógica

Práctico 2020
Teórico 2019
Teórico 2013

1
Práctico 1, 1era parte - Induccción
2
Práctico 1, 2da parte - Recursión
3
Práctico 2, Sintaxis de la lógica proposicional
4
Práctico 3, Semántica de la lógica proposicional
5
Práctico 4, Deducción Natural en la lógica proposicional
6
Práctico 5, Completitud de la lógica proposicional
7
Práctico 6, Sintaxis de primer orden
8
Práctico 7, Semántica de primer orden - 1era parte
9
Práctico 7, Semántica de primer orden - 2da parte
10
Práctico 8, Deducción Natural en primer orden
11
Práctico 9, Completitud de primer orden

Práctico 5, Completitud de la lógica proposicional

Compartir

×

Iniciar en:

Terminar en:

06/05/2020 Ver más

Fe de erratas:

Error en Ejercicio 1a.

Ver eva del curso.

Docente

Mónica Martínez

Instituto

Computación

Todo el contenido de OpenFing es Creative Commons.