02153 Declarative Modelling (Autumn 2007)

Study handbook: Description

Form: The course has two major parts, where one part is based on logical formalisms, while the other is based on functional formalisms:

Teachers: Jørgen Villadsen (logical part), Anne Haxthausen and Michael R. Hansen (functional part).

Lessons: Tuesday 13.00 - 17.00 (logical part) and Friday 8.30 - 12.00 (functional part).

G-databar reservations:

Textbooks: Available in the DTU bookstore. The major parts of both books will be covered in the course.

Last update: 24 August 2007