703027 Logic

winter semester 2016/2017 | Last update: 19.10.2016 Place course on memo list
703027
Logic
PS 2
3
weekly
annually
German

Students 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.

not applicable
see dates
Group 1
van Oostrom V.
Date Time Location
Thu 2016-10-06
10.15 - 12.00 HS 10 HS 10 Barrier-free
Thu 2016-10-13
10.15 - 12.00 HS 10 HS 10 Barrier-free
Thu 2016-10-20
10.15 - 12.00 HS 10 HS 10 Barrier-free
Thu 2016-10-27
10.15 - 12.00 HS 10 HS 10 Barrier-free
Thu 2016-11-03
10.15 - 12.00 HS 10 HS 10 Barrier-free
Thu 2016-11-10
10.15 - 12.00 HS 10 HS 10 Barrier-free
Thu 2016-11-17
10.15 - 12.00 HS 10 HS 10 Barrier-free
Thu 2016-11-24
10.15 - 12.00 HS 10 HS 10 Barrier-free
Thu 2016-12-01
10.15 - 12.00 HS 10 HS 10 Barrier-free
Thu 2016-12-15
10.15 - 12.00 HS 10 HS 10 Barrier-free
Thu 2017-01-12
10.15 - 12.00 HS 10 HS 10 Barrier-free
Thu 2017-01-19
10.15 - 12.00 HS 10 HS 10 Barrier-free
Thu 2017-01-26
10.15 - 12.00 HS 10 HS 10 Barrier-free
Thu 2017-02-02
10.15 - 12.00 HS 10 HS 10 Barrier-free
Group 2
Nagele J.
Date Time Location
Thu 2016-10-06
10.15 - 12.00 SR 13 SR 13 Barrier-free
Thu 2016-10-13
10.15 - 12.00 SR 13 SR 13 Barrier-free
Thu 2016-10-20
10.15 - 12.00 SR 13 SR 13 Barrier-free
Thu 2016-10-27
10.15 - 12.00 SR 13 SR 13 Barrier-free
Thu 2016-11-03
10.15 - 12.00 SR 13 SR 13 Barrier-free
Thu 2016-11-10
10.15 - 12.00 SR 13 SR 13 Barrier-free
Thu 2016-11-17
10.15 - 12.00 SR 13 SR 13 Barrier-free
Thu 2016-11-24
10.15 - 12.00 SR 13 SR 13 Barrier-free
Thu 2016-12-01
10.15 - 12.00 SR 13 SR 13 Barrier-free
Thu 2016-12-15
10.15 - 12.00 SR 13 SR 13 Barrier-free
Thu 2017-01-12
10.15 - 12.00 SR 13 SR 13 Barrier-free
Thu 2017-01-19
10.15 - 12.00 SR 13 SR 13 Barrier-free
Thu 2017-01-26
10.15 - 12.00 SR 13 SR 13 Barrier-free
Thu 2017-02-02
10.15 - 12.00 SR 13 SR 13 Barrier-free
Group 3
Sternagel C.
Date Time Location
Thu 2016-10-06
13.15 - 15.00 HS 10 HS 10 Barrier-free
Thu 2016-10-13
13.15 - 15.00 HS 10 HS 10 Barrier-free
Thu 2016-10-20
13.15 - 15.00 HS 10 HS 10 Barrier-free
Thu 2016-10-27
13.15 - 15.00 HS 10 HS 10 Barrier-free
Thu 2016-11-03
13.15 - 15.00 HS 10 HS 10 Barrier-free
Thu 2016-11-10
13.15 - 15.00 HS 10 HS 10 Barrier-free
Thu 2016-11-17
13.15 - 15.00 HS 10 HS 10 Barrier-free
Thu 2016-11-24
13.15 - 15.00 HS 10 HS 10 Barrier-free
Thu 2016-12-01
13.15 - 15.00 HS 10 HS 10 Barrier-free
Thu 2016-12-15
13.15 - 15.00 HS 10 HS 10 Barrier-free
Thu 2017-01-12
13.15 - 15.00 HS 10 HS 10 Barrier-free
Thu 2017-01-19
13.15 - 15.00 HS 10 HS 10 Barrier-free
Thu 2017-01-26
13.15 - 15.00 HS 10 HS 10 Barrier-free
Thu 2017-02-02
13.15 - 15.00 HS 10 HS 10 Barrier-free
Group 4
Rapp F.
Date Time Location
Thu 2016-10-06
10.15 - 12.00 HS 11 HS 11 Barrier-free
Thu 2016-10-13
10.15 - 12.00 HS 11 HS 11 Barrier-free
Thu 2016-10-20
10.15 - 12.00 HS 11 HS 11 Barrier-free
Thu 2016-10-27
10.15 - 12.00 HS 11 HS 11 Barrier-free
Thu 2016-11-03
10.15 - 12.00 HS 11 HS 11 Barrier-free
Thu 2016-11-10
10.15 - 12.00 HS 11 HS 11 Barrier-free
Thu 2016-11-17
10.15 - 12.00 HS 11 HS 11 Barrier-free
Thu 2016-11-24
10.15 - 12.00 HS 11 HS 11 Barrier-free
Thu 2016-12-01
10.15 - 12.00 HS 11 HS 11 Barrier-free
Thu 2016-12-15
10.15 - 12.00 HS 11 HS 11 Barrier-free
Thu 2017-01-12
10.15 - 12.00 HS 11 HS 11 Barrier-free
Thu 2017-01-19
10.15 - 12.00 HS 11 HS 11 Barrier-free
Thu 2017-01-26
10.15 - 12.00 HS 11 HS 11 Barrier-free
Thu 2017-02-02
10.15 - 12.00 HS 11 HS 11 Barrier-free