Pearls of Computer Science 3 (IN2176)
Winter 2012/13
Andrey Rybalchenko,
Corneliu Popeea
News
- 10.12.2012: First homework has been posted
- 15.10.2012: Homepage online
Sylabus
A decision procedure is an algorithm that, given a decision problem,
terminates with a correct answer yes/no. In this course, we will
concentrate on decision procedures for some first-order theories
useful in the context of automated verification and reasoning.
Material
- 3.12.2012: Recap of logic. Read Tom Henzinger's
"How To Write a Proof".
- 10.12.2012: Propositional logic continued (pdf), decision procedure for propositional logic (pdf)
Tutorials and homeworks
10.12.2012: Tutorial 1 + homework 1 (tutorial1.pdf,
tutorial1.tgz)
Literature
Daniel Kroening, Ofer Strichman: Decision Procedures: An Algorithmic Point of View.
(webpage)