Logik och formella metoder
Universitet/högskola · Kurs · GrundnivåUmeå 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-25
- Slut
- 2027-06-06
- Examen
- Uppgift saknas
- CSN-berättigad
- Uppgift saknas
- Avgift
- 19 038 SEK
Ansökan
Ansökan stängde 2026-10-15
Till ansökan hos Umeå universitet ↗Om utbildningen
Kursen behandlar: *Logik* Språket för första ordningens predikatlogik, logisk sanning och logisk konsekvens, härledbarhet och bevisbarhet. *Matematik* Mängdlära, aritmetik, rekursion och induktion, relationer och funktioner. Studenterna kommer, i olika sammanhang, att få redogöra för kognitionsvetarens olika arbetsområden samt synliggöra kognitionsvetarens kompetenser och utbildningen för utomstående. På kursen genomförs två skriftliga prov: Matematik 3 hp och Logik 4,5 hp. Se vidare under Examination.
Behörighet
Grundläggande behörighet + Matematik 2a eller 2b eller 2c, Samhällskunskap 1b eller 1a1+1a2. Eller: Matematik nivå 2a eller 2b eller 2c, Samhällskunskap nivå 1b eller 1a1+1a2
Rekommenderade förkunskaper: grundlaggande
Alla tillfällen (1)
| Ort | Start | Studietakt | Ansökan |
|---|---|---|---|
| Västerbottens län | 2027-03-25 | 50 % | Ansökan stängde 2026-10-15 |
Liknande utbildningar
- Logik: Formella språkUniversitet/högskola
- Matematisk logik för datavetenskapUniversitet/högskola
- LogikUniversitet/högskola
- Grundläggande logik och modellteoriUniversitet/högskola
Är du anordnare? Lyft utbildningen överst i relevanta sökningar.
Källa: Skolverkets Susa-nav · Uppdaterad i källan 2026-01-28 · Hämtad 2026-07-14. Uppgifter som saknas i källan visas som ”Uppgift saknas”.