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