| TDDA43 | Programmeringsteori, 4 poäng /Programming Theory/ För: C3 | |
| Utbildningsområde: Teknik Ämnesgrupp: Datalogi | ||
| Fördjupningsnivå: C | ||
| Klassning för datavetenskaplig examen: Datavetenskap | ||
| Mål: Kursen avser att ge en introduktion till tekniker och metaspråk för att formellt beskriva ett programspråk. För det ändamålet dras en gräns mellan syntax och semantik för ett språk, och tekniker som är lämpliga för varje del diskuteras. Dessutom urskiljes tre olika användargrupper som ställer olika krav på ett metaspråk. Under kursen undersöks hur varje teknik uppfyller kraven hos respektive grupp.Förkunskaper: TDDB90 eller TATM90 Diskret matematik och logik, TDDA 69 Data- och programstrukturer.Påbyggnadskurser: TDDA 37 Kompilatorkonstruktion, TDDA 41 Logikprogrammering, TDDB42 Programspråkssemantik.Organisation: På föreläsningarna och lektionerna genomgås och övas teorin. På lektionerna förbereds även laborationerna.Kursinnehåll: Varianter av BNF, attributgrammatik, flernivågrammatik, operationell semantik, denotationssemantik, axiomatisk semantik.Kurslitteratur: Kurslitteratur meddelas senare. Kompendier, utges av institutionen för datavetenskap. | ||
| LAB1 | , 1,5 p. | |
| UPG1 | Inlämningsuppgifter, 2,5 p. | |
Undervisningsspåk är svenska.
Engelsk kursplan