Univerzální algebra 1,2 - NALG012

• Anglický název: Universal Algebra 1,2
• Zajišťuje: Katedra algebry (32-KA)
• Fakulta: Matematicko-fyzikální fakulta
• Platnost: od 2005
• Semestr: letní
• E-Kredity: 12
• Rozsah, examinace: letní s.:2/2, Z [HT]; zimní s.:2/2, Z+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í
• Poznámka: předmět začíná v LS a pokračuje v ZS násl. ak. roku
• Garant: prof. RNDr. Jaroslav Ježek, DrSc.; prof. RNDr. Tomáš Kepka, DrSc.
• Třída: Algebra v informatice; Universální algebra a mat. logika
• Kategorizace předmětu: Matematika > Algebra
• Neslučitelnost : NMAI031
• Prerekvizity : NALG027
• Je neslučitelnost pro: NMAI031
• Je záměnnost pro: NMAI031

Anotace

čeština

Základní přednáška pro Mat.struktury, témata Algebra v informatice, Universální algebra a matematická logika. Základy teorie kategorií a univerzální algebry. Variety algeber. Předmět může být vyučován anglicky.

Poslední úprava: ()

angličtina

1 (spring term): Diagrams, limits, colimits, reflections, universal algebras, varieties of algebras, Birkhoff theorem, equational logic. 2 (winter term): Amalgamation and strong amalgamation, lattices of varieties, Mal'cev conditions, absolutely free algebras of terms, identities, arithmetic of terms, lattices of subalgebras and cogruences, Schreier's property.

Poslední úprava: G_M (11.10.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

Letní semestr:

1/ Diagramy, limity, kolimity, reflexe.

2/ Univerzální algebry, variety algeber.

3/ Birkhoffova věta, rovnicová logika.

Zimní semestr:

1/ Amalgamace a silná amalgamace.

2/ Svazy variet. Malcevovy podmínky.

3/ Absolutně volné algebry termů, identity, aritmetika termů.

4/ Svazy podalgeber, svazy kongruencí.

5/ Schreierova vlastnost.

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

Poslední úprava: ()

angličtina

Summer semester:

1. Diagrams, limits, colimits, reflections.

2. Universal algebras, varieties.

3. Birkhoff's theorem, equational logic.

Winter semester:

1. Amalgamation and strong amalgamation.

2. Lattices of varieties. Maltsev conditions.

3. Absolutely free algebras, terms, identities.

4. Lattices of subvarieties, congruence lattices.

5. Schreier property.

Poslední úprava: T_KA (26.04.2004)