Programmeringsteori
Kurs, Avancerad nivå, 1DT034
Fäll ut informationen nedan för att läsa mer om anmälan och behörighet.
Hösten 2026 Hösten 2026, Uppsala, 33 %, Campus, Engelska Ges endast inom program
- Studieort
- Uppsala
- Studietakt
- 33 %
- Undervisningsform
- Campus
- Undervisningstid
- Dag
- Studieperiod
- 31 augusti 2026–17 januari 2027
- Undervisningsspråk
- Engelska
- Behörighet
-
120 hp med 30 hp matematik och 30 hp datavetenskap, inklusive grundläggande programmering, datastrukturer och grundläggande logik. Engelska 6. (Med en svensk kandidatexamen uppfylls kravet på engelska.)
- Sista anmälningsdag
- 15 april 2026
- Anmälningskod
- UU-11218
För dig som är antagen eller reserv
- Registreringsperiod
- 27 juli 2026–6 september 2026
- Institutionens information om registrering
Hösten 2026 Hösten 2026, Uppsala, 33 %, Campus, Engelska För utbytesstudenter
- Studieort
- Uppsala
- Studietakt
- 33 %
- Undervisningsform
- Campus
- Undervisningstid
- Dag
- Studieperiod
- 31 augusti 2026–17 januari 2027
- Undervisningsspråk
- Engelska
- Behörighet
-
120 hp med 30 hp matematik och 30 hp datavetenskap, inklusive grundläggande programmering, datastrukturer och grundläggande logik. Engelska 6. (Med en svensk kandidatexamen uppfylls kravet på engelska.)
För dig som är antagen eller reserv
- Registreringsperiod
- 27 juli 2026–6 september 2026
- Institutionens information om registrering
Om kursen
I kursen introduceras grundläggande teorier för programanalys, verifiering och samband mellan matematik och programmering. Områden som ingår är: propositionslogik, predikatlogik, likhetsresonemang, formella metoder, språk för formella specifikationer, verifiering, invarianter, partiell korrekthet, terminering, total korrekthet och programsyntes. I kursen ingår också laborationer baserade på språket Spec# där C# är utvidgat med konstruktioner för programanalys.