703027 Logik

Wintersemester 2016/2017 | Stand: 19.10.2016 LV auf Merkliste setzen
Institut für Informatik Institut für Informatik
Julian Nagele, MSc Julian Nagele, MSc
Franziska Gabriele Rapp, MSc Franziska Gabriele Rapp, MSc
Priv.-Doz. Dr. Christian Sternagel Priv.-Doz. Dr. Christian Sternagel
Dr. Vincent van Oostrom Dr. Vincent van Oostrom
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.

http://cl-informatik.uibk.ac.at/teaching/ws16/lics/
siehe Termine
Gruppe 1
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
van Oostrom V.
Datum Uhrzeit Ort
Do 06.10.2016
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 13.10.2016
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 20.10.2016
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 27.10.2016
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 03.11.2016
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 10.11.2016
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 17.11.2016
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 24.11.2016
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 01.12.2016
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 15.12.2016
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 12.01.2017
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 19.01.2017
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 26.01.2017
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 02.02.2017
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Gruppe 2
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Nagele J.
Datum Uhrzeit Ort
Do 06.10.2016
 10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 13.10.2016
 10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 20.10.2016
 10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 27.10.2016
 10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 03.11.2016
 10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 10.11.2016
 10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 17.11.2016
 10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 24.11.2016
 10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 01.12.2016
 10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 15.12.2016
 10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 12.01.2017
 10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 19.01.2017
 10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 26.01.2017
 10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 02.02.2017
 10.15 - 12.00 SR 13 SR 13 Barrierefrei
Gruppe 3
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Sternagel C.
Datum Uhrzeit Ort
Do 06.10.2016
 13.15 - 15.00 HS 10 HS 10 Barrierefrei
Do 13.10.2016
 13.15 - 15.00 HS 10 HS 10 Barrierefrei
Do 20.10.2016
 13.15 - 15.00 HS 10 HS 10 Barrierefrei
Do 27.10.2016
 13.15 - 15.00 HS 10 HS 10 Barrierefrei
Do 03.11.2016
 13.15 - 15.00 HS 10 HS 10 Barrierefrei
Do 10.11.2016
 13.15 - 15.00 HS 10 HS 10 Barrierefrei
Do 17.11.2016
 13.15 - 15.00 HS 10 HS 10 Barrierefrei
Do 24.11.2016
 13.15 - 15.00 HS 10 HS 10 Barrierefrei
Do 01.12.2016
 13.15 - 15.00 HS 10 HS 10 Barrierefrei
Do 15.12.2016
 13.15 - 15.00 HS 10 HS 10 Barrierefrei
Do 12.01.2017
 13.15 - 15.00 HS 10 HS 10 Barrierefrei
Do 19.01.2017
 13.15 - 15.00 HS 10 HS 10 Barrierefrei
Do 26.01.2017
 13.15 - 15.00 HS 10 HS 10 Barrierefrei
Do 02.02.2017
 13.15 - 15.00 HS 10 HS 10 Barrierefrei
Gruppe 4
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Rapp F.
Datum Uhrzeit Ort
Do 06.10.2016
 10.15 - 12.00 HS 11 HS 11 Barrierefrei
Do 13.10.2016
 10.15 - 12.00 HS 11 HS 11 Barrierefrei
Do 20.10.2016
 10.15 - 12.00 HS 11 HS 11 Barrierefrei
Do 27.10.2016
 10.15 - 12.00 HS 11 HS 11 Barrierefrei
Do 03.11.2016
 10.15 - 12.00 HS 11 HS 11 Barrierefrei
Do 10.11.2016
 10.15 - 12.00 HS 11 HS 11 Barrierefrei
Do 17.11.2016
 10.15 - 12.00 HS 11 HS 11 Barrierefrei
Do 24.11.2016
 10.15 - 12.00 HS 11 HS 11 Barrierefrei
Do 01.12.2016
 10.15 - 12.00 HS 11 HS 11 Barrierefrei
Do 15.12.2016
 10.15 - 12.00 HS 11 HS 11 Barrierefrei
Do 12.01.2017
 10.15 - 12.00 HS 11 HS 11 Barrierefrei
Do 19.01.2017
 10.15 - 12.00 HS 11 HS 11 Barrierefrei
Do 26.01.2017
 10.15 - 12.00 HS 11 HS 11 Barrierefrei
Do 02.02.2017
 10.15 - 12.00 HS 11 HS 11 Barrierefrei