Lógica para Computación

Licenciatura en Ciencias de la Computación          

teorÍas

13.05.24

CÁLCULO PROPOSICIONAL

 

APUNTE 1:   Lenguaje

 

 

APUNTE 2:   Semántica

APUNTE 3:   Consecuencia Lógica y Deducción

 

APUNTE 4:  Sistemas Formales

 

CÁLCULO DE PREDICADOS

   

APUNTE 5:   El Leguaje y la Semántica

 

APUNTE 6:  

Árboles de Refutación para Predicados

 

Teorema de Incompletitud de Gödel

Nociones preliminares

Goedel

Teorema

Goedel

Videos relacionados al tema

Teorema de Gödel

Implicaciones del Teorema de Gödel

Sobre el Teorema de Gödel