Sumários
Lógica proposicional
24 Outubro 2025, 09:30 • Luís Miguel Parreira e Correia
Modelos; derivação; validade e satisfazibilidade
TP06
23 Outubro 2025, 12:00 • Sara Silva
Resolução de Exercícios sobre Problemas de Satisfação de Restrições (CSP)
TP06
22 Outubro 2025, 11:30 • Sara Silva
Resolução de Exercícios sobre Problemas de Satisfação de Restrições (CSP)
TP05
20 Outubro 2025, 11:30 • Sara Silva
Resolução de Guião Python sobre Algoritmos de Procura Adversarial
Procura local; procura em ambientes não determinísticos e parcialmente observáveis
20 Outubro 2025, 09:30 • Luís Miguel Parreira e Correia
Algoritmos de procura local