en | de

Logic

bachelor program

VO3 + PS2  WS 2016/2017  703026 + 703027


Content

The course provides an introduction to logic and model checking. The following topics are discussed:

Schedule

week date slides exercises solutions material
1 03.10 & 06.10 pdf (1x1, 4x1) pdf pdf
2 10.10 & 13.10 pdf (1x1, 4x1) pdf pdf link
3 17.10 & 20.10 pdf (1x1, 4x1) pdf pdf link
4 24.10 & 27.10 pdf (1x1, 4x1) pdf pdf link
5 31.10 & 03.11 pdf (1x1, 4x1) pdf pdf
6 07.11 & 10.11 pdf (1x1, 4x1) pdf pdf
7 14.11 & 17.11 pdf (1x1, 4x1) pdf pdf link
8 21.11 & 24.11 pdf (1x1, 4x1) pdf pdf
9 28.11 & 01.12 pdf (1x1, 4x1) pdf pdf
10 05.12 & 08.12 pdf (1x1, 4x1) pdf pdf
11 12.12 & 15.12 pdf (1x1, 4x1) pdf pdf
12 09.01 & 12.01 pdf (1x1, 4x1) pdf pdf
13 16.01 & 19.01 pdf (1x1, 4x1) pdf pdf
14 23.01 & 26.01 pdf (1x1, 4x1) pdf
15 30.01 & 02.02 (exam) pdf (1x1, 4x1)

Literature

The course is largely based on the following book: Slides as well as solutions to selected exercises will be made available online.