Sumários

T_23

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

Apresentação e resolução de um exame modelo.

TP11_23

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

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

TP12_23

11 Janeiro 2021, 12:00 • Mário Jorge Edmundo

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

TP13_23

11 Janeiro 2021, 08:00 • Bruno Dinis

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

T_22

8 Janeiro 2021, 09:30 • Mário Jorge Edmundo

Exemplos de aplicações dos algoritmos de Horn, de resolução para a tt-satisfazibilidade e de resolução para a satisfazibilidade. Nota sobre resolução e factorização.