Aulas

• Introdução
• Conceitos Preliminares
• Máquinas de Turing
• Tese de Church-Turing
• Variantes de Máquinas de Turing
• Problema da Parada
• Redutibilidade