Lógica Computacional 1

Mauricio Ayala-Rincón


Estagiários/Monitores 2018/2


====> AVISO: aulas de exercícios: a partir do 3 de Setembro, 2a e 4a, 18h-19h, sala PAT AT 021 <====


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 <====