1 - Introdução
2 - Programas, máquinas e computacoes
3 - Máquinas de Turing
4 - Tese de Church
5 - Funções Recursivas
6 - Introducao a Decidibilidade
7 - Computabilidade