Sumários
Aula 32: 29-04 14h30m-16h
30 Abril 2021, 13:00 • Maria João Antunes Dias Gouveia
Resolution of exercises of worksheet 7.
Aula 31
28 Abril 2021, 11:30 • Maria João Antunes Dias Gouveia
The term algebra of type F over some set X. Examples. The determination of term operations on an algebra and its correspondence with the terms.
Aula 30
26 Abril 2021, 15:30 • Maria João Antunes Dias Gouveia
A lattice is complete iff it is, up to isomorphism, the lattice of C-closed sets for some closure operator C. The closure operators for well known complete lattices associate to any algebra. Algebraic closure operators, algebraic lattices and their correlation.
Aula 29: 22-04, 14h30m-16h
23 Abril 2021, 13:00 • Maria João Antunes Dias Gouveia
Resolution of exercises to introduce closure operators.
Aula 28
21 Abril 2021, 11:30 • Maria João Antunes Dias Gouveia
Birkhoff's Representation Theorem for finite distributive lattices.