Modellteori
Universitet/högskola · Kurs · Avancerad nivåGöteborgs universitet
Annons
Annonsplats – inget annonsnätverk kopplat ännu.
Fakta
- Ämnesområde
- Kultur, media och design
- Nivå
- Avancerad nivå
- Omfattning
- 7.5 högskolepoäng
- Längd
- 5 veckor
- Studietakt
- 50 %
- Studieort
- Uppgift saknas
- Start
- 2026-08-31
- Slut
- 2026-11-03
- Examen
- Uppgift saknas
- CSN-berättigad
- Uppgift saknas
- Avgift
- 19 250 SEK
Ansökan
Ansökan stängde 2026-04-15
Till ansökan hos Göteborgs universitet ↗Om utbildningen
The course starts with detailed proofs of compactness and omitting types for first-order logic. Students is then introduced to a number of central methods, constructions and results with a focus on model completeness, automorphism groups and omega categoricity, ultraproducts, o-minimality, interpretability and back-and-forth equivalence. Quantifier elimination and zero-one laws serve as an introduction to applications of model theory to computer science. The course also deals with Morley's theorem and the basics of stability theory.
Behörighet
För tillträde till kursen krävs - godkänt resultat om minst 7,5 hp i Logisk teori (LOG111) eller Logic in Computer Science (DAT060 eller DIT201), - samt godkänt resultat på Mängdteori (LOG120), eller motsvarande. Dessutom krävs språkkunskaper motsvarande Engelska 6.
Rekommenderade förkunskaper: uh
Alla tillfällen (1)
| Ort | Start | Studietakt | Ansökan |
|---|---|---|---|
| Västra Götalands län | 2026-08-31 | 50 % | Ansökan stängde 2026-04-15 |
Liknande utbildningar
- Logisk teoriUniversitet/högskola
- MängdteoriUniversitet/högskola
- TypteoriUniversitet/högskola
- ModallogikUniversitet/högskola
Är du anordnare? Lyft utbildningen överst i relevanta sökningar.
Källa: Skolverkets Susa-nav · Uppdaterad i källan 2026-09-09 · Hämtad 2026-09-15. Uppgifter som saknas i källan visas som ”Uppgift saknas”.