Introdução [slides] Conceitos Preliminares [slides] -Leitura Recomendada: técnicas de provas Máquinas de Turing [slides] Variantes de Máquinas de Turing [slides] A Tese de Church Turing [slides] O Problema da Parada [slides] Redutibilidade [slides]