DTU
Uddannelse
Forrige side | Gældende version Arkiv 1999/2000 
 
49352 Semantik
Engelsk titel: Semantics
Sprog: engelsk Point: 5
Type: basiskursus, udbydes under åben uddannelse
Sprog: engelsk

Faglige forudsætninger: 49233 (senest samtidig)/49232
Vejledende placering: Sidst i studiet.
Undervisningsform: Forelæsninger, grupperegning.
Evalueringsform Skriftlig eksamen
Karakter: 13-skala
Kontaktperson: Dines Bjørner, bygn. 322, tlf. 4525 3720, email db@it.dtu.dk, http://www.it.dtu.dk/~db

Kursets netadresse: http://www.it.dtu.dk/c49352
Institut: Institut for Informationsteknologi
Studieudvalg: MIFSU
Kursusmål: Kurset henvender sig til studerende, som ønsker at få kendskab til og erfaringer med brug af begreber og teknikker til definition af programmeringssprog. Dette vil være relevant ved design af stort set alle former for programmel, som har en sproglig grænseflade. Herunder specielt oversættere og fortolkere for generelle programmeringssprog, men også fortolkere for forespørgsels-sprog, makro-sprog, kommando-sprog, inddata-sprog mv. Deltagerne bør opnå færdighed i at læse og ræsonnere om beskrivelser af programmeringssprog i almindeligt brugte notationer, Desuden bør de opnå en forståelse af hovedprincipper, som findes anvendt i kendte programmeringssprog f.eks. vedrørende parameteroverførsel, virkefelter mv.
Kursusindhold: Principper for denotations-, operationel- og aksiomatisk semantik samt anvendelse af disse.