Lehrender

		Raum	Sprechstunde
VU	Cezary Kaliszyk	3M12	Mittwoch	11:15 – 12:45

Zeit & Ort

VU		Dienstag	09:15 – 12:00	no room (virtual teaching)
		Donnerstag	13:15 – 16:00	no room (virtual teaching)

This course is part of the elective module Automated Reasoning of the master program in Computer Science. The other course in this module is Computational Logic. Computational Logic is taught in the first half of the semester, Automated Theorem Proving in the second half.

Benotung

The course will be evaluated by means of assignments, and a final exam, all contributing equally to the final grade.