Sumários
Não houve aula
20 maio 2019, 11:30 • Maria dos Remédios Vaz Pereira Lopes Cravo
Já foi dada toda a matéria.
12ªP
20 maio 2019, 11:30 • Helena Sofia Andrade Nunes Pereira Pinto
OBDD's: algortimos reduz, compacta e aplica.
Capítulo 4: LÓGICA DE PRIMEIRA ORDEM, I
20 maio 2019, 10:00 • Joao Pavao Martins
O sistema semântico (4.3). Correção e completude.
Não houve aula
20 maio 2019, 08:30 • Maria dos Remédios Vaz Pereira Lopes Cravo
Este turno não tem alunos inscritos.