# 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)