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).
Textbooks:Available in the DTU bookstore. The major parts of both books will be covered in the course.
Last update: 24 August 2007