Categoría:Lógica y Computabilidad

Pertenece al departamento de Matemática y, según el Plan de la Carrera, es una materia a ser cursada en Tercer año. Es correlativa de Algoritmos y Estructuras de Datos II, y es requerida para cursar Paradigmas de la Programación y Teoría de Lenguajes.

Esta materia se cursa los Miercoles y Viernes a partir de las 17 hs.

Contenidos

Algunos teoremas vistos en la primera parte de la materia:

• Teorema de Completitud
• Teorema de Compacidad
• Teorema de la Deduccion

Prácticas

• Práctica 1
• Práctica 2
• Práctica 3
• Práctica 4
• Práctica 5

Enlaces externos

[Apuntes y teóricas del curso de Verano 06, por Enrique Tobis]