teoria-da-computacao

Teoria da Computação 2024/2

• Professor: Dr. Daniel Saad Nogueira Nunes
• Moodle
• Contato
• Formulário de Inscrição no Moodle

Plano de ensino

Aulas

• Introdução
• Conceitos preliminares
• Máquinas de turing
• Variantes de máquinas de Turing
• A tese de Church-Turing
• O problema da parada
• Redutibilidade

Listas de exercícios

• Conceitos preliminares
• Máquinas de Turing
• A tese de Church-Turing
• Indecidibilidade e o Problema da Parada
• Redutibilidade

Materiais

• Material sobre demonstrações matemáticas
• Software JFLAP
• Provas anteriores
• Minha Biblioteca IFB
• Vídeos (Pandemia)
• Vídeos UFU - Prof. Felipe Louza

Notas