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:

• Course plan for the logical part
• Course plan for the functional part

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).

• The lessons start with lectures in building 308, auditorium 11, and continue with exercises in the same room or in the G-databar.

G-databar reservations:

• Tuesday 15.00 - 17.00: building 303, databar/auditorium 43 (logical part)
• Friday 10.00 - 12.00: building 303, databar/auditorium 47 (functional part)

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

• Logical part: Mathematical Logic for Computer Science [Second Edition], M. Ben-Ari, Springer 2001.
• Functional part: Introduction to Programming using SML, Michael R. Hansen and Hans Rischel, Addison-Wesley 1999.

Last update: 24 August 2007