Libor Barto

DOMU VYZKUM PRO STUDENTY

UNIVERSAL ALGEBRA (NMAG405)

Lecture: Mon 10:40 - 12:10 K6
Practicals: Thu 10:40 - 12:10 Seminar room of KA

Grading:

  • Practicals ("Z: Zapocet"): homeworks (60% from 4 best scores out of 5 homeworks)
  • Lecture ("Zk: Zkouska"): written test + oral examination

Literature:

topicsrecommended reading homework
2.10.Motivation. Algebra (signature, type). Homomorphism, isomorphism.
Ex.: (semi)lattice vs. semi(lattice) ordered set. Homomorphisms
Bergman 1.1, 1.2
9.10.Basic constructions - subalgebra, product
Ex.: Homomorphisms, isomorphisms, products, subalgebras.
Bergman 1.3, 1.4
16.10. Quotients. HSP operators. Constructions and homomorphisms.
Ex.:
Bergman 1.5, (3.1, 3.5) Homework 1
due 2 Nov 10:40

INTRODUCTION TO COMPLEXITY OF CSP (NMAG563)

Fri 11:00 K8 Problems

References:

  • short survey (Barto): here (see complexity column)
  • longer survey (Barto, Krokhin, Willard): here
  • Krokhin's tutorial: available here
  • Another Krokhin's tutorial, a bit different topics: available here
  • My tutorial: PDF
  • Paper Bulatov, Jeavons, Krokhin: Classifying the Complexity of Constraints Using Finite Algebras PDF

KAFKA (NMMB551)

streda 15:40 seminarni mistnost KA stranka

ARCHIV

[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]