703027 PS Logik

Sommersemester 2022 | Stand: 19.12.2022 | LV auf Merkliste setzen

Institut:

Lektor/in/n/en:

Dr. Manuel Eberl, +43 512 507 53467
Jamie Hochrainer, BSc
Christina Kirk, BSc MSc
Fabian Sebastian Mitterwallner, MSc, +43 512 507 53410
Johannes Niederhauser, MSc

LV-Nummer:

703027

Titel:

PS Logik

Typ/Stunden:

PS 2

ECTS-AP:

Rhythmus:

wöch.

Wiederholungsturnus:

jährlich

Unterrichtssprache:

Deutsch

Lernergebnis:

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.

Inhalt:

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

Methoden:

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

Prüfungsmodus:

Prüfungsimmanente Lehrveranstaltung

Literatur:

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.

OLAT:

https://lms.uibk.ac.at/url/RepositoryEntry/5181210894

Link:

http://cl-informatik.uibk.ac.at/teaching/ss22/lics/

Beginn:

siehe Termine

Studienzuordnung(en)

Fakultät für Mathematik, Informatik und Physik

Bachelorstudium Informatik nach dem Curriculum 2011 (180 ECTS-AP, 6 Semester)

3. Semester

Pflichtmodul 14: Logik (7,5 ECTS-AP, 5 SSt.)

Bachelorstudium Informatik nach dem Curriculum 2019 (180 ECTS-AP, 6 Semester)

Pflichtmodule (165 ECTS-AP)

Pflichtmodul 16: Logik (7,5 ECTS-AP, 5 SSt.)

Nachhaltigkeitsziele

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

Termine

Gruppe 1	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
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	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
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	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
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	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
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	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
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