Página inicial del Departamento de Filosofía
Lógica III

 
 
ASIGNATURAS 2004-2005  

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
 
 
 
 

-