Úvod do teorie modelů - ALG110013
| Anglický název: |
Introduction to Model Theory |
| Zajišťuje: |
Katedra logiky (21-KLOG) |
| Fakulta: |
Filozofická fakulta |
| Platnost: |
od 2013 do 2018 |
| Semestr: |
letní |
| Body: |
0 |
| E-Kredity: |
5 |
| Způsob provedení zkoušky: |
letní s.: |
| Rozsah, examinace: |
letní s.:2/0, Zk [HT] |
| Počet míst: |
neomezen / 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 |
|
|
|
Poslední úprava: LOGHONZIK (30.09.2009)
Pojem prvořádové struktury. Morfismy, izomorfismy a elementární vnoření struktur. Podstruktury a elementární podstruktury. Löwenheim-Skolemovy věty. Faktorové struktury. Ultraprodukt a ultramocnina. Kompaktnost. Elementární řetězce a direktní limity. |
