TP14-aula 4

2 Outubro 2023, 11:00 • Maria da Purificação Antunes Coelho

---

Exercício 5.  Um exercício extra recorrendo a equivalências lógicas conhecidas para deduzir outras.

TP15- aula 4

2 Outubro 2023, 08:00 • Maria da Purificação Antunes Coelho

---

 Exercício 5.  Um exercício extra recorrendo a equivalências lógicas conhecidas para deduzir outras.

TP14-aula3

29 Setembro 2023, 11:00 • Maria da Purificação Antunes Coelho

---

Exercícios 6, 7, 8 e 10.

TP11_4

29 Setembro 2023, 11:00 • Mário Jorge Edmundo

---

Resolução dos exercícios 3, 12, 13 (a), 14, 10.

T12-aula 4

28 Setembro 2023, 11:30 • Maria da Purificação Antunes Coelho

---

Divisibilidade e relações de congruência, no conjunto dos números inteiros  ("Demonstração 5", na página moodle da disciplina). Demonstração, para um inteiro positivo fixo n, da reflexividade da relação de congruência módulo-n.