LÓGICA III
Programa de la asignatura
Tema 1: Los conceptos fundamentales de la teoría de la computabilidad
Tema 2: La Tesis de Turing. Máquinas de Turing
Tema 3: La Máquina de Turing Universal
Tema 4: Los límites de la computabilidad efectiva
Demostraciones del tema 4