PředmětyPředměty(verze: 845)
Předmět, akademický rok 2018/2019
   Přihlásit přes CAS
Universální algebra 2 - NMAG450
Anglický název: Universal Algebra 2
Zajišťuje: Katedra algebry (32-KA)
Fakulta: Matematicko-fyzikální fakulta
Platnost: od 2017 do 2019
Semestr: letní
E-Kredity: 4
Rozsah, examinace: letní s.:2/1 Z+Zk [hodiny/týden]
Počet míst: neomezen
Minimální obsazenost: neomezen
Stav předmětu: vyučován
Jazyk výuky: angličtina, čeština
Způsob výuky: prezenční
Garant: doc. Mgr. Libor Barto, Ph.D.
Třída: M Mgr. MSTR
M Mgr. MSTR > Povinně volitelné
Kategorizace předmětu: Matematika > Algebra
Neslučitelnost : NALG104
Záměnnost : NALG104
Anotace -
Poslední úprava: T_KA (14.05.2013)
Základní přednáška z univerzální algebry pro obor Matematické struktury.
Podmínky zakončení předmětu -
Poslední úprava: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (24.05.2019)

The sum of 4 best scores out of 5 written homeworks must be at least 60% of the maximum.

Additional homework will be assigned in case of failure, with a minimum of 60% marks for success.

It is necessary to fulfill this requirement before taking the exam.

Literatura -
Poslední úprava: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (24.05.2019)
  • C. Bergman: "Universal Algebra: Fundamentals and Selected Topics"
  • J. Jezek: "Universal Algebra"
  • L. Barto, M. Kozik: "Absorbing subalgebras, cyclic terms and the constraint satisfaction problem", Logical Methods in Computer Science 8/1:07 (2012), 1-26.
  • L. Barto, A. Krokhin, R. Willard: "Polymorphisms, and how to use them", Dagstuhl Follow-Ups. Vol. 7. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2017.

Copies of Bergman's book are available at our library, while the other sources can be found on Libor Barto's website.

Further reading:

  • S. Burris, H. P. Sankappanavar: "A course in universal algebra." Springer-Verlag, 1981.
  • R. McKenzie, G. McNulty, W. Taylor: "Algebras, Lattices, Varieties", vol. 1. Wadsworth and Brooks/Cole, 1987.
  • R. Freese, R. McKenzie: "Commutator theory for congruence modular varieties", LMS Lecture Notes, Vol. 125, Cambridge, 1987.

Požadavky ke zkoušce -
Poslední úprava: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (24.05.2019)

Předmět bude zakončen ústní zkouškou v rozsahu podle sylabu předmětu.

Sylabus -
Poslední úprava: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (24.05.2019)

This course offers a introduction to selected topics in universal algebra that are connected to the research interests of the algebra group. For the summer semester 2019 this includes:

  • Abelianness and basics of commutator theory
  • Term rewriting systems and the Knuth-Bendix algorithm
  • Absorption and its use in the study of Malcev conditions and CSPs
 
Univerzita Karlova | Informační systém UK