Modallogik
Universitet/högskola · Kurs · Avancerad nivåGöteborgs universitet
Annons
Annonsplats – inget annonsnätverk kopplat ännu.
Fakta
- Ämnesområde
- Data och IT
- Nivå
- Avancerad nivå
- Omfattning
- 7.5 högskolepoäng
- Längd
- 5 veckor
- Studietakt
- 50 %
- Studieort
- Uppgift saknas
- Start
- 2026-11-04
- Slut
- 2027-01-17
- 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 gives a mainly semantically oriented introduction to modern modal propositional logic and Kripke semantics. It offers both a solid mathematical basis and an introduction to some of the many applications within, e.g., philosophy, metamathematics and computer science. The course is mainly theoretically oriented, but also contains practical exercises.
Behörighet
För tillträde till kursen krävs godkänt resultat om - minst 60 hp sammanlagt inom ämnesområdena matematik, logik, datavetenskap eller formell lingvistik, eller - minst 90 hp inom filosofi eller lingvistik, samt minst 30 hp sammanlagt inom ämnesområdena matematik, logik, datavetenskap eller formell lingvistik, eller motsvarande kunskaper. 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-11-04 | 50 % | Ansökan stängde 2026-04-15 |
Liknande utbildningar
- Logisk teoriUniversitet/högskola
- Logic and ArgumentationUniversitet/högskola
- ModellteoriUniversitet/högskola
- Logic and Argumentation II: Sets, Predicates and ModalitiesUniversitet/högskola
Är du anordnare? Lyft utbildningen överst i relevanta sökningar.
Källa: Skolverkets Susa-nav · Uppdaterad i källan 2026-11-09 · Hämtad 2026-11-10. Uppgifter som saknas i källan visas som ”Uppgift saknas”.