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 e Final <= Revisão 30.11.2017, 14:30h no CIC/UnB

Programa do curso, segundo semestre 2017: PDF