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:

• Think like a logician
• Enjoy the Prolog language

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

Links

• Artificial Intelligence
• Automated Reasoning
• Computational Linguistics
• Computer Science
• Declarative Programming
• Formal Methods
• Intelligent Agent
• Logic
• Logic Programming
• Mathematics
• Prolog
• Software Engineering
• Systems Engineering

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