Sumários

TP11_22

8 Janeiro 2021, 08:00 • Mário Jorge Edmundo

Realização do Teste 2 (presencial, um turno).

TP12_22

7 Janeiro 2021, 10:30 • Mário Jorge Edmundo

Realização do Teste 2 (presencial, um turno).

TP13_22

6 Janeiro 2021, 08:00 • Bruno Dinis

2º mini teste (alunos com número ímpar). 

T_21

5 Janeiro 2021, 10:30 • Mário Jorge Edmundo

Notas sobre satisfazibilidade e consequência lógica e, satisfazibilidade e verdade lógica; substituições, unificador, unificador mais geral e algoritmo da unificação; exemplos;  forma normal clausal; algoritmo da resolução para a satisfazibilidade; exemplo. 

TP11_21

5 Janeiro 2021, 08: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.