DTU Course 02156 Logical Systems and Logic Programming

Welcome to the course homepage - in short the aim of the course is to enable you to:

The exam is 2 hours with a number of mandatory assignments during the 13 weeks of the course.

Please visit the official course description for details.

Further information will be available in CampusNet


Jørgen Villadsen 2012-07-03 www.imm.dtu.dk/courses/02156