Sumários
23ª aula
29 Maio 2023, 14:00 • Maria João Antunes Dias Gouveia
The contact hours of this week will be used to guide the students to prepare the last presentation and homework.
The timetable for the last presentations is:
Catarina Pacheco, João, Maria, Pablo: June 5, 11h30m, 6.2.38
Catarina Monteiro and Marta: June 6, 13h30m, 6.2.38
21ª aula
22 Maio 2023, 14:00 • Maria João Antunes Dias Gouveia
Conclusion of the previous one.
A brief and informal presentation of the representation of Boolean algebras and of bounded distributive lattices via appropriate compact and Hausdorff topological spaces.
20ª aula
17 Maio 2023, 14:00 • Maria João Antunes Dias Gouveia
Proof of some results and explanation of some examples in order to facilitate the understanding and the proof of the theorem: A class of algebras of the same type is a variety if and only if it is an equational class.
19ª aula
15 Maio 2023, 14:00 • Maria João Antunes Dias Gouveia
Equational theories and equational classes. Every equational class is a variety.