703027 PS Logik
Sommersemester 2023 | Stand: 05.06.2023 | LV auf Merkliste setzenDiana Gründlinger, BSc
Diana Gründlinger, BSc
Jamie Hochrainer, BSc Jamie Hochrainer, BSc
Christina Kirk, BSc MSc Christina Kirk, BSc MSc, +43 512 507 53343
Univ.-Prof. Dr. Aart Middeldorp Univ.-Prof. Dr. Aart Middeldorp, +43 512 507 53205
Fabian Sebastian Mitterwallner, MSc Fabian Sebastian Mitterwallner, MSc, +43 512 507 53410
Jamie Hochrainer, BSc Jamie Hochrainer, BSc
Christina Kirk, BSc MSc Christina Kirk, BSc MSc, +43 512 507 53343
Univ.-Prof. Dr. Aart Middeldorp Univ.-Prof. Dr. Aart Middeldorp, +43 512 507 53205
Fabian Sebastian Mitterwallner, MSc Fabian Sebastian Mitterwallner, MSc, +43 512 507 53410
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.
group 1 is taught in English
siehe Termine
- Fakultät für Mathematik, Informatik und Physik
- SDG 4 - Hochwertige Bildung: Inklusive, gleichberechtigte und hochwertige Bildung gewährleisten und Möglichkeiten lebenslangen Lernens für alle fördern
- SDG 9 - Industrie, Innovation und Infrastruktur: Eine widerstandsfähige Infrastruktur aufbauen, breitenwirksame und nachhaltige Industrialisierung fördern und Innovationen unterstützen
|
Gruppe 1
|
||||
|---|---|---|---|---|
| Middeldorp A. | ||||
| Datum | Uhrzeit | Ort | ||
|
Do 09.03.2023
|
08.15 - 10.00 | HS 10 HS 10 | Barrierefrei | |
|
Do 16.03.2023
|
08.15 - 10.00 | HS 10 HS 10 | Barrierefrei | |
|
Do 23.03.2023
|
08.15 - 10.00 | HS 10 HS 10 | Barrierefrei | |
|
Do 30.03.2023
|
08.15 - 10.00 | HS 10 HS 10 | Barrierefrei | |
|
Do 20.04.2023
|
08.15 - 10.00 | HS 10 HS 10 | Barrierefrei | |
|
Do 27.04.2023
|
08.15 - 10.00 | HS 10 HS 10 | Barrierefrei | |
|
Do 04.05.2023
|
08.15 - 10.00 | HS 10 HS 10 | Barrierefrei | |
|
Do 11.05.2023
|
08.15 - 10.00 | HS 10 HS 10 | Barrierefrei | |
|
Do 25.05.2023
|
08.15 - 10.00 | HS 10 HS 10 | Barrierefrei | |
|
Do 01.06.2023
|
08.15 - 10.00 | HS 10 HS 10 | Barrierefrei | |
|
Do 15.06.2023
|
08.15 - 10.00 | HS 10 HS 10 | Barrierefrei | |
|
Do 22.06.2023
|
08.15 - 10.00 | HS 10 HS 10 | Barrierefrei | |
|
Gruppe 2
|
||||
| Mitterwallner F. | ||||
| Datum | Uhrzeit | Ort | ||
|
Do 09.03.2023
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 16.03.2023
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 23.03.2023
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 30.03.2023
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 20.04.2023
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 27.04.2023
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 04.05.2023
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 11.05.2023
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 25.05.2023
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 01.06.2023
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 15.06.2023
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 22.06.2023
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Gruppe 3
|
||||
| Kirk C. | ||||
| Datum | Uhrzeit | Ort | ||
|
Do 09.03.2023
|
08.15 - 10.00 | HSB 4 HSB 4 | Barrierefrei | |
|
Do 16.03.2023
|
08.15 - 10.00 | HSB 4 HSB 4 | Barrierefrei | |
|
Do 23.03.2023
|
08.15 - 10.00 | HSB 4 HSB 4 | Barrierefrei | |
|
Do 30.03.2023
|
08.15 - 10.00 | HSB 4 HSB 4 | Barrierefrei | |
|
Do 20.04.2023
|
08.15 - 10.00 | HSB 4 HSB 4 | Barrierefrei | |
|
Do 27.04.2023
|
08.15 - 10.00 | HSB 4 HSB 4 | Barrierefrei | |
|
Do 04.05.2023
|
08.15 - 10.00 | HSB 4 HSB 4 | Barrierefrei | |
|
Do 11.05.2023
|
08.15 - 10.00 | HSB 4 HSB 4 | Barrierefrei | |
|
Do 25.05.2023
|
08.15 - 10.00 | HSB 4 HSB 4 | Barrierefrei | |
|
Do 01.06.2023
|
08.15 - 10.00 | HSB 4 HSB 4 | Barrierefrei | |
|
Do 15.06.2023
|
08.15 - 10.00 | HSB 4 HSB 4 | Barrierefrei | |
|
Do 22.06.2023
|
08.15 - 10.00 | HSB 4 HSB 4 | Barrierefrei | |
|
Gruppe 4
|
||||
| Kirk C. | ||||
| Datum | Uhrzeit | Ort | ||
|
Do 09.03.2023
|
13.15 - 15.00 | HS E (Technik) HS E (Technik) | Barrierefrei | |
|
Do 16.03.2023
|
13.15 - 15.00 | HS E (Technik) HS E (Technik) | Barrierefrei | |
|
Do 23.03.2023
|
13.15 - 15.00 | HS E (Technik) HS E (Technik) | Barrierefrei | |
|
Do 30.03.2023
|
13.15 - 15.00 | HS E (Technik) HS E (Technik) | Barrierefrei | |
|
Do 20.04.2023
|
13.15 - 15.00 | HS E (Technik) HS E (Technik) | Barrierefrei | |
|
Do 27.04.2023
|
13.15 - 15.00 | HS E (Technik) HS E (Technik) | Barrierefrei | |
|
Do 04.05.2023
|
13.15 - 15.00 | HS E (Technik) HS E (Technik) | Barrierefrei | |
|
Do 11.05.2023
|
13.15 - 15.00 | HS E (Technik) HS E (Technik) | Barrierefrei | |
|
Do 25.05.2023
|
13.15 - 15.00 | HS E (Technik) HS E (Technik) | Barrierefrei | |
|
Do 01.06.2023
|
13.15 - 15.00 | HS E (Technik) HS E (Technik) | Barrierefrei | |
|
Do 15.06.2023
|
13.15 - 15.00 | HS E (Technik) HS E (Technik) | Barrierefrei | |
|
Do 22.06.2023
|
13.15 - 15.00 | HS E (Technik) HS E (Technik) | Barrierefrei | |
|
Gruppe 5
|
||||
| Gründlinger D. | ||||
| Datum | Uhrzeit | Ort | ||
|
Do 09.03.2023
|
15.15 - 17.00 | HS E (Technik) HS E (Technik) | Barrierefrei | |
|
Do 16.03.2023
|
15.15 - 17.00 | HS E (Technik) HS E (Technik) | Barrierefrei | |
|
Do 23.03.2023
|
15.15 - 17.00 | HS E (Technik) HS E (Technik) | Barrierefrei | |
|
Do 30.03.2023
|
15.15 - 17.00 | HS E (Technik) HS E (Technik) | Barrierefrei | |
|
Do 20.04.2023
|
15.15 - 17.00 | HS E (Technik) HS E (Technik) | Barrierefrei | |
|
Do 27.04.2023
|
15.15 - 17.00 | HS E (Technik) HS E (Technik) | Barrierefrei | |
|
Do 04.05.2023
|
15.15 - 17.00 | HS E (Technik) HS E (Technik) | Barrierefrei | |
|
Do 11.05.2023
|
15.15 - 17.00 | HS E (Technik) HS E (Technik) | Barrierefrei | |
|
Do 25.05.2023
|
15.15 - 17.00 | HS E (Technik) HS E (Technik) | Barrierefrei | |
|
Do 01.06.2023
|
15.15 - 17.00 | HS E (Technik) HS E (Technik) | Barrierefrei | |
|
Do 15.06.2023
|
15.15 - 17.00 | HS E (Technik) HS E (Technik) | Barrierefrei | |
|
Do 22.06.2023
|
15.15 - 17.00 | HS E (Technik) HS E (Technik) | Barrierefrei | |
|
Gruppe 6
|
||||
| Hochrainer J. | ||||
| Datum | Uhrzeit | Ort | ||
|
Do 09.03.2023
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Do 16.03.2023
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Do 23.03.2023
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Do 30.03.2023
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Do 20.04.2023
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Do 27.04.2023
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Do 04.05.2023
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Do 11.05.2023
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Do 25.05.2023
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Do 01.06.2023
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Do 15.06.2023
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Do 22.06.2023
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |