| |
| Previous course: C4313 |
| Offered by:
Department of Information Technology
(IT) |
| No credit points with: 49135/C4305/C4328/C4313/49136/37 |
| Prerequisite: C0115/01015/C0116/01016.49104/05/21390/C2180/ C3733/ C4051/C4052/C5521/C6908/77142/C8411/C8877 |
| Recommended semester:
1st - 4th semester |
| Scope and form: Lectures, mandatory exercises, mandatory report. |
| Examination:
Approval of compulsory activities is a prerequisite for taking part in the exam. Written exam
(13 point scale
) |
| Contact person: |
Jens Thyge Kristensen, IT, Building 344, Tel. +45 4525 3711E-mail: jkt@it.dtu.dk |
|
| Aim: To introduce participants to techniques for designing and documenting programs and program systems. To give students an understanding of the concepts of functions and datatypes and their applications, so that they will be able to express programs as functions and types. Furthermore, it is the aim of the course to give the students practical skills in the use of functional programming languages for modelling and problem solving, and in transforming a functional description into an imperative program. |
| Contents: Definition and use of recursive data types. Functional programming languages and programming technique. Parameterisation and Polymorphism. |
