Programmeringsteori
Kurs, Avancerad nivå, 1DT034
Fäll ut informationen nedan för att läsa mer om anmälan och behörighet.
Hösten 2025 Hösten 2025, Uppsala, 33 %, Campus, Engelska
- Studieort
- Uppsala
- Studietakt
- 33 %
- Undervisningsform
- Campus
- Undervisningstid
- Dag
- Studieperiod
- 1 september 2025–18 januari 2026
- 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.)
- Urval
-
Högskolepoäng inom teknik/naturvetenskap (max 240 hp)
- Avgifter
-
Du som inte är medborgare i ett EU-/EES-land eller Schweiz måste betala anmälnings- och studieavgift.
- Studieavgift, första inbetalningen: 24 167 kr
- Studieavgift, totalt: 24 167 kr
- Sista anmälningsdag
- 15 april 2025
- Anmälningskod
- UU-11218
För dig som är antagen eller reserv
- Registreringsperiod
- 25 juli 2025–7 september 2025
- Institutionens information om registrering
Hösten 2025 Hösten 2025, Uppsala, 33 %, Campus, Engelska För utbytesstudenter
- Studieort
- Uppsala
- Studietakt
- 33 %
- Undervisningsform
- Campus
- Undervisningstid
- Dag
- Studieperiod
- 1 september 2025–18 januari 2026
- 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
- 25 juli 2025–7 september 2025
- 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.