Programmeringsteori
Kursplan, Avancerad nivå, 1DT034
- Kod
- 1DT034
- Utbildningsnivå
- Avancerad nivå
- Huvudområde(n) med fördjupning
- Datavetenskap A1N, Inbyggda system A1N
- Betygsskala
- Med beröm godkänd (5), Icke utan beröm godkänd (4), Godkänd (3), Underkänd (U)
- Fastställd av
- Teknisk-naturvetenskapliga fakultetsnämnden, 4 oktober 2007
- Ansvarig institution
- Institutionen för informationsteknologi
Behörighetskrav
Kandidatexamen som innehåller matematik 30 hp och datavetenskap 30 hp
inkl. grundläggande programmering, datastrukturer och grundläggande logik.
Mål
Efter kursen ska studenterna ha förmåga att:
- 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
Övriga föreskrifter
Kursen får ej tillgodoräknas i examen tillsammans med kursen 2AD094 Programteori.