 
|
|
|
|
|
|
|
|
|
SMD055 Programspråksteori 4.0 poäng | |
|
ÄMNE (enl SCB) Datateknik NIVÅ/DJUP D M PROGRAM/TIDSPERIOD Val D, E / Lp I, ges / vartannat / år. Ges / 01/02. SPRÅK: Engelska/Svenska EXAMINATOR Torkel Franzén Univ lekt FASTSTÄLLD Kursplanen är fastställd av Institutionen för systemteknik 1995-05-29, reviderad 1998-02-16 att gälla från HT98. FÖRKUNSKAPSKRAV SMD001/SMD090 Funktionell programmering, SMD011/SMD12/SMD038 Imperativ programmering (eller SMD091 Projekt i datateknik för DTI) och SMD044/SMD056/SMD064. SYFTE/MÅL Kursen skall ge förmåga att förstå och göra formella beskrivningar av programspråk och att använda sådana för att specificera och verifiera program. INNEHÅLL Formella språk och grammatiker. Operationell, axiomatisk och denotationssemantik. Lambdakalkyl och domänteori. UNDERVISNING Lektioner. EXAMINATION Tentamen. KURSENS BETYGSKALA: U, 3, 4, 5 MOMENT/PROV | |
| Tentamen | 4.0poäng |
|
LITTERATUR Under framställning.
|
Kontaktperson: Torkel Franzen Ytterligare kursinformation: http://www.sm.luth.se/csee/courses/smd/index.html |
| Universitetet | Student | Forskning | Sök | Kontakta oss | In English |
 LULEÅ TEKNISKA UNIVERSITET Universitetsområdet, Porsön, 971 87 Luleå. Tel. 0920-91 000, fax 0920-91 399 |