703027 Logik

Wintersemester 2015/2016 | Stand: 24.09.2015 LV auf Merkliste setzen
Institut für Informatik Institut für Informatik
Julian Nagele, MSc Julian Nagele, 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/ws15/lics/
siehe Termine
Gruppe 1
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
van Oostrom V.
Datum Uhrzeit Ort
Do 08.10.2015
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 15.10.2015
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 22.10.2015
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 29.10.2015
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 05.11.2015
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 12.11.2015
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 19.11.2015
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 26.11.2015
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 03.12.2015
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 10.12.2015
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 17.12.2015
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 14.01.2016
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 21.01.2016
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 28.01.2016
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 04.02.2016
 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 08.10.2015
 10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 15.10.2015
 10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 22.10.2015
 10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 29.10.2015
 10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 05.11.2015
 10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 12.11.2015
 10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 19.11.2015
 10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 26.11.2015
 10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 03.12.2015
 10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 10.12.2015
 10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 17.12.2015
 10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 14.01.2016
 10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 21.01.2016
 10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 28.01.2016
 10.15 - 12.00 SR 13 SR 13 Barrierefrei
Do 04.02.2016
 10.15 - 12.00 SR 13 SR 13 Barrierefrei
Gruppe 3
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
van Oostrom V.
Datum Uhrzeit Ort
Do 08.10.2015
 12.15 - 14.00 HS 10 HS 10 Barrierefrei
Do 15.10.2015
 12.15 - 14.00 HS 10 HS 10 Barrierefrei
Do 22.10.2015
 12.15 - 14.00 HS 10 HS 10 Barrierefrei
Do 29.10.2015
 12.15 - 14.00 HS 10 HS 10 Barrierefrei
Do 05.11.2015
 12.15 - 14.00 HS 10 HS 10 Barrierefrei
Do 12.11.2015
 12.15 - 14.00 HS 10 HS 10 Barrierefrei
Do 19.11.2015
 12.15 - 14.00 HS 10 HS 10 Barrierefrei
Do 26.11.2015
 12.15 - 14.00 HS 10 HS 10 Barrierefrei
Do 03.12.2015
 12.15 - 14.00 HS 10 HS 10 Barrierefrei
Do 10.12.2015
 12.15 - 14.00 HS 10 HS 10 Barrierefrei
Do 17.12.2015
 12.15 - 14.00 HS 10 HS 10 Barrierefrei
Do 14.01.2016
 12.15 - 14.00 HS 10 HS 10 Barrierefrei
Do 21.01.2016
 12.15 - 14.00 HS 10 HS 10 Barrierefrei
Do 28.01.2016
 12.15 - 14.00 HS 10 HS 10 Barrierefrei
Do 04.02.2016
 12.15 - 14.00 HS 10 HS 10 Barrierefrei
Gruppe 4
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Sternagel C.
Datum Uhrzeit Ort
Do 08.10.2015
 14.15 - 16.00 HS 10 HS 10 Barrierefrei
Do 15.10.2015
 14.15 - 16.00 HS 10 HS 10 Barrierefrei
Do 22.10.2015
 14.15 - 16.00 HS 10 HS 10 Barrierefrei
Do 29.10.2015
 14.15 - 16.00 HS 10 HS 10 Barrierefrei
Do 05.11.2015
 14.15 - 16.00 HS 10 HS 10 Barrierefrei
Do 12.11.2015
 14.15 - 16.00 HS 10 HS 10 Barrierefrei
Do 19.11.2015
 14.15 - 16.00 HS 10 HS 10 Barrierefrei
Do 26.11.2015
 14.15 - 16.00 HS 10 HS 10 Barrierefrei
Do 03.12.2015
 14.15 - 16.00 HS 10 HS 10 Barrierefrei
Do 10.12.2015
 14.15 - 16.00 HS 10 HS 10 Barrierefrei
Do 17.12.2015
 14.15 - 16.00 HS 10 HS 10 Barrierefrei
Do 14.01.2016
 14.15 - 16.00 HS 10 HS 10 Barrierefrei
Do 21.01.2016
 14.15 - 16.00 HS 10 HS 10 Barrierefrei
Do 28.01.2016
 14.15 - 16.00 HS 10 HS 10 Barrierefrei
Do 04.02.2016
 14.15 - 16.00 HS 10 HS 10 Barrierefrei