Destaque
  • Notas da parte prática. São admitidos a exame os alunos que tenham pelo menos 2 valores na parte prática.
  • Alunos trabalhadores estudantes que entregaram no máximo um trabalho prático poderão realizar um exame para 20 valores
Trabalhos Práticos
  • 20/03 - Semântica Lógica Proposicional
  • 10/04 - Dedução Natural para Lógica Proposicional
  • 24/04 - Semântica Lógica Primeira Ordem
  • 15/05 - Dedução Natural Lógica Primeira Ordem
  • 29/05 - Prolog (Termos, Unificação, Cláusulas)
  • 5/06- Prolog (Listas,Manipulação algébrica)