- 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.
- A sua carga horária semanal é de 2 horas teóricas e 3 horas práticas, correspondendo a 6 unidades de crédito ECTS.
- Na disciplina é feita uma introdução à lógica de primeira ordem, focada nas noções de linguagem formal e de argumentação bem como da sua formalização em sistemas de dedução, sendo estudados 2 sistemas (dedução natural e resolução). É dada ênfase ao uso prático da lógica para a resolução de problemas, isto é, nos seus aspectos computacionais.