|
49352 Semantik
| |
Engelsk titel: Semantics
| |
| | Type: | Å, Sprog: E |
| basiskursus |
|
|
Point:
5 point |
|
| Udbydes af:
Institut for Informationsteknologi
(IT) |
| Faglige forudsætninger: 49233 (senest samtidig)/49232 |
| Vejledende semester:
Sidst i studiet. |
| Undervisningsform: Forelæsninger, grupperegning. |
| Evalueringsform:
Skriftlig eksamen
(13-skala
) |
| Kontaktperson: |
Bo Stig Hansen, IT, bygn. 344, tlf. 4525 3735 E-mail: bsh@it.dtu.dk |
|
| 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. |
|
|
