en | de

Automated Theorem Proving

master program

VU3  SS 2020  703823


The course discusses automated theorem proving (including equality) for first-order logic, resolution and paramodulation, application of automated theorem provers to first-order logic.


week date slides solutions remarks
1 19.05 pdf pdf
2 26.05 pdf pdf
3 02.06 pdf pdf 3.tgz
4 09.06 pdf pdf 4.ml
5 16.06 pdf pdf 5.tgz
6 23.06 pdf the assignments for the last lecture are the (virtual) exam