Slides Oficiais
Os seguintes slides pertencem ao ano lectivo 2021/2022:
- Preliminares
- Cálculo Proposicional - Sintaxe
- Cálculo Proposicional - Semântica
- Cálculo Proposicional - Dedução Natural
- Cálculo de Predicados - Sintaxe
- Cálculo de Predicados - Semântica
Apontamentos Oficiais
Um compêndio da matéria elaborado pelo corpo docente em Dezembro de 2020 (“edição” com ligueiras correções ás Notas de 2014/2015).
Resumos
Algo que encontrei na Dropbox de Engenharia Informática - uma compilação dos slides mais importante.
