Universální algebra

Garant předmětu:

Přednášející:

Cvičící:

Předmět zajišťuje:

katedra matematiky

Anotace:

V kursu probereme základy universální algebry. Universální algebra je oblast matematiky s širokým využitím v teoretické computer science. Zavádí velmi obecný pojem algebry a homomorfismu algeber; studuje třídy algeber, způsoby jejich specifikace a vztahy mezi třídami algeber.

Velká část kursu bude věnována základním pojmům universální algebry podle potřeb přihlášených studentů. Kurs bude kulminovat charakterisací rovnicově specifikovatelných tříd algeber.

Požadavky:

Osnova přednášek:

Osnova cvičení:

Cíle studia:

Studijní materiály:

Wolfgang Wechler: Universal Algebra for Computer Scientists, Springer-Verlag Berlin Heidelberg, 1992

Clifford Bergman: Universal Algebra: Fundamentals and Selected Topics, Chapman and Hall/CRC, 2011

Poznámka:

Další informace:

Pro tento předmět se rozvrh nepřipravuje

Předmět je součástí následujících studijních plánů: