Luleå tekniska universitet
hemsidan sök kontakta oss student
Studiehandboken 01/02


Systemteknik

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

Gäller för läsåret 01/02.
Ansvarig för sidan: Karin.Lindholm@dc.luth.se

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
Last edited 2001-12-17