703027 PS Logik

Sommersemester 2022 | Stand: 19.12.2022 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
Mitterwallner F.
Datum Uhrzeit Ort
Do 10.03.2022
08.15 - 10.00 HS 10 HS 10 Barrierefrei
Do 17.03.2022
08.15 - 10.00 HS 10 HS 10 Barrierefrei
Do 24.03.2022
08.15 - 10.00 HS 10 HS 10 Barrierefrei
Do 31.03.2022
08.15 - 10.00 HS 10 HS 10 Barrierefrei
Do 07.04.2022
08.15 - 10.00 HS 10 HS 10 Barrierefrei
Do 28.04.2022
08.15 - 10.00 HS 10 HS 10 Barrierefrei
Do 05.05.2022
08.15 - 10.00 HS 10 HS 10 Barrierefrei
Do 12.05.2022
08.15 - 10.00 HS 10 HS 10 Barrierefrei
Do 19.05.2022
08.15 - 10.00 HS 10 HS 10 Barrierefrei
Do 02.06.2022
08.15 - 10.00 HS 10 HS 10 Barrierefrei
Do 09.06.2022
08.15 - 10.00 HS 10 HS 10 Barrierefrei
Do 23.06.2022
08.15 - 10.00 HS 10 HS 10 Barrierefrei
Do 30.06.2022
08.15 - 10.00 HS 10 HS 10 Barrierefrei
Gruppe 2
Kirk C.
Datum Uhrzeit Ort
Do 10.03.2022
08.15 - 10.00 HSB 4 HSB 4 Barrierefrei
Do 17.03.2022
08.15 - 10.00 HSB 4 HSB 4 Barrierefrei
Do 24.03.2022
08.15 - 10.00 HSB 4 HSB 4 Barrierefrei
Do 31.03.2022
08.15 - 10.00 HSB 4 HSB 4 Barrierefrei
Do 07.04.2022
08.15 - 10.00 HSB 4 HSB 4 Barrierefrei
Do 28.04.2022
08.15 - 10.00 HSB 4 HSB 4 Barrierefrei
Do 05.05.2022
08.15 - 10.00 HSB 4 HSB 4 Barrierefrei
Do 12.05.2022
08.15 - 10.00 HSB 4 HSB 4 Barrierefrei
Do 19.05.2022
08.15 - 10.00 HSB 4 HSB 4 Barrierefrei
Do 02.06.2022
08.15 - 10.00 HSB 4 HSB 4 Barrierefrei
Do 09.06.2022
08.15 - 10.00 HSB 4 HSB 4 Barrierefrei
Do 23.06.2022
08.15 - 10.00 HSB 4 HSB 4 Barrierefrei
Do 30.06.2022
08.15 - 10.00 HSB 4 HSB 4 Barrierefrei
Gruppe 3
Eberl M.
Datum Uhrzeit Ort
Do 10.03.2022
08.15 - 10.00 HSB 4 HSB 4 Barrierefrei
Do 17.03.2022
08.15 - 10.00 HSB 4 HSB 4 Barrierefrei
Do 24.03.2022
08.15 - 10.00 HSB 4 HSB 4 Barrierefrei
Do 31.03.2022
08.15 - 10.00 HSB 4 HSB 4 Barrierefrei
Do 07.04.2022
08.15 - 10.00 HSB 4 HSB 4 Barrierefrei
Do 28.04.2022
08.15 - 10.00 HSB 4 HSB 4 Barrierefrei
Do 05.05.2022
08.15 - 10.00 HSB 4 HSB 4 Barrierefrei
Do 12.05.2022
08.15 - 10.00 HSB 4 HSB 4 Barrierefrei
Do 19.05.2022
08.15 - 10.00 HSB 4 HSB 4 Barrierefrei
Do 02.06.2022
08.15 - 10.00 HSB 4 HSB 4 Barrierefrei
Do 09.06.2022
08.15 - 10.00 HSB 4 HSB 4 Barrierefrei
Do 23.06.2022
08.15 - 10.00 HSB 4 HSB 4 Barrierefrei
Do 30.06.2022
08.15 - 10.00 HSB 4 HSB 4 Barrierefrei
Gruppe 4
Hochrainer J.
Datum Uhrzeit Ort
Do 10.03.2022
12.15 - 14.00 HSB 8 HSB 8 Barrierefrei
Do 17.03.2022
12.15 - 14.00 HSB 8 HSB 8 Barrierefrei
Do 24.03.2022
12.15 - 14.00 HSB 8 HSB 8 Barrierefrei
Do 31.03.2022
12.15 - 14.00 HSB 8 HSB 8 Barrierefrei
Do 07.04.2022
12.15 - 14.00 HSB 8 HSB 8 Barrierefrei
Do 28.04.2022
12.15 - 14.00 HSB 8 HSB 8 Barrierefrei
Do 05.05.2022
12.15 - 14.00 HSB 8 HSB 8 Barrierefrei
Do 12.05.2022
12.15 - 14.00 HSB 8 HSB 8 Barrierefrei
Do 19.05.2022
12.15 - 14.00 HSB 8 HSB 8 Barrierefrei
Do 02.06.2022
12.15 - 14.00 HSB 8 HSB 8 Barrierefrei
Do 09.06.2022
12.15 - 14.00 HSB 8 HSB 8 Barrierefrei
Do 23.06.2022
12.15 - 14.00 HSB 8 HSB 8 Barrierefrei
Do 30.06.2022
12.15 - 14.00 HSB 8 HSB 8 Barrierefrei
Gruppe 5
Niederhauser J.
Datum Uhrzeit Ort
Do 10.03.2022
14.15 - 16.00 HSB 8 HSB 8 Barrierefrei
Do 17.03.2022
14.15 - 16.00 HSB 8 HSB 8 Barrierefrei
Do 24.03.2022
14.15 - 16.00 HSB 8 HSB 8 Barrierefrei
Do 31.03.2022
14.15 - 16.00 HSB 8 HSB 8 Barrierefrei
Do 07.04.2022
14.15 - 16.00 HSB 8 HSB 8 Barrierefrei
Do 28.04.2022
14.15 - 16.00 HSB 8 HSB 8 Barrierefrei
Do 05.05.2022
14.15 - 16.00 HSB 8 HSB 8 Barrierefrei
Do 12.05.2022
14.15 - 16.00 HSB 8 HSB 8 Barrierefrei
Do 19.05.2022
14.15 - 16.00 HSB 8 HSB 8 Barrierefrei
Do 02.06.2022
14.15 - 16.00 HSB 8 HSB 8 Barrierefrei
Do 09.06.2022
14.15 - 16.00 HSB 8 HSB 8 Barrierefrei
Do 23.06.2022
14.15 - 16.00 HSB 8 HSB 8 Barrierefrei
Do 30.06.2022
14.15 - 16.00 HSB 8 HSB 8 Barrierefrei