Universální algebra

B232 - Letní 23/24

Universální algebra - XP01UAL

Kredity 4
Semestry letní
Zakončení zkouška
Jazyk výuky čeština
Rozsah výuky 2P+1S
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.
Cíle studia
Žádná data.
Osnovy přednášek
Žádná data.
Osnovy cvičení
Žádná data.
Literatura
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
Požadavky
Žádná data.