703027 Logik

Wintersemester 2016/2017 | Stand: 19.10.2016 LV auf Merkliste setzen
703027
Logik
PS 2
3
wöch.
jährlich
Deutsch

Absolventinnen und Absolventen dieses Moduls verstehen die Inhalte der Vorlesung und können diese wiedergeben und anwenden. Sie haben die Fertigkeit erworben, sich ähnliche Inhalte selbst zu erarbeiten. Sie verstehen Logik-Kalküle und können sie anwenden. Darüber hinaus sind sie in der Lage zu abstrahieren und komplexe Probleme in formalen Kalkülen zu modellieren.

Diskussion, Vertiefung und Übung der Inhalte der Vorlesung; Übung im wissenschaftlichen Argumentieren und im Präsentieren von Themen aus der Logik

Wöchentliche Übungsaufgaben, die im Proseminar von den Studierenden präsentiert und diskutiert werden

Prüfungsimmanente Lehrveranstaltung

Michael Huth and Mark Ryan
Logic in Computer Science (second edition)
Cambridge University Press, 2004
ISBN 0-521-54310-X (paperback)

Folien sowie Lösungen zu ausgewählten Aufgaben werden online zur Verfügung gestellt.

siehe Termine
Gruppe 1
van Oostrom V.
Datum Uhrzeit Ort
Do 06.10.2016
10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 13.10.2016
10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 20.10.2016
10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 27.10.2016
10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 03.11.2016
10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 10.11.2016
10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 17.11.2016
10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 24.11.2016
10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 01.12.2016
10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 15.12.2016
10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 12.01.2017
10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 19.01.2017
10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 26.01.2017
10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 02.02.2017
10.15 - 12.00 HS 10 HS 10 Barrierefrei
Gruppe 2
Nagele J.
Datum Uhrzeit Ort
Do 06.10.2016
10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 13.10.2016
10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 20.10.2016
10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 27.10.2016
10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 03.11.2016
10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 10.11.2016
10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 17.11.2016
10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 24.11.2016
10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 01.12.2016
10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 15.12.2016
10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 12.01.2017
10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 19.01.2017
10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 26.01.2017
10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 02.02.2017
10.15 - 12.00 SR 13 SR 13 Barrierefrei
Gruppe 3
Sternagel C.
Datum Uhrzeit Ort
Do 06.10.2016
13.15 - 15.00 HS 10 HS 10 Barrierefrei
Do 13.10.2016
13.15 - 15.00 HS 10 HS 10 Barrierefrei
Do 20.10.2016
13.15 - 15.00 HS 10 HS 10 Barrierefrei
Do 27.10.2016
13.15 - 15.00 HS 10 HS 10 Barrierefrei
Do 03.11.2016
13.15 - 15.00 HS 10 HS 10 Barrierefrei
Do 10.11.2016
13.15 - 15.00 HS 10 HS 10 Barrierefrei
Do 17.11.2016
13.15 - 15.00 HS 10 HS 10 Barrierefrei
Do 24.11.2016
13.15 - 15.00 HS 10 HS 10 Barrierefrei
Do 01.12.2016
13.15 - 15.00 HS 10 HS 10 Barrierefrei
Do 15.12.2016
13.15 - 15.00 HS 10 HS 10 Barrierefrei
Do 12.01.2017
13.15 - 15.00 HS 10 HS 10 Barrierefrei
Do 19.01.2017
13.15 - 15.00 HS 10 HS 10 Barrierefrei
Do 26.01.2017
13.15 - 15.00 HS 10 HS 10 Barrierefrei
Do 02.02.2017
13.15 - 15.00 HS 10 HS 10 Barrierefrei
Gruppe 4
Rapp F.
Datum Uhrzeit Ort
Do 06.10.2016
10.15 - 12.00 HS 11 HS 11 Barrierefrei
Do 13.10.2016
10.15 - 12.00 HS 11 HS 11 Barrierefrei
Do 20.10.2016
10.15 - 12.00 HS 11 HS 11 Barrierefrei
Do 27.10.2016
10.15 - 12.00 HS 11 HS 11 Barrierefrei
Do 03.11.2016
10.15 - 12.00 HS 11 HS 11 Barrierefrei
Do 10.11.2016
10.15 - 12.00 HS 11 HS 11 Barrierefrei
Do 17.11.2016
10.15 - 12.00 HS 11 HS 11 Barrierefrei
Do 24.11.2016
10.15 - 12.00 HS 11 HS 11 Barrierefrei
Do 01.12.2016
10.15 - 12.00 HS 11 HS 11 Barrierefrei
Do 15.12.2016
10.15 - 12.00 HS 11 HS 11 Barrierefrei
Do 12.01.2017
10.15 - 12.00 HS 11 HS 11 Barrierefrei
Do 19.01.2017
10.15 - 12.00 HS 11 HS 11 Barrierefrei
Do 26.01.2017
10.15 - 12.00 HS 11 HS 11 Barrierefrei
Do 02.02.2017
10.15 - 12.00 HS 11 HS 11 Barrierefrei