Programmeringsteori
Kurs, Avancerad nivå, 1DT034
Hösten 2024 Hösten 2024, Uppsala, 33 %, Campus, Engelska
- Studieort
- Uppsala
- Studietakt
- 33 %
- Undervisningsform
- Campus
- Undervisningstid
- Dag
- Studieperiod
- 2 september 2024–19 januari 2025
- 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 2024
- Anmälningskod
- UU-11218
För dig som är antagen eller reserv
- Registreringsperiod
- 26 juli 2024–9 september 2024
- Institutionens information om registrering
Hösten 2024 Hösten 2024, Uppsala, 33 %, Campus, Engelska För utbytesstudenter
- Studieort
- Uppsala
- Studietakt
- 33 %
- Undervisningsform
- Campus
- Undervisningstid
- Dag
- Studieperiod
- 2 september 2024–19 januari 2025
- 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
- 26 juli 2024–9 september 2024
- 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.