T11 Aula 36

4 Dezembro 2025, 12:30 • Isabel Maria André Ferreirim

Reticulados proibidos.
Álgebras de Boole. Representação de álgebras de Boole finitas.
Representação de álgebras de Boole (caso infinito).  

Breve apresentação dos circuitos como exemplo de aplicação de Álgebras de Boole.

---

T11 Aula 35

2 Dezembro 2025, 15:30 • Isabel Maria André Ferreirim

Reticulado: caracterizações como estrutura relacional e como estrutura algébrica (conclusão).

Mais definições básicas: elemento mínimo, elemento máximo, complemento, reticulado distributivo, reticulado modular.

Exemplos de reticulados: o reticulado modular dos subgrupos de Z_2 x Z_2; o pentágono.

Subreticulado: definição e exemplos.  

Reticulados proibidos.

---

TP11 Aula 12

2 Dezembro 2025, 13:30 • Isabel Maria André Ferreirim

Folha 4: discissão e resolução dos exercícios 113 a 116.

---

TP12 Aula 12

27 Novembro 2025, 13:30 • Isabel Maria André Ferreirim

Folha 3: discussão e resolução dos exercícios 91,  94, 95, 110, 111, 112, 104.

---

TP13 Aula 12

27 Novembro 2025, 13:30 • Catarina Araujo de Santa Clara Gomes

Folha 3: discussão e resolução dos exercícios 94, 95, 96, 104, 110, 111, 112.

---