Para saberem os turnos: link

Material de apoio principal:

  • Exercícios resolvidos pela Prof Ana Cardoso: link
  • Exercícios resolvidos pela Prof Maria dos Remédios: link
  • Exames de anos anteriores: link
====================

Exercícios das aulas práticas: link


====================

Slides e material das teóricas:

Semana 1: 
  • Apresentação e Conceitos Básicos: link
  • Dedução Natural (Cálculo Proposicional - CP): link
  • Resolução (CP): link
Semana 2:
  • CP - extra: link
  • Dedução Natural (LPO): link
  • Resolução (LPO): link
Semana 3:
Semana 4:
Semana 5:
Semana 6: