Sumários
8ª aula
9 Outubro 2018, 16:30 • Maria João Antunes Dias Gouveia
Conclusão do sumário da aula anterior.
Termos de um certo tipo sobre conjunto de variáveis fixado; identidades. Operações termo; identidades satisfeitas por álgebras.
6ª aula
2 Outubro 2018, 16:30 • Maria João Antunes Dias Gouveia
Variedade de álgebras; variedade gerada por uma classe de álgebras do mesmo tipo.
Teorema d eTarski: V=HSP.
5ª aula
28 Setembro 2018, 14:00 • Maria João Antunes Dias Gouveia
Produto directo de álgebras.
Os operadores de classes I, H, S e P.