| TDDA43 |
Programmeringsteori, 4 p
/Programming Theory/ |
||
Prel. schemalagd
tid: 56 |
|||
|
Utbildningsområde: Teknik Ämnesgrupp: Datalogi, Datateknik Nivå (A-D):C |
|||
| Datavetenskap Datavetenskap, datalogi. |
|||
|
Mål:
Att känna till tekniker för att formellt beskriva ett programspråk, speciellt dess semantik (innebörd). Introduktion till bevis av programs korrekthet. |
|||
| Förkunskaper: (gäller studerande antagna till program som kursen ges inom, se 'För:' ovan) TATA35 Diskret matematik. TDDB83 Logik. Omfattande programmeringskurs som innehåller imperativ programmering (t.ex.TDDB80 Programmering och datorspråk eller TDDB81 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 TDDB44 Kompilatorkonstruktion. Avancerade programmeringskurser, t ex TDDA69 Data- och programstrukturer och TDDA41 Logikprogrammering. |
|||
| 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) |
1,5 p 2,5 p |
|
Undervisningsspråk är Engelska.
Institution: IDA.
Studierektor: sas-sr@ida.liu.se
Examinator: Wlodek Drabent
Länk till kurshemsida på kursgivande institution
Ansvarig utbildningsnämnd: UND
Engelsk kursplan
Om inget annat anges ovan gäller betygsskala enligt avsnitt a8.5 i de gemensamma bestämmelserna.
Kursplanen gäller för 2005 enligt beslut av ansvarig utbildningsnämnd.
 |
||||||
| ||||||