en | de

Computational Logic

master program

no type  WS 2013/2014  no LVA number

Schedule

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