Archivos de Lógica

practica_6.pdf

(Originalmente subido por Pablo Verdes en el sitio anterior)

Práctica 6: Lógica de predicados - Deducción Natural
Archivo: 

Logica_2015 - Parcial 1.pdf

(Originalmente subido por Pablo Verdes en el sitio anterior)

Resultados del 1er parcial

practica_5.pdf

(Originalmente subido por Pamela Viale en el sitio anterior)

Práctica 5: Lógica de Predicados, Semántica
Archivo: 

pred-sem-imprimir.pdf

(Originalmente subido por Dante Zanarini en el sitio anterior)

Slides de la clase del 28/09, versión para imprimir.

pred-sem1.pdf

(Originalmente subido por Dante Zanarini en el sitio anterior)

Slides de la clase del 28/09
Archivo: 

sintaxis-predicados-imprimir.pdf

(Originalmente subido por Dante Zanarini en el sitio anterior)

Slides de la clase del 16/09, versión para imprimir.

sintaxis-predicados.pdf

(Originalmente subido por Dante Zanarini en el sitio anterior)

Slides de la clase del 16/09

practica_4.pdf

(Originalmente subido por Pablo Verdes en el sitio anterior)

Práctica 4: Lógica de Predicados, Sintaxis
Archivo: 

practica_3.pdf

(Originalmente subido por Pablo Verdes en el sitio anterior)

Practica 3: Completitud de la Logica Proposicional
Archivo: 

reglas.pdf

(Originalmente subido por Pablo Verdes en el sitio anterior)

Reglas de Deducción Natural
Archivo: 

Pages