Introdução à Teoria da Computação

Mauricio Ayala Rincón

=> Aula inicial, 15 de Agosto, SALA A Matemática, 10:00am (ICC/MAT) <=

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 <= Revisão 22.10.2018, 9:00h no MAT/UnB

Ementa do curso, segundo semestre 2018: PDF