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

Ementa do curso, segundo semestre 2018: PDF