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
• Garant: prof. RNDr. Jaroslav Ježek, DrSc.
• Kategorizace předmětu: Informatika > Teoretická informatika; Matematika > Algebra
• Korekvizity : NMAI019
• Neslučitelnost : NALG012, NALG103
• Záměnnost : NALG012, NALG103
• Je neslučitelnost pro: NALG012
• Je prerekvizitou pro: NALG058

Anotace

češ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: ()

angličtina

Diagrams, limits, colimits, reflections, universal algebras, varieties of algebras, Birkhoff theorem, equational logic.

Poslední úprava: T_KA (25.05.2001)

Literatura

S. Burris, Sankappanavar: Universal algebra. www.ams.org

J. Ježek: Univerzální algebra a teorie modelů. SNTL, Praha 1976

Poslední úprava: T_KA (26.04.2004)

Sylabus

čeština

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)

angličtina

1. Diagrams, limits, colimits, reflections.

2. Universal algebras, varieties.

3. Birkhoff's theorem, equational logic.

Poslední úprava: T_KA (26.04.2004)