Logik: Formella språk
Universitet/högskola · Kurs · GrundnivåGöteborgs universitet
Annons
Annonsplats – inget annonsnätverk kopplat ännu.
Fakta
- Ämnesområde
- Språk
- Nivå
- Grundnivå
- Omfattning
- 7.5 högskolepoäng
- Längd
- 5 veckor
- Studietakt
- 50 %
- Studieort
- Uppgift saknas
- Start
- 2025-01-20
- Slut
- 2025-03-26
- Examen
- Uppgift saknas
- CSN-berättigad
- Uppgift saknas
- Avgift
- 11 498 SEK
Ansökan
Ansökan stängde 2024-10-15
Till ansökan hos Göteborgs universitet ↗Om utbildningen
Kursen är en introduktion till logikämnet och ger baskunskaper om formella språk, särskilt predikatlogik och satslogik. Tyngdpunkten ligger på färdighet snarare än abstraktion och du lär dig att hantera logiska formler. Vidare presenteras begrepp som bevisbarhet och logisk konsekvens och du lär dig olika sätt att analysera slutledningar. Kursen ingår som obligatorisk delkurs på fortsättningskursen i teoretisk filosofi. Kursen förutsätter inte matematiska färdigheter, men det är en fördel om man har vana att läsa matematisk text.
Behörighet
Grundläggande behörighet
Rekommenderade förkunskaper: grundlaggande
Alla tillfällen (1)
| Ort | Start | Studietakt | Ansökan |
|---|---|---|---|
| Västra Götalands län | 2025-01-20 | 50 % | Ansökan stängde 2024-10-15 |
Liknande utbildningar
- Logik och formella metoderUniversitet/högskola
- LogikUniversitet/högskola
- Grundläggande logik och modellteoriUniversitet/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 2025-01-17 · Hämtad 2026-07-14. Uppgifter som saknas i källan visas som ”Uppgift saknas”.