02242 (2006/2007)

02242 Program analyse

Engelsk titel:

Program analysis

Sprog:

Engelsk

Point (ECTS )

7.5

Kursustype:

Kursus for civilingeniørstuderende- Videregående Kursus
Kurset udbydes under Tompladsordningen

Undervisningsform:

Forelæsninger og opgaveregning.

Kursets varighed:

13-uger

Evalueringsform:

Mundtlig eksamen og bedømmelse af rapport(er)
Der udarbejdes en rapport som mundtlig fremlægges.

Hjælpemidler:

Uden hjælpemidler

Bedømmelsesform:

13-skala, ekstern censur

Faglige forudsætninger:

02141, Beherskelse af programmering i imperative og/eller funktionelle sprog; herunder algoritmer og datastrukturer. Forståelse af teori og anvendelser af regulære og kontekstfrie sprog; herunder diskret matematik med færdigheder i simple bevisteknikker.

Overordnede kursusmål:
Se engelske beskrivelse.
Kursusindhold:
Se engelske beskrivelse.
Litteratur::
Kurset er baseret på "Principles of Program Analysis" af F. Nielson, H. Riis Nielson og C. Hankin (Springer, 1999, ISBN 3-540-65410-0)
Kursusansvarlig:
Hanne Riis Nielson, 322, 114, (+45) 4525 3736, riis@imm.dtu.dk
Institut:	02 Informatik og Matematisk Modellering
Kursushjemmeside:	http://www.imm.dtu.dk/courses/02242

Sidst opdateret: 30. juni, 2006

02242 Program analyse

Engelsk titel:

Sprog:

Point (ECTS )

Kursustype:

Skemaplacering:

Undervisningsform:

Kursets varighed:

Eksamensplacering:

Evalueringsform:

Hjælpemidler:

Bedømmelsesform:

Faglige forudsætninger:

Overordnede kursusmål:

Kursusindhold:

Litteratur::

Kursusansvarlig:

Institut:

Kursushjemmeside: