en | de

Computational Logic

master program

no type  WS 2012/2013  no LVA number

Schedule

week date slides exercises
1 October 5 pdf (2x2) problem set 1
2 October 12 pdf (2x2) problem set 2
3 October 19 pdf (2x2) problem set 3
4 November 9 pdf (2x2)
5 November 16 pdf (2x2) problem set 4 (corr. 30.11.)
6 November 23 pdf (2x2) problem set 5
7 November 30 pdf (2x2, corr. 30.11.) problem set 6
8 December 7 pdf (2x2) problem set 7
9 December 14 pdf (2x2)
10 January 11 pdf (2x2) problem set 8
11 January 18 pdf (2x2) problem set 9
12 January 25 pdf (2x2)
13 February 8 1. exam