en | de

Automated Theorem Proving

master program

VO2 + PS1  WS 2013/2014  703608 + 703609

Schedule

week date slides exercises
1 October 2 no exercises
2 October 9
3 October 16
4 October 23
5 October 30
6 November 6 no lecture no exercises
7 November 13
8 November 20 corr.
9 November 27
10 December 4 corr.
11 December 11
12 January 8
13 January 15 corr.
14 January 22
15 January 29 1. exam