Matematisk logik
Universitet/högskola · Kurs · GrundnivåUppsala universitet
Annons
Annonsplats – inget annonsnätverk kopplat ännu.
Fakta
- Ämnesområde
- Naturvetenskap
- Nivå
- Grundnivå
- Omfattning
- 10 högskolepoäng
- Längd
- 7 veckor
- Studietakt
- 33 %
- Studieort
- Uppgift saknas
- Start
- 2026-08-31
- Slut
- 2027-01-17
- Examen
- Uppgift saknas
- CSN-berättigad
- Uppgift saknas
- Avgift
- Uppgift saknas
Ansökan
Ansökan stängde 2026-04-15
Till ansökan hos Uppsala universitet ↗Om utbildningen
Kursen behandlar det formella språket för första ordningens logik, grundläggande modellteori och rekursionsteori. Då logik har tillämpningar inom datavetenskapen rekommenderas denna kurs även till studenter som har datavetenskap som huvudområde och vill utöka sina kunskaper i matematik.
Behörighet
60 hp matematik. Grundläggande ringteori eller Mängdlära genomgången.
Rekommenderade förkunskaper: uh
Alla tillfällen (1)
| Ort | Start | Studietakt | Ansökan |
|---|---|---|---|
| Uppsala län | 2026-08-31 | 33 % | Ansökan stängde 2026-04-15 |
Liknande utbildningar
- Logik och formella metoderUniversitet/högskola
- Logik och bevisteknik IUniversitet/högskola
- Matematisk logik med datainriktningUniversitet/högskola
- Logik: Formella språkUniversitet/högskola
Är du anordnare? Lyft utbildningen överst i relevanta sökningar.
Källa: Skolverkets Susa-nav · Uppdaterad i källan 2026-03-09 · Hämtad 2026-07-14. Uppgifter som saknas i källan visas som ”Uppgift saknas”.