Lógica Computacional 1

Mauricio Ayala-Rincón


Estagiários/Monitores 2018/2


AVISO: aulas no LINF 2 a partir do 8 de Outubro

AVISO: aulas de exercícios: a partir do 3 de Setembro, 2a e 4a, 18h-19h, sala PAT AT 021 (Antônio Moura, e-mail: ahmoura1995 N@SPAM gmail.com)


Material 2018/2

Textbook: M. Ayala-Rincón & Flávio L.C. de Moura, Springer, 2017

Material semestres anteriores

====> Menção Primeira Prova - Revisão: 21 Set. 2018, 16:30 <====