Programmeringsteori
Kurs, Avancerad nivå, 1DT034
Hösten 2023 Hösten 2023, Uppsala, 33 %, Campus, Engelska
- Studieort
- Uppsala
- Studietakt
- 33 %
- Undervisningsform
- Campus
- Undervisningstid
- Dag
- Studieperiod
- 28 augusti 2023–14 januari 2024
- 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.
- Anmälningsavgift: 900 kr
- Studieavgift, första inbetalningen: 24 167 kr
- Studieavgift, totalt: 24 167 kr
- Sista anmälningsdag
- 17 april 2023
- Anmälningskod
- UU-11218
För dig som är antagen eller reserv
- Registreringsperiod
- 28 juli 2023–4 september 2023
- Information om registrering.
Hösten 2023 Hösten 2023, Uppsala, 33 %, Campus, Engelska För utbytesstudenter
- Studieort
- Uppsala
- Studietakt
- 33 %
- Undervisningsform
- Campus
- Undervisningstid
- Dag
- Studieperiod
- 28 augusti 2023–14 januari 2024
- 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
- 28 juli 2023–4 september 2023
- 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.