Lehrender

		Raum	Sprechstunde
VO	Aart Middeldorp	3M07	Mittwoch	11:30 – 13:00

Zeit & Ort

VO

Mittwoch

13:15 – 15:00

HS 10

Some weeks there will be no lecture. Some other weeks there will be an additional lecture from 8:15 until 10:00 in HS 10. This is in particular the case for the first two lectures on March 7. Please check the actual schedule at the content page.

Sprache

The course is taught in English.

Anmeldung

Online registration is required until 23:59 on March 31.

Literatur

The following books cover many of the topics discussed in the course:

• Daniel Kroenig and Ofer Strichman, Decision Procedures – An Algorithmic Point of View, Springer, 2008, ISBN 978-3-540-74104-6
• Aaron Bradley and Zohar Manna, The Calculus of Computation, Springer, 2007, ISBN 978-3-540-74112-1

Slides will be made available online.

Sprache

The course is taught in English.

Grading

There will be a written and closed book exam on June 27, 13:00 – 15:00 in HS 10. Online registration is required before 10 am on June 26. When preparing for the exam, you may find exams of earlier semesters useful (but please be aware that this year's course covered more topics):

• SS 2011
• SS 2010
• SS 2009