Sumários

3 Junho 2025, 16:00 • Maria João Antunes Dias Gouveia

Conclusão do sumário da aula anterior. Apresentação de trabalhos.

29 Maio 2025, 15:30 • Maria João Antunes Dias Gouveia

Completação de Dedekind-McNeille

Elementos importantes de reticulados: sup-irredutíveis e completamente sup-irredutíveis e conceitos duais; átomos e coátomos.

Álgebras de Boole infinitas: exemplos de atómicas, com átomos mas não atómicas, sem átomos.

Exemplos de aplicações da Álgebra Universal.

27 Maio 2025, 16:00 • Maria João Antunes Dias Gouveia

Reticulados de conceitos. Conexões de Galois. Alguns exemplos de álgebras da Lógica

22 Maio 2025, 15:30 • Maria João Antunes Dias Gouveia

Uma classe de álgebras do mesmo tipo é uma variedade se e só se é uma classe equacional.

20 Maio 2025, 16:00 • Maria João Antunes Dias Gouveia

Continuação do sumário da aula anterior. Alguns resultados sobre relação de álgebras livres e cardinalidade dos seus conjuntos de geradores livres.