Sumários
TP12_21
4 Janeiro 2021, 12:00 • Mário Jorge Edmundo
Exemplos de demonstrações formais com quantificadores. Resolução dos exercícios 148 (1,4,5), 152 (3,4,8,13) e 155.
TP13_21
4 Janeiro 2021, 08:00 • Bruno Dinis
Exemplos de demonstrações formais com quantificadores. Resolução dos exercícios 148 (1,4,5), 152 (3,4,8,13) e 155.
T_20
18 Dezembro 2020, 09:30 • Mário Jorge Edmundo
Nota sobre tt-satisfazibilidade e tt-consequência e, tt-satisfazibilidade e tautologia; literais e cláusulas; fórmulas de Horn, forma condicional de uma fórmula de Horn, algoritmo de satisfação de Horn; exemplo; Prolog e o algoritmo de satisfação de Horn; algoritmo de resolução para a tt-satisfazibilidade; exemplos.
TP11_20
18 Dezembro 2020, 08:00 • Mário Jorge Edmundo
Exemplos (forma normal prenexa e skolemização); Exercícios 132 (1,2) , 168 (1,3,11,13,15), 169.
TP12_20
17 Dezembro 2020, 10:30 • Mário Jorge Edmundo
Exemplos (forma normal prenexa e skolemização); Exercícios 132 (1,2) , 168 (1,3,11,13,15), 169.