| TDDD47 |
Programmeringsteori, 4 p
/
6 hp
/Programming Theory/ |
||
Prel. schemalagd
tid: 56 |
|||
|
Utbildningsområde: Teknik Ämnesgrupp: Datalogi, Datateknik Nivå (A-D):D Huvudområde: Datateknik, Datavetenskap Nivå (G1,G2,A): A |
|||
| Datavetenskap Datavetenskap, datalogi. |
|||
|
Mål:
Kursen behandlar formella metoder för definition av semantik för programspråk, d.v.s. betydelsen av varje program i ett givet språk. Efter avslutad kurs ska studenten kunna:
|
|||
| Förkunskaper: (gäller studerande antagna till program som kursen ges inom, se 'För:' ovan) Förtrogenhet med matematiskt tankesätt. Diskret matematik och logik . En avancerad kurs i programmering. OBS! Tillträdeskrav för icke programstudenter omfattar vanligen också tillträdeskrav för programmet och ev. tröskelkrav för progression inom programmet, eller motsvarande. |
|||
| Påbyggnadskurser Kompilatorkonstruktion. Avancerade programmeringskurser. |
|||
| Organisation: Teorin behandlas under både föreläsningar och lektioner. Lektioner och laborationer ger tillfälle till praktiska övningar. |
|||
| Kursinnehåll: Transitionsystem, lambdakalkyl, operationell semantik, denotationssemantik, axiomatisk semantik. Tillämpning av axiomatisk semantik i programkorrekthetsbevis och i konstruktion av bevisbart korrekta program. |
|||
| Kurslitteratur: H. R. Nielson and F. Nielson. Semantics with Applications. John Wiley and Sons 1992. Kompendium, utges av institutionen för datavetenskap. |
|||
| Examination: | |||
| LABA UPGA |
Laborationer (U,G) Inlämningsuppgifter (U,3,4,5) |
2 hp 4 hp |
|
Undervisningsspråk är Engelska.
Institution: IDA.
Studierektor: Patrick Lambrix
Examinator: Ulf Nilsson
Länk till kurshemsida på kursgivande institution
Ansvarig programnämnd: Data&Medie
Engelsk kursplan
Kursen bedrivs på ett sådant sätt att både mäns och kvinnors erfarenhet och kunskaper synliggörs och utvecklas.
Planering och genomförande av kurs skall utgå från kursplanens formuleringar. Den kursvärdering som ingår i kursen skall därför genomföras med kursplanen som utgångspunkt.
Om inget annat anges ovan gäller betygsskala enligt avsnitt a8.5 i de gemensamma bestämmelserna.
Kursplanen gäller för 2010 enligt beslut av ansvarig programnämnd/fakultetstyrelse.
 |
||||||
| ||||||