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.