Introdução à Teoria da Computação

Mauricio Ayala Rincón

Bibliography:

M. Ayala-Rincón & Flávio L.C. de Moura, Fundamentos da Programação Lógica e Funcional - O Princípio de Resolução e a Teoria de Reescrita -, Notas de Aula, Editora UnB, Dezembro 2014. In Portuguese.

=> Menção 1a Prova - ajuste questão 4 (23.10.2017) <= Revisão 25.10.2017, 9h no CIC/UnB

Programa do curso, segundo semestre 2017: PDF