Počet kreditů 4
Vyučováno v Letní
Rozsah výuky 2P+1S
Garant předmětu
Přednášející
Cvičící

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.

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

Rozvrh předmětu
Po
Út
St
Čt
PřednáškyCvičení