Sumários
T11_24
15 Dezembro 2023, 09:30 • Mário Jorge Edmundo
Indicações sobre os exames de primeira época e segunda época, esclarecimento de dúvidas.
TP14: Fórmulas e quantificadores: consequência lógica e demonstrações informais e formais; algoritmo de satisfação de Horn.
13 Dezembro 2023, 09:30 • Mário João de Jesus Branco
Exerc. 139, 140, 142, 148(2), (3) e 85.