Programmeringsteori
Universitet/högskola · Kurs · Avancerad nivåUppsala universitet
Annons
Annonsplats – inget annonsnätverk kopplat ännu.
Fakta
- Ämnesområde
- Data och IT
- Nivå
- Avancerad nivå
- Omfattning
- 10 högskolepoäng
- Längd
- 7 veckor
- Studietakt
- 33 %
- Studieort
- Uppgift saknas
- Start
- 2026-08-31
- Slut
- 2027-01-17
- Examen
- Uppgift saknas
- CSN-berättigad
- Uppgift saknas
- Avgift
- Uppgift saknas
Ansökan
Ansökan stängde 2026-04-15
Till ansökan hos Uppsala universitet ↗Om utbildningen
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.
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.)
Rekommenderade förkunskaper: uh
Alla tillfällen (1)
| Ort | Start | Studietakt | Ansökan |
|---|---|---|---|
| Uppsala län | 2026-08-31 | 33 % | Ansökan stängde 2026-04-15 |
Liknande utbildningar
- ProgrammeringsteknikUniversitet/högskola
- ProgrammeringUniversitet/högskola
- Datavetenskapens grunderUniversitet/högskola
- Programmering i CUniversitet/högskola
Är du anordnare? Lyft utbildningen överst i relevanta sökningar.
Källa: Skolverkets Susa-nav · Uppdaterad i källan 2026-03-09 · Hämtad 2026-07-14. Uppgifter som saknas i källan visas som ”Uppgift saknas”.