Lógica e Verificação de Modelos
Projecto Integrador de 1º Ciclo em Matemática Aplicada e Computação
Elementos de Matemática Discreta
Introdução à Otimização
Matemática Discreta
* A informação apresentada nesta página é relativa a 2º semestre 2024/2025