Algebry a struktury v logice - ALG119005
Anglický název: |
Algebras and structures in logic |
Zajišťuje: |
Katedra logiky (21-KLOG) |
Fakulta: |
Filozofická fakulta |
Platnost: |
od 2022 |
Semestr: |
oba |
Body: |
0 |
E-Kredity: |
5 |
Způsob provedení zkoušky: |
|
Rozsah, examinace: |
2/0, Zk [HT] |
Počet míst: |
zimní:neomezen / neurčen (neurčen) letní:neurčen / neurčen (neurčen) |
Minimální obsazenost: |
neomezen |
4EU+: |
ne |
Virtuální mobilita / počet míst pro virtuální mobilitu: |
ne |
Kompetence: |
|
Stav předmětu: |
vyučován |
Jazyk výuky: |
čeština |
Způsob výuky: |
prezenční |
Způsob výuky: |
prezenční |
Úroveň: |
|
Poznámka: |
předmět je možno zapsat mimo plán povolen pro zápis po webu předmět lze zapsat v ZS i LS |
|
|
|
Poslední úprava: Mgr. Šárka Stejskalová, Ph.D. (21.09.2021)
B. Balcar a P. Štěpánek, Teorie množin. Academia, Praha, 2000.
C.C. Chang a H.J. Keisler, Model theory. Elsevier, 1990. |
|
Poslední úprava: Mgr. Šárka Stejskalová, Ph.D. (21.09.2021)
1] Isomorfismus a elementarní ekvivalence
- Isomorfismus, elementarní ekvivalence, Löwenheim-Skolemova věta pro teorie, druhořádové vlastnosti
2] Vnoření a homomorfismus
- vnoření, homomorfismus, podstruktury, elementární vnoření, Löwenheim-Skolemovy věty pro struktury
3] Ultraprodukt a ultramocnina
- ultraprodukt, ultramocnina, aplikace ultraproduktu a ultramocniny
4] Svazy, částečné uspořádání a Booleovy algebry
- svazy, distributivní svazy, Booleovy algebry, podalgebry
5] Příklady Booleových algeber
- dvouprvková Booleova algebra, potenční algebra, množinová algebra, Lindenbaum-Tarského algebra
6] Vlastnosti Booleových algeber
- nekonečné operace, úplne algebry, regulární podalgebry a zúplnění
7] Reprezentace Booleových algeber
- Stoneova věta o reprezentaci
|
|