Sylabus
1. Svazy, Heytingovy a Booleovy algebry
2. Operace a algebry
3. Kongruence a faktorove algebry
4. Homomorfismy a věty o homomorfismech
5. Direktní součiny a subdirektně ireducibilní algebry
6. Volné a termové algebry
7. Variety a Birkhoffova veta
Anotace
Předmět seznamuje se základy universální algebry: algebry, podalgebry, homomorfismy, kongruence faktorové algebry a direktní součiny. Termy, volné algebry, subdirektně ireducibilní algebry, variety a Birkhoffova věta.