Contenido - Computabilidad

1. Introducción, máquinas de Turing, funciones parciales, funciones

Turing computables, ejemplos, p. 4
2. Funciones iniciales, composición, recursión, clases PRC, funciones
primitivas recursivas , p. 23
Lógica y Computabilidad 3. Sumatorias y productorias, cuantificadores acotados, minimización
acotada, codificación de pares y secuencias, p. 36
Santiago Figueira 4. Lenguaje S, estado, descripción instantánea, cómputo, funciones
parciales computables, minimización no acotada, p. 52
Departamento de Computación, FCEyN, UBA 5. Codificación de programas, Halting problem, diagonalización, tesis
de Church, programa universal, step counter, snapshot, p. 73
Segundo cuatrimestre 2013 6. Teorema de la forma normal, teorema del parámetro, teorema de la
recursión y aplicaciones, teorema del punto fijo, p. 103
7. Conjuntos c.e., teorema de la enumeración, teorema de Rice y
aplicaciones, p. 117
8. Opcional - Oráculos, reducibilidad de Turing, jerarquı́a aritmética,
problema de Post, p. 133
1 2

Contenido - Lógica
Lógica proposicional
1. Lenguaje de lógica proposicional, semántica, tautologı́a,
consecuencia semántica, conjunto satisfacible, sistema axiomático
SP, consecuencia sintáctica, p. 146
Computabilidad
2. Teorema de la deducción, lema de Lindenbaum, completitud de SP,
compacidad, p. 165 Clase 1

Lógica de primer orden

Introducción, máquinas de Turing, funciones parciales,
1. Lenguaje de lógica de primer orden, términos, fórmulas, variables
funciones Turing computables, ejemplos
libres y ligadas, interpretación, valuación, niveles de verdad,
consecuencia semántica, p. 182
2. Lema de sustitución, sistema axiomático SQ, consecuencia
sintáctica, teorema de la generalización, teorema de la
generalización en constantes, p. 202
3. Completitud de SQ, compacidad, p. 221
4. Aplicaciones de compacidad, indecidibilidad de la lógica de primer
orden, p. 237
5. Opcional - Teorema de incompletitud de Gödel, p. 252 3 4
Organización de la materia Aprobación
I Dos parciales, cada uno con su recuperatorio. Cada parcial o
recuperatorio se aprueba con 5 o más.
I Docentes
I Santiago Figueira (Prof.)
I La materia puede ser promocionada si la nota de cada parcial
I Hernán Czemerinski (JTP) (o recu) es mayor o igual a 7 (siete). La nota final será igual
I Marı́a Emilia Descotte (AY1) al promedio de las notas de los dos últimos exámenes
I Herman Schinca (AY1) rendidos, redondeanda al entero más cercano. Si el promedio
I Gabriel Senno (AY1) cae justo en el medio entre dos enteros la nota final
I Nadia Heredia (AY2) será redondeada hacia arriba.
I Mariano Pérez Rodrı́guez (AY2) I Habrá un recuperatorio de cada parcial al final del
I Horario cuatrimestre. El recuperatorio puede rendirse aún habiendo
I miércoles de 17 a 19 en aula 2 (Pab. I) y viernes de 17 a 22 en aprobado el parcial correspondiente (para mejorar el promedio)
aula 9 (Pab. I) quedando como nota definitiva la última nota obtenida.
I en general, teórica los miércoles y práctica los viernes I Parcial computabilidad: viernes 27 de septiembre
I www.dc.uba.ar/lyc I Parcial lógica: viernes 22 de noviembre
I Recuperatorio Lógica: viernes 29 de noviembre
I Recuperatorio Computabilidad: viernes 6 de diciembre
5 6

Temas y bibliografı́a Orı́genes

I fines del siglo XIX y principios del siglo XX: interés por los
fundamentos de la matemática
I dos grandes búsquedas (Hilbert)
I Computabilidad
1. completitud de la aritmética
I Computability, Complexity and Languages, fundamentals of I se buscaba un sistema axiomático que capturara todas las
theoretical computer science. Martin Davis, Ron Sigal, Elaine verdades de la aritmética
Weyuker, Elsevier, 1994 I Gödel (1931): cualquier sistema axiomático suficientemente
poderoso es incompleto o inconsistente
I Lógica proposicional 2. el problema de la decisión (Entscheidungsproblem)
I Metalógica, introducción a la metateorı́a de la lógica clásica de
I se buscaba un procedimiento efectivo para decidir si cualquier
fórmula de primer orden era válida o no
primer orden. Geoffrey Hunter, Editorial Paraninfo, 1981. I Turing (1936): no existe tal procedimiento efectivo
I Lógica de primer orden
I A mathematical introduction to logic. Herbert Enderton,
Elsevier, 2006.

7 David Hilbert Kurt Gödel Alan Turing 8