en | de

Automatisches Theorembeweisen

Masterstudium

VU3  SS 2020  703823

Lehrender

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

Zeit & Ort

VU Dienstag09:15 – 12:00 no room (virtual teaching)
Donnerstag13: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.