Práctico 8, Deducción Natural en primer orden - Lógica - OpenFing

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 8, Deducción Natural en primer orden

Compartir

×

Iniciar en:

Terminar en:

21/06/2020 Ver más

Docente

Mónica Martínez

Instituto

Computación

Todo el contenido de OpenFing es Creative Commons.