Univerzální algebra II - NALG104
| Anglický název: |
Universal Algebra II |
| Podoba výuky: |
přednáška+cvičení |
| Zajišťuje: |
Katedra algebry (32-KA) |
| Fakulta: |
Matematicko-fyzikální fakulta |
| Platnost: |
od 2018 |
| Počet semestrů výuky: |
1 |
| Semestr: |
zimní |
| E-Kredity: |
3 |
| Rozsah, examinace: |
zimní s.:2/0, Zk [HT] |
| Počet míst: |
neomezen |
| Maximální kapacita předmětu: |
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 |
| Forma uskutečňování: |
prezenční |
| Možnost opakovaného zápisu: |
2 / 2 / 2 / 2 |
|
|
| Anotace -
| |
|
Pokračování základní přednášky z univerzální algebry.
Poslední úprava: T_KA (21.05.2009)
Advanced course in Universal algebra.
Poslední úprava: T_KA (09.05.2005)
|
| 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 (21.05.2004)
S. Burris, Sankappanavar: Universal algebra. www.ams.org
J. Ježek: Univerzální algebra a teorie modelů. SNTL, Praha 1976
Poslední úprava: T_KA (21.05.2009)
|
| Sylabus -
| |
|
Druhá část přednášky navazuje na první výběrem tématu po dohodě se studenty. Možnosti jsou například:
Základy teorie krotkých konruencí.
Volné svazy.
Algoritmy v univerzální algebře.
Rovnicová logika.
Poslední úprava: T_KA (09.05.2005)
Topics will be chosen after agreement with students. For example:
Foundations of Tame Congruence Theory.
Free lattices.
Algorithms in universal algebra.
Equational logic.
Poslední úprava: T_KA (09.05.2005)
|