703027 Logik

Wintersemester 2014/2015 | Stand: 26.05.2015 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.

09.10.2014
Gruppe 1
Middeldorp A.
Datum Uhrzeit Ort
Do 02.10.2014
10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 09.10.2014
10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 16.10.2014
10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 23.10.2014
10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 30.10.2014
10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 06.11.2014
10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 13.11.2014
10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 20.11.2014
10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 27.11.2014
10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 04.12.2014
10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 11.12.2014
10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 08.01.2015
10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 15.01.2015
10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 22.01.2015
10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 29.01.2015
10.15 - 12.00 HS 10 HS 10 Barrierefrei
Gruppe 2
Zankl H.
Datum Uhrzeit Ort
Do 02.10.2014
10.15 - 12.00 HSB 4 HSB 4 Barrierefrei
Do 09.10.2014
10.15 - 12.00 HSB 4 HSB 4 Barrierefrei
Do 16.10.2014
10.15 - 12.00 HSB 4 HSB 4 Barrierefrei
Do 23.10.2014
10.15 - 12.00 HSB 4 HSB 4 Barrierefrei
Do 30.10.2014
10.15 - 12.00 HSB 4 HSB 4 Barrierefrei
Do 06.11.2014
10.15 - 12.00 HSB 4 HSB 4 Barrierefrei
Do 13.11.2014
10.15 - 12.00 HSB 4 HSB 4 Barrierefrei
Do 20.11.2014
10.15 - 12.00 HSB 4 HSB 4 Barrierefrei
Do 27.11.2014
10.15 - 12.00 HSB 4 HSB 4 Barrierefrei
Do 04.12.2014
10.15 - 12.00 HSB 4 HSB 4 Barrierefrei
Do 11.12.2014
10.15 - 12.00 HSB 4 HSB 4 Barrierefrei
Do 08.01.2015
10.15 - 12.00 HSB 4 HSB 4 Barrierefrei
Do 15.01.2015
10.15 - 12.00 HS E (Technik) HS E (Technik) Barrierefrei
Do 22.01.2015
10.15 - 12.00 HS E (Technik) HS E (Technik) Barrierefrei
Do 29.01.2015
10.15 - 12.00 HS E (Technik) HS E (Technik) Barrierefrei
Gruppe 3
Savoye Y.
Datum Uhrzeit Ort
Do 02.10.2014
12.15 - 14.00 HS 10 HS 10 Barrierefrei
Do 09.10.2014
12.15 - 14.00 HS 10 HS 10 Barrierefrei
Do 16.10.2014
12.15 - 14.00 HS 10 HS 10 Barrierefrei
Do 23.10.2014
12.15 - 14.00 HS 10 HS 10 Barrierefrei
Do 30.10.2014
12.15 - 14.00 HS 10 HS 10 Barrierefrei
Do 06.11.2014
12.15 - 14.00 HS 10 HS 10 Barrierefrei
Do 13.11.2014
12.15 - 14.00 HS 10 HS 10 Barrierefrei
Do 20.11.2014
12.15 - 14.00 HS 10 HS 10 Barrierefrei
Di 25.11.2014
08.15 - 10.00 rr 15 rr 15 Barrierefrei
Do 04.12.2014
12.15 - 14.00 HS 10 HS 10 Barrierefrei
Do 11.12.2014
12.15 - 14.00 HS 10 HS 10 Barrierefrei
Do 08.01.2015
12.15 - 14.00 HSB 5 HSB 5 Barrierefrei
Do 15.01.2015
12.15 - 14.00 HS 10 HS 10 Barrierefrei
Do 22.01.2015
12.15 - 14.00 HS 10 HS 10 Barrierefrei
Do 29.01.2015
12.15 - 14.00 HS 10 HS 10 Barrierefrei
Gruppe 4
Nagele J.
Datum Uhrzeit Ort
Do 02.10.2014
10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 09.10.2014
10.15 - 12.00 Seminarraum 1 (ICT-Gebäude) Seminarraum 1 (ICT-Gebäude) Barrierefrei
Do 16.10.2014
10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 23.10.2014
10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 30.10.2014
10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 06.11.2014
10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 13.11.2014
10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 20.11.2014
10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 27.11.2014
10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 04.12.2014
10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 11.12.2014
10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 08.01.2015
10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 15.01.2015
10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 22.01.2015
10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 29.01.2015
10.15 - 12.00 SR 13 SR 13 Barrierefrei