Cursos Actualizaciones FAQs Sobre el proyecto

Lógica

Práctico 8, Deducción Natural en primer orden

21/06/2020

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

Todo el contenido de OpenFing es Creative Commons.