| 02100 Functional Programming |
| Danish title: Funktionsprogrammering |
|
Language: Danish ECTS-creditpoints: 10, External examination.
|
|
|
Exam schedule:
|
F4-A (jun 04 2002), E4-A (dec 18 2001) |
| Recommended semester: 1st - 4th semester |
| Scope and form: Lectures. Mandatory assignments. |
| Evaluation: Written exam
|
| Examination: 13-scale |
| Aim: The concept of functions is well known in mathematics. The main goal of this course is to show how all programs may be expressed by composition of suitable functions operating on entities called data structures. Formulating programs in a functional programming language leads to simpler and more readable programs thereby making it easier to investigate the mathematical properties of the programs. Functional programming forms the basis for the understanding of other programming languages as well as methods and theories in computer science in general. In addition students are introduced to techniques for describing and documenting programs including the use of datatypes to describe functions and data structures. Finally students are introduced to techniques allowing practical use of functional programming as a simple problem solving tool,and to program documentation. |
| Contents: Functional programming and programming techniques. Recursive functions. The datatype concept. Parameterization and polymorphism. Data representation, invariants. Binding and environments. Expression evaluation. Program construction and testing. Good practice for program documentation. Training in writing program documentation. |
Contact: Hans Bruun, building 322, (+45) 4525 3709, hab@imm.dtu.dk
Jens Thyge Kristensen, building 322, (+45) 4525 3711, jtk@imm.dtu.dk |
| Department: 002 Informatics and Mathematical Modelling |
| Course URL: http://www.imm.dtu.dk/courses/02100 |
| Keywords: Functional programming, Datatypes, Data structures, Modelling, Documentation |
| Updated: 03-05-2001 |
|
|
