Libor Barto

DOMU COCOSYM VYZKUM PRO STUDENTY

UNIVERSAL ALGEBRA 2 (NMAG450)

Lecture: Wed 9:00 - 10:30 Seminar room of KA
Practicals (Alexandr Kazda): Mon 12:20 - 13:50 Seminar room of KA (only odd semester weeks = even calendar weeks)

Grading:

  • Practicals ("Z: Zapocet"): homeworks (60% from 3-4 best scores out of 4-5 homeworks - TBD)
  • Lecture ("Zk: Zkouska"): written test + possible oral examination; contact me by email

Literature:

topicsrecommended reading homework
28.2.Abelian and affine algebras, fundamental theorem. Bergman 7.3
7.3.Relational desciption of Abelian algebras. Centralizing relation in UA vs. group theory.
Ex. 5.3.: Abelian and non-Abelian algebras.
Bergman 7.4
14.3. Equational theories, completness theorem for equational logic. Jezek 13 Homework 1
due 4 Apr 9:00
21.3. Reduction order, critical pairs, Knuth-Bendix algorithm.
Ex. 19.3.: Basics of term rewriting systems
Jezek 13
28.3. Finitely based varieties. Non-finitely based example.
Ex. 26.3.: Critical pairs, Knuth-Bendix
Bergman 5.4.
4.4. McKenzie's DPC (definable principal congruences) result. Bergman 5.5. Homework 2
due 18 Apr 9:00
11.4. Constraint satisfaction problems over fixed templates. BKW
18.4. (h1-) clone homomorphisms, Taylor clones.
Ex. 16.4.: DPC, CSP
BKW
25.4. Taylor's theorem. Bergman 8.4. Homework 3
due 9 May 9:00
2.5.
9.5.
16.5. -----
23.5.

KAFKA (NMMB551)

Wed 15:40 seminar room of KA web

ARCHIV

[Archiv 2017/18 zimni semestr]
[Archiv 2016/17 letni semestr]
[Archiv 2016/17 zimni semestr]
[Archiv 2015/16 letni semestr]
[Archiv 2015/16 zimni semestr]
[Archiv 2014/15 letni semestr]
[Archiv 2014/15 zimni semestr]
[Archiv 2013/14 letni semestr]
[Archiv 2013/14 zimni semestr]
[Archiv 2012/13 letni semestr]
[Archiv 2012/13 zimni semestr]
[Archiv McMaster]
[Archiv 2009/10 letni semestr]
[Archiv 2009/10 zimni semestr]
[Archiv 2008/09 letni semestr]
[Archiv 2008/09 zimni semestr]
[Archiv 2007/08 letni semestr]
[Archiv 2007/08 zimni semestr]
[Archiv 2006/07 letni semestr]
[Archiv 2006/07 zimni semestr]
[Archiv 2005/06 letni semestr]