Conceitos Preliminares [pdf] Máquinas de Turing [pdf] [máquinas] A tese de Church-Turing [pdf] Indecidibilidade e o Problema da Parada [pdf] Redutibilidade [pdf]