News
September 27, 2012: marks
Third exam has been corrected,
marks will be available on LFU shortly; if we want to see your paper, please contact or come direct (in the office hours) to Georg Moser
March 28, 2012: marks
Second exam has been corrected,
marks will be available on LFU shortly; if we want to see your paper, please contact or come direct (in the office hours) to Georg Moser
March 14, 2012
The master curriculum will be most likely changed on October 1 without transition period. In the new curriculum this course is
no longer mandatory for all students of Computer Science and will be replaced by a course on Computational Logic.
Feb 24, 2012: marks
First exam has been corrected, marks will be available on LFU shortly; negative results have been communicated directly
Jan 25, 2012: exam
Please do not forget to register for the exam
Jan 25, 2012: solution set
Solution set 3 is online
Dec 12, 2011: problem sets
Problem sets 7 and 8 are online
Dec 5, 2011: selected solutions
Second Solution Set is online. In order to reflect the discussion during the
homework session Problem Set 5 has been adapted.
Nov 30, 2011: new problem set
Problem Set 6 is online
Nov 21, 2011: errata
Errata for Chapter 1-6 are online
Nov 21, 2011: new problem set
Problem Set 5 is online
Nov 20, 2011: change of lecture room
Due to unknown reasons the lecture has been moved to HS G for Monday, November 21.
Nov 7, 2011: selected solutions
First solution set is online, see here.
problem sets
Problem sets 2 to 4 are online, see here.
problem set
First problem set is online, see here.
lecture notes
The lecture notes are online (within the university network), see here.