Programmeringsteori, 10 hp
Läsåret 2023/2024
-
HT 2023, 33 %, Campus
Startdatum: 28 augusti 2023
Slutdatum: 14 januari 2024
Sista anmälningsdatum: 17 april 2023
Anmälningskod: UU-11218 Anmälan
Undervisningsspråk: Engelska
Studieort: Uppsala
Urval: Högskolepoäng inom teknik/naturvetenskap (max 240 hp)
Registrering: 28 juli 2023 – 4 september 2023
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.)
Avgifter: Du som inte är medborgare i ett EU-/EES-land eller Schweiz måste betala anmälnings- och studieavgift.
Läs mer om avgifter och stipendier.
Anmälningsavgift: 900 kr
Studieavgift, första inbetalningen: 24167 kr
Studieavgift, totalt: 24167 kr
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.
Mer information
Kursplan med litteraturlista
För varje kurs finns en formell kursplan. Den innehåller kursens benämning, omfattning och syfte. I kursplanen får man också upplysningar om huvudsakligt innehåll, kurslitteratur och hur examination går till.
Kontakt
Institutionen för informationsteknologi
hus 10, Lägerhyddsvägen 1
Box 337, 751 05 UPPSALA
E-post: info@it.uu.se
Studievägledare
E-post: studievagledare@it.uu.se