Resolução de exercícios sobre reticulados.

14 Dezembro 2023, 13:30 • Fernando Abel da Conceição Silva

 

---

TP13 Aula 12

14 Dezembro 2023, 13:30 • Isabel Maria André Ferreirim

Secção 5.1 (Lattices): discussão e resolução dos exercícios 5.1.1, 5.1.3, 5.1.6 (demonstração da Prop. 5.9 (a)), 5.1.4 (e também não é modular), 5.1.2.

---

Álgebras de Boole.

14 Dezembro 2023, 12:30 • Fernando Abel da Conceição Silva

 

---

Cardinais infinitos e álgebras de Boole.

12 Dezembro 2023, 15:30 • Fernando Abel da Conceição Silva

 

---

TP11 Aula 13

12 Dezembro 2023, 13:30 • Isabel Maria André Ferreirim

Secção 5.1 (Lattices): discussão e resolução dos exercícios 5.1.1, 5.1.3, 5.1.6 (demonstração da Prop. 5.9 (a)), 5.1.4 (e também não é modular), 5.1.2.

---