Lógica Computacional
- A disciplina de Lógica Computacional, é uma unidade curricular obrigatória do Mestrado Integrado em Engenharia Informática, sendo leccionada no 1º semestre do 2º ano.
- Tem sido leccionada em vários anos, podendo as várias edições ser consultadas através dos apontadores abaixo.
Edições: