Online activities
- Lectures/exercises will be held online using Google
Classroom/Meet:
Lecture notes
- Lecture notes will be made available via the Classroom.
- An earlier version of the lecture notes is available >>here<<.
Reading material
- Bruno Buchberger, Logic
for Computer Science, Unpublished lecture notes, Copyright
Bruno Buchberger, 1991. (get the
pdf version here)
- Zohar Manna, Richard Waldinger,
The Logical Basis for Computer
Programming, Volume 1: Deductive Reasoning, Addison Wesley,
1985.
- Mordechai Ben-Ari, Mathematical Logic for Computer
Science, Third Edition, Springer Verlag London, 2009.
- John Harrison, Handbook
of Practical Logic and Automated Reasoning, Cambridge
University Press, 2009.
- Daniel J. Velleman, How to Prove It: A
Structured Approach, Second Edition, Cambridge University
Press, 2006.