Váš prohlížeč nepodporuje JavaScript nebo je jeho podpora vypnutá. Některé funkce nemusejí být dostupné.
Univerzální algebra - NMAI031
Anglický název:
Universal Algebra
Zajišťuje:
Katedra algebry (32-KA)
Fakulta:
Matematicko-fyzikální fakulta
Platnost:
od 2005
Semestr:
letní
E-Kredity:
3
Rozsah, examinace:
letní s.:2/0, Zk [HT]
Počet míst:
neomezen
Minimální obsazenost:
neomezen
4EU+:
ne
Virtuální mobilita / počet míst pro virtuální mobilitu:
ne
Stav předmětu:
zrušen
Jazyk výuky:
čeština
Způsob výuky:
prezenční
Způsob výuky:
prezenční
Je zajišťováno předmětem:
NALG012
Anotace -
--- čeština angličtina
Úvodní přednáška z univerzální algebry, která slouží především pro
doplnění znalostí získaných v základním kurzu algebry a pro vybudování
nezbytného teoretického základu potřebného pro teorii algebraických
specifikací (MAI032). Pozornost je věnována zejména základům teorie
vícesortových algeber a algoritmickým problémům. Přednáška se koná
společně s prvním semestrem ALG012.
Poslední úprava: T_KA (25.05.2001)
Diagrams, limits, colimits, reflections, universal algebras, varieties of algebras, Birkhoff theorem, equational logic.
Poslední úprava: T_KA (26.04.2004)
S. Burris, Sankappanavar: Universal algebra. www.ams.org
J. Ježek: Univerzální algebra a teorie modelů. SNTL, Praha 1976
Sylabus -
--- čeština angličtina
Poslední úprava: T_KA (26.04.2004)
1/ Diagramy, limity, kolimity, reflexe.
2/ Univerzální algebry, variety algeber.
3/ Birkhoffova věta, rovnicová logika.
Literatura
J.Ježek: Univerzální algebra a teorie modelů. SNTL, Praha 1976
Poslední úprava: T_KA (26.04.2004)
1. Diagrams, limits, colimits, reflections.
2. Universal algebras, varieties.
3. Birkhoff's theorem, equational logic.