703027 Logic
winter semester 2015/2016 | Last update: 24.09.2015 | Place course on memo listStudents who have completed this module understand the topics covered in the lecture, and are able to express and apply them. They are able to independently acquire similar knowledge. They understand logical calculi and can apply them. Moreover they are able to model complex problems abstractly in formal calculi.
Discussion, deepening and practicing the contents of the lecture; practicing of scientific argumentation and the presentation of formal content
Weekly exercises that are presented and discussed in the Proseminar
Continuous assessment of course work
Michael Huth and Mark Ryan
Logic in Computer Science (second edition)
Cambridge University Press, 2004
ISBN 0-521-54310-X (paperback
Slides as well as solutions to selected exercises will be made available online.
- Faculty of Mathematics, Computer Science and Physics
Group 1
|
||||
---|---|---|---|---|
van Oostrom V. | ||||
Date | Time | Location | ||
Thu 2015-10-08
|
10.15 - 12.00 | HS 10 HS 10 | Barrier-free | |
Thu 2015-10-15
|
10.15 - 12.00 | HS 10 HS 10 | Barrier-free | |
Thu 2015-10-22
|
10.15 - 12.00 | HS 10 HS 10 | Barrier-free | |
Thu 2015-10-29
|
10.15 - 12.00 | HS 10 HS 10 | Barrier-free | |
Thu 2015-11-05
|
10.15 - 12.00 | HS 10 HS 10 | Barrier-free | |
Thu 2015-11-12
|
10.15 - 12.00 | HS 10 HS 10 | Barrier-free | |
Thu 2015-11-19
|
10.15 - 12.00 | HS 10 HS 10 | Barrier-free | |
Thu 2015-11-26
|
10.15 - 12.00 | HS 10 HS 10 | Barrier-free | |
Thu 2015-12-03
|
10.15 - 12.00 | HS 10 HS 10 | Barrier-free | |
Thu 2015-12-10
|
10.15 - 12.00 | HS 10 HS 10 | Barrier-free | |
Thu 2015-12-17
|
10.15 - 12.00 | HS 10 HS 10 | Barrier-free | |
Thu 2016-01-14
|
10.15 - 12.00 | HS 10 HS 10 | Barrier-free | |
Thu 2016-01-21
|
10.15 - 12.00 | HS 10 HS 10 | Barrier-free | |
Thu 2016-01-28
|
10.15 - 12.00 | HS 10 HS 10 | Barrier-free | |
Thu 2016-02-04
|
10.15 - 12.00 | HS 10 HS 10 | Barrier-free | |
Group 2
|
||||
Nagele J. | ||||
Date | Time | Location | ||
Thu 2015-10-08
|
10.15 - 12.00 | SR 13 SR 13 | Barrier-free | |
Thu 2015-10-15
|
10.15 - 12.00 | SR 13 SR 13 | Barrier-free | |
Thu 2015-10-22
|
10.15 - 12.00 | SR 13 SR 13 | Barrier-free | |
Thu 2015-10-29
|
10.15 - 12.00 | SR 13 SR 13 | Barrier-free | |
Thu 2015-11-05
|
10.15 - 12.00 | SR 13 SR 13 | Barrier-free | |
Thu 2015-11-12
|
10.15 - 12.00 | SR 13 SR 13 | Barrier-free | |
Thu 2015-11-19
|
10.15 - 12.00 | SR 13 SR 13 | Barrier-free | |
Thu 2015-11-26
|
10.15 - 12.00 | SR 13 SR 13 | Barrier-free | |
Thu 2015-12-03
|
10.15 - 12.00 | SR 13 SR 13 | Barrier-free | |
Thu 2015-12-10
|
10.15 - 12.00 | SR 13 SR 13 | Barrier-free | |
Thu 2015-12-17
|
10.15 - 12.00 | SR 13 SR 13 | Barrier-free | |
Thu 2016-01-14
|
10.15 - 12.00 | SR 13 SR 13 | Barrier-free | |
Thu 2016-01-21
|
10.15 - 12.00 | SR 13 SR 13 | Barrier-free | |
Thu 2016-01-28
|
10.15 - 12.00 | SR 13 SR 13 | Barrier-free | |
Thu 2016-02-04
|
10.15 - 12.00 | SR 13 SR 13 | Barrier-free | |
Group 3
|
||||
van Oostrom V. | ||||
Date | Time | Location | ||
Thu 2015-10-08
|
12.15 - 14.00 | HS 10 HS 10 | Barrier-free | |
Thu 2015-10-15
|
12.15 - 14.00 | HS 10 HS 10 | Barrier-free | |
Thu 2015-10-22
|
12.15 - 14.00 | HS 10 HS 10 | Barrier-free | |
Thu 2015-10-29
|
12.15 - 14.00 | HS 10 HS 10 | Barrier-free | |
Thu 2015-11-05
|
12.15 - 14.00 | HS 10 HS 10 | Barrier-free | |
Thu 2015-11-12
|
12.15 - 14.00 | HS 10 HS 10 | Barrier-free | |
Thu 2015-11-19
|
12.15 - 14.00 | HS 10 HS 10 | Barrier-free | |
Thu 2015-11-26
|
12.15 - 14.00 | HS 10 HS 10 | Barrier-free | |
Thu 2015-12-03
|
12.15 - 14.00 | HS 10 HS 10 | Barrier-free | |
Thu 2015-12-10
|
12.15 - 14.00 | HS 10 HS 10 | Barrier-free | |
Thu 2015-12-17
|
12.15 - 14.00 | HS 10 HS 10 | Barrier-free | |
Thu 2016-01-14
|
12.15 - 14.00 | HS 10 HS 10 | Barrier-free | |
Thu 2016-01-21
|
12.15 - 14.00 | HS 10 HS 10 | Barrier-free | |
Thu 2016-01-28
|
12.15 - 14.00 | HS 10 HS 10 | Barrier-free | |
Thu 2016-02-04
|
12.15 - 14.00 | HS 10 HS 10 | Barrier-free | |
Group 4
|
||||
Sternagel C. | ||||
Date | Time | Location | ||
Thu 2015-10-08
|
14.15 - 16.00 | HS 10 HS 10 | Barrier-free | |
Thu 2015-10-15
|
14.15 - 16.00 | HS 10 HS 10 | Barrier-free | |
Thu 2015-10-22
|
14.15 - 16.00 | HS 10 HS 10 | Barrier-free | |
Thu 2015-10-29
|
14.15 - 16.00 | HS 10 HS 10 | Barrier-free | |
Thu 2015-11-05
|
14.15 - 16.00 | HS 10 HS 10 | Barrier-free | |
Thu 2015-11-12
|
14.15 - 16.00 | HS 10 HS 10 | Barrier-free | |
Thu 2015-11-19
|
14.15 - 16.00 | HS 10 HS 10 | Barrier-free | |
Thu 2015-11-26
|
14.15 - 16.00 | HS 10 HS 10 | Barrier-free | |
Thu 2015-12-03
|
14.15 - 16.00 | HS 10 HS 10 | Barrier-free | |
Thu 2015-12-10
|
14.15 - 16.00 | HS 10 HS 10 | Barrier-free | |
Thu 2015-12-17
|
14.15 - 16.00 | HS 10 HS 10 | Barrier-free | |
Thu 2016-01-14
|
14.15 - 16.00 | HS 10 HS 10 | Barrier-free | |
Thu 2016-01-21
|
14.15 - 16.00 | HS 10 HS 10 | Barrier-free | |
Thu 2016-01-28
|
14.15 - 16.00 | HS 10 HS 10 | Barrier-free | |
Thu 2016-02-04
|
14.15 - 16.00 | HS 10 HS 10 | Barrier-free |