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 2a Prova (07.12.2016) e Final <= Revisão 08.12.2016, 10h no CIC/UnB

Programa do curso, segundo semestre 2017: PDF