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