Universal Algebra - NMAI031

• Title: Univerzální algebra
• Guaranteed by: Department of Algebra (32-KA)
• Faculty: Faculty of Mathematics and Physics
• Actual: from 2005
• Semester: summer
• E-Credits: 3
• Hours per week, examination: summer s.:2/0, Ex [HT]
• Capacity: unlimited
• Min. number of students: unlimited
• 4EU+: no
• Virtual mobility / capacity: no
• State of the course: cancelled
• Language: Czech
• Teaching methods: full-time
• Is provided by: NALG012
• Guarantor: prof. RNDr. Jaroslav Ježek, DrSc.
• Classification: Informatics > Theoretical Computer Science; Mathematics > Algebra
• Co-requisite : NMAI019
• Incompatibility : NALG012, NALG103
• Interchangeability : NALG012, NALG103
• Is incompatible with: NALG012
• Is pre-requisite for: NALG058

Annotation

English

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

Last update: T_KA (25.05.2001)

Czech

Ú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.

Last update: ()

Literature

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

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

Last update: T_KA (26.04.2004)

Syllabus

English

1. Diagrams, limits, colimits, reflections.

2. Universal algebras, varieties.

3. Birkhoff's theorem, equational logic.

Last update: T_KA (26.04.2004)

Czech

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

Last update: T_KA (26.04.2004)