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 1, 2da parte - Recursión

Compartir

×

Iniciar en:

Terminar en:

12/03/2021 Ver más

Fe de erratas: En el ejercicio 22 al final del mismo se muestra un árbol como la representación del natural 2 en el lenguaje N1 que es incorrecta.

Ver eva del curso.

Docente

Mónica Martínez

Instituto

Computación

Todo el contenido de OpenFing es Creative Commons.