Sumários
Resolução e Avaliação
10 dezembro 2021, 10:00 • Luísa Coheur
Resolução de exercícios relativos à Forma Clausal e Resolução (CP). Avaliação.
Resolução (LPO) e Cláusulas de Horn
10 dezembro 2021, 08:00 • Luísa Coheur
3. Resolução (5.2). Fund. Prog. Em Lógica: Claus. de Horn (6.1)
Resolução e Avaliação
9 dezembro 2021, 13:00 • Luísa Coheur
Resolução de exercícios relativos à Forma Clausal e Resolução (CP). Avaliação.
Resolução e Avaliação
9 dezembro 2021, 13:00 • Ricardo Costa Dias Rei
Resolução de exercícios relativos à Forma Clausal e Resolução (CP). Avaliação.
Resolução e Avaliação
9 dezembro 2021, 11:00 • Luísa Coheur
Resolução de exercícios relativos à Forma Clausal e Resolução (CP). Avaliação.