TP11_2
15 Outubro 2021, 08:00 • Mário Jorge Edmundo
A LPO dos mundos de blocos, exemplos de sentenças atómicas e respectivos valores lógicos num mundo de blocos. Resolução dos exercícios 2, 4 e 5 (alguns mundos).
15 Outubro 2021, 08:00 • Mário Jorge Edmundo
A LPO dos mundos de blocos, exemplos de sentenças atómicas e respectivos valores lógicos num mundo de blocos. Resolução dos exercícios 2, 4 e 5 (alguns mundos).