Logic for Computer Science – Exercises

Exercise sheet 1 (11.04.2002) [PS] [PDF]

Exercise sheet 2 (18.04.2002) [PS] [PDF]
Solution for Exercise 2.4

Exercise sheet 3 (25.04.2002) [PS] [PDF]

Exercise sheet 4 (02.05.2002) [PS] [PDF]

Exercise sheet 5 (10.05.2002) [PS] [PDF]
Solution for Exercise 5.5

Exercise sheet 6 (16.05.2002) [PS] [PDF]

Exercise sheet 7 (23.05.2002) [PS] [PDF]

Exercise sheet 8 (06.06.2002) [PS] [PDF]

Exercise sheet 9 (13.06.2002) [PS] [PDF]

Exercise sheet 10 (20.06.2002) [PS] [PDF]

Exercise sheet 11 (27.06.2002) [PS] [PDF]

Exercise sheet 12 (04.07.2002) [PS] [PDF]
Sample solution [PS] [PDF]


Previous | Up | Next
Uwe Waldmann <uwe@mpi-inf.mpg.de>, 2002-07-12.
Imprint | Data Protection