TP12_4

26 Setembro 2024, 10:30 • Mário Jorge Edmundo

Discussão e resolução dos exercícios: 5, 6, 7 e 12. 

---

TP14 aula 1

25 Setembro 2024, 09:30 • Maria da Purificação Antunes Coelho

Apresentação. Algumas considerações sobre o funcionamento das aulas TP.

---

TP13 aula 2

25 Setembro 2024, 08:00 • Maria da Purificação Antunes Coelho

Exercícios 3, 5 e 12.

---

Aula teórica 3

24 Setembro 2024, 10:30 • Maria da Purificação Antunes Coelho

Termos fechados e sentenças atómicas. Conetivos Booleanos (negação, conjunção e disjunção) e respetivas tabelas de verdade. Breve referência ao uso de parêntesis.

---

TP11_3

24 Setembro 2024, 08:00 • Mário Jorge Edmundo

Apresentação do docente. A linguagem de primeira-ordem dos mundos de blocos. Discussão e resolução dos exercícios 1, 2, 4 e 3. 

---