en | de

Automated Theorem Proving

master program

VO2 + PS1  SS 2017  703608 + 703609

Schedule

week date slides exercises
1 May 15 pdf (2x2) problem set 1
2 May 22 pdf (2x2)
3 May 29 pdf (2x2) problem set 2
4 June 12 pdf (2x2)
5 June 19 pdf (2x2) problem set 3
6 June 26 pdf (2x2)
7 July 3 1. exam