Matematik III - Logik
Universitet/högskola · Kurs · GrundnivåStockholms universitet
Annons
Annonsplats – inget annonsnätverk kopplat ännu.
Fakta
- Ämnesområde
- Naturvetenskap
- Nivå
- Grundnivå
- Omfattning
- 7.5 högskolepoäng
- Längd
- 5 veckor
- Studietakt
- 50 %
- Studieort
- Uppgift saknas
- Start
- 2027-03-29
- Slut
- 2027-06-06
- Examen
- Uppgift saknas
- CSN-berättigad
- Uppgift saknas
- Avgift
- 17 500 SEK
Ansökan
Uppgift saknas
Till ansökan hos Stockholms universitet ↗Om utbildningen
Kursen behandlar sats- och predikatlogik, induktivt definierade mängder, formella språk, substitution, semantik, naturlig deduktion. Systemets sundhet och fullständighet med avseende på semantiken bevisas och tillämpas på olika problem.
Behörighet
För tillträde till kursen krävs kunskaper motsvarande 60 hp i matematik där Matematik II - Algebra och kombinatorik, 7,5 hp (MM5013) eller motsvarande skall ingå.
Rekommenderade förkunskaper: uh
Alla tillfällen (1)
| Ort | Start | Studietakt | Ansökan |
|---|---|---|---|
| Stockholms län | 2027-03-29 | 50 % | Uppgift saknas |
Liknande utbildningar
- Logik: Formella språkUniversitet/högskola
- Logik och formella metoderUniversitet/högskola
- Logik och bevisteknik IUniversitet/högskola
- Matematisk logik för datavetenskapUniversitet/högskola
Är du anordnare? Lyft utbildningen överst i relevanta sökningar.
Källa: Skolverkets Susa-nav · Uppdaterad i källan 2026-08-18 · Hämtad 2026-09-15. Uppgifter som saknas i källan visas som ”Uppgift saknas”.