Programmeringsteori
Kursplan, Avancerad nivå, 1DT034
- Kod
- 1DT034
- Utbildningsnivå
- Avancerad nivå
- Huvudområde(n) med fördjupning
- Datavetenskap A1N, Inbyggda system A1N
- Betygsskala
- Underkänd (U), godkänd (3), icke utan beröm godkänd (4), med beröm godkänd (5)
- Fastställd av
- Teknisk-naturvetenskapliga fakultetsnämnden, 30 augusti 2018
- Ansvarig institution
- Institutionen för informationsteknologi
Behörighetskrav
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.)
Mål
Efter godkänd kurs ska studenten kunna:
* Skriva rigorösa beskrivningar av specifikation och implementering av program.
* Verifiera program, dvs. kunna bevisa att implementeringen av ett program uppfyller specifikationen av programmet
* Syntetisera program, dvs. skapa ett korrekt program från en given specifikation.
Innehåll
Kursen innehåller följande områden:
* Logiska bevis
* Specifikation av, och korrekthet hos, program
* "weakest precondition"
* Invarianter
* Partiell korrekthet
* Termineringsbevis
* Fullständig korrekthet
* Programsyntes
Undervisning
Föreläsningar och lektioner
Examination
Skriftlig tentamen och inlämningsuppgifter.
Om särskilda skäl finns får examinator göra undantag från det angivna examinationssättet och medge att en enskild student examineras på annat sätt. Särskilda skäl kan t.ex. vara besked om särskilt pedagogiskt stöd från universitetets samordnare för studenter med funktionsnedsättning.
Övriga föreskrifter
Kursen får ej tillgodoräknas i examen tillsammans med kursen 2AD094 Programteori.