Logic for computer science 2008/9

Rules for passing the course
declarations
Lecture notes: 1-2 3 4 5 6 7 8 9 10 11 12
Lists of exercises: 1 2 3 4 5 6 7 8 9 10 11 12
Class ranking
midterm results
results of the first part and complete results of the final exam
solutions from the final exam may be viewed on Thursday Feb 12 or Monday Feb 16 around noon
results of the make-up exam

Books and other sources that may be helpful

Any textbook that gives an introduction to logic or set theory may be helpful. In particular there are (some chapters of)

Kenneth A. Ross, Charles R.B. Wright, Discrete mathematics
Michael Huth, Mark Ryan, Logic in Computer Science: Modelling and Reasoning about Systems
Mordechai Ben-Ari, Mathematical logic for computer science
Kazimierz Kuratowski, Introduction to Set Theory and Topology

Other sources of information include wikipedia (like here or here or here) and web pages of other courses (like here or here)

Important dates

Event	Date	Hours
Midterm exam	5 Dec 2008	16:00-19:00
Final exam	3 Feb 2009	10:00-14:00	room 25
Make-up exam	17 Feb 2009	10:00-14:00