Sumários
Lógica de 1ª ordem
31 Outubro 2025, 09:30 • Luís Miguel Parreira e Correia
Lógica de 1ª ordem; Inferência; Prolog
Inferência em lógica proposicional
27 Outubro 2025, 09:30 • Luís Miguel Parreira e Correia
Inferência em lógica proposicional
TP06
27 Outubro 2025, 08:00 • Diogo Soares
Resolução de Exercícios sobre Problemas de Satisfação de Restrições (CSP)
TP06
24 Outubro 2025, 10:30 • Diogo Soares
Resolução de Exercícios sobre Problemas de Satisfação de Restrições (CSP)
TP06
24 Outubro 2025, 10:30 • Sara Silva
Resolução de Exercícios sobre Problemas de Satisfação de Restrições (CSP)