Computer Science

Graduate course

Course abstract

The course comprises fundamental concepts of programming: functional, imperative, and object-oriented programming languages; how to structure and test programs; how to assess the efficiency and correctness of programs; efficient algorithms and data structures. As far as possible, we will accommodate special interests and needs of the participants, in particular as related to their main project.

The various versions of the course differ mostly in the number of subjects studied. Usually a subject is covered by one textbook, or by one textbook plus additional notes.

Any substantial version of the course ought to include the writing of a project report (module e), usually related to the participants' main project.

Keywords

Computer science, programming, algorithms and data structures, numerical methods.

Course credit

9 to 30 ECTS, depending on the course version.

Course arrangements

Individual; typically one or two semesters.

Course period

Individually agreed upon.

Type of evaluation

Project (program construction and documentation), plus oral examination if course credit exceeds 9 ECTS.

Teaching arrangements

One or two semesters, according to version of the course, and accommodating the participants' time schedule as far as possible. Self-study, seminars, consultations, evaluation of solved exercises, individual project report related to the main PhD project.

Teacher

Peter Sestoft

Course material

Some example textbooks:

L.C. Paulson: ML for the Working Programmer, Cambridge, 1996
Cormen, Leiserson, Rivest: Introduction to algorithms, The MIT Press, 1990
John Lewis and William Loftus: Java Software Solutions. Addison-Wesley 2001.
Bruce Eckel: Thinking in C++
Lecture notes on program efficiency and correctness.
Lecture notes on systematic test.

Further information and registration

Peter Sestoft
Department of Mathematics and Physics
Phone: +45 35 28 23 34
E-mail: sestoft@dina.kvl.dk

Students must contact the teacher(s) for arrangements before signing up for the course.