703027 PS Logik

Sommersemester 2020 | Stand: 15.06.2020 LV auf Merkliste setzen
703027
PS 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, 2007
ISBN 0-521-54310-X (paperback)

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

siehe Termine
Gruppe 1
Middeldorp A.
Datum Uhrzeit Ort
Do 05.03.2020
08.15 - 10.00 HS 10 HS 10 Barrierefrei
Do 12.03.2020
08.15 - 10.00 HS 10 HS 10 Barrierefrei
Do 19.03.2020
08.15 - 10.00 HS 10 HS 10 Barrierefrei
Do 26.03.2020
08.15 - 10.00 HS 10 HS 10 Barrierefrei
Do 02.04.2020
08.15 - 10.00 HS 10 HS 10 Barrierefrei
Do 23.04.2020
08.15 - 10.00 HS 10 HS 10 Barrierefrei
Do 30.04.2020
08.15 - 10.00 HS 10 HS 10 Barrierefrei
Do 07.05.2020
08.15 - 10.00 HS 10 HS 10 Barrierefrei
Do 14.05.2020
08.15 - 10.00 HS 10 HS 10 Barrierefrei
Do 28.05.2020
08.15 - 10.00 HS 10 HS 10 Barrierefrei
Do 04.06.2020
08.15 - 10.00 HS 10 HS 10 Barrierefrei
Do 18.06.2020
08.15 - 10.00 HS 10 HS 10 Barrierefrei
Do 25.06.2020
08.15 - 10.00 HS 10 HS 10 Barrierefrei
Gruppe 2
Kirk C.
Datum Uhrzeit Ort
Do 05.03.2020
08.15 - 10.00 SR 12 SR 12 Barrierefrei
Do 12.03.2020
08.15 - 10.00 SR 12 SR 12 Barrierefrei
Do 19.03.2020
08.15 - 10.00 SR 12 SR 12 Barrierefrei
Do 26.03.2020
08.15 - 10.00 SR 12 SR 12 Barrierefrei
Do 02.04.2020
08.15 - 10.00 SR 12 SR 12 Barrierefrei
Do 23.04.2020
08.15 - 10.00 SR 12 SR 12 Barrierefrei
Do 30.04.2020
08.15 - 10.00 SR 12 SR 12 Barrierefrei
Do 07.05.2020
08.15 - 10.00 SR 12 SR 12 Barrierefrei
Do 14.05.2020
08.15 - 10.00 SR 12 SR 12 Barrierefrei
Do 28.05.2020
08.15 - 10.00 SR 12 SR 12 Barrierefrei
Do 04.06.2020
08.15 - 10.00 SR 12 SR 12 Barrierefrei
Do 18.06.2020
08.15 - 10.00 SR 12 SR 12 Barrierefrei
Do 25.06.2020
08.15 - 10.00 SR 12 SR 12 Barrierefrei
Gruppe 3
Mitterwallner F.
Datum Uhrzeit Ort
Do 05.03.2020
12.15 - 14.00 HS 10 HS 10 Barrierefrei
Do 12.03.2020
12.15 - 14.00 HS 10 HS 10 Barrierefrei
Do 19.03.2020
12.15 - 14.00 HS 10 HS 10 Barrierefrei
Do 26.03.2020
12.15 - 14.00 HS 10 HS 10 Barrierefrei
Do 02.04.2020
12.15 - 14.00 HS 10 HS 10 Barrierefrei
Do 23.04.2020
12.15 - 14.00 HS 10 HS 10 Barrierefrei
Do 30.04.2020
12.15 - 14.00 HS 10 HS 10 Barrierefrei
Do 07.05.2020
12.15 - 14.00 HS 10 HS 10 Barrierefrei
Do 14.05.2020
12.15 - 14.00 HS 10 HS 10 Barrierefrei
Do 28.05.2020
12.15 - 14.00 HS 10 HS 10 Barrierefrei
Do 04.06.2020
12.15 - 14.00 HS 10 HS 10 Barrierefrei
Do 18.06.2020
12.15 - 14.00 HS 10 HS 10 Barrierefrei
Do 25.06.2020
12.15 - 14.00 HS 10 HS 10 Barrierefrei
Gruppe 4
Zankl H.
Datum Uhrzeit Ort
Do 05.03.2020
14.15 - 16.00 HSB 9 HSB 9 Barrierefrei
Do 12.03.2020
ABGESAGT
14.15 - 16.00 HSB 9 HSB 9 Barrierefrei
Do 19.03.2020
ABGESAGT
14.15 - 16.00 HSB 9 HSB 9 Barrierefrei
Do 26.03.2020
ABGESAGT
14.15 - 16.00 HSB 9 HSB 9 Barrierefrei
Do 02.04.2020
ABGESAGT
14.15 - 16.00 HSB 9 HSB 9 Barrierefrei
Do 23.04.2020
14.15 - 16.00 HSB 9 HSB 9 Barrierefrei
Do 30.04.2020
14.15 - 16.00 HSB 9 HSB 9 Barrierefrei
Do 07.05.2020
14.15 - 16.00 HSB 9 HSB 9 Barrierefrei
Do 14.05.2020
14.15 - 16.00 HSB 9 HSB 9 Barrierefrei
Do 28.05.2020
14.15 - 16.00 HSB 9 HSB 9 Barrierefrei
Do 04.06.2020
14.15 - 16.00 HSB 9 HSB 9 Barrierefrei
Do 18.06.2020
14.15 - 16.00 HSB 9 HSB 9 Barrierefrei
Do 25.06.2020
14.15 - 16.00 HSB 9 HSB 9 Barrierefrei