Sumários
TP13_22 (por videoconferência no Zoom)
12 Janeiro 2022, 08:00 • Mário Jorge Edmundo
Exemplos de demonstrações formais com quantificadores. Resolução dos exercícios 152 (1, 2, 3, 8) e 156.
T_22
11 Janeiro 2022, 10:30 • Mário Jorge Edmundo
Vários exemplos de aplicações dos algoritmos de Horn para a tt-satisfazibilidade, da resolução para a tt-satisfazibilidade e da resolução para a satisfazibildade.
TP11_22 (por videoconferência no Zoom)
11 Janeiro 2022, 08:00 • Mário Jorge Edmundo
Exemplos de demonstrações formais com quantificadores. Resolução dos exercícios 148 e 154.
Demonstrações informais e formais com quantificadores
10 Janeiro 2022, 12:00 • Maria João Antunes Dias Gouveia
Resolução dos exercícios 137, 139, 140, 141 (2,3,5).
TP13_21
10 Janeiro 2022, 08:00 • Mário Jorge Edmundo
Exemplos de demonstrações formais com quantificadores. Resolução dos exercícios 148 e 154.