Syllabus
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
Annotation
The course is devoted to elements of logic programming; presented is Horn logic as a kind of declarative language and logic programming is then understood as a theory of logic programs.