703027 Logik

Wintersemester 2013/2014 | Stand: 03.07.2013 LV auf Merkliste setzen
Institut für Informatik Institut für Informatik
Adjunct Professor Priv.-Doz. Dr. Cezary Kaliszyk Adjunct Professor Priv.-Doz. Dr. Cezary Kaliszyk, +43 512 507 53299
Julian Nagele, MSc Julian Nagele, MSc
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/ws13/lics/
08.10.2013
Gruppe 1
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Kaliszyk C.
Datum Uhrzeit Ort
Di 08.10.2013
 08.15 - 10.00 HS 10 HS 10 Barrierefrei
Di 15.10.2013
 08.15 - 10.00 HS 10 HS 10 Barrierefrei
Di 22.10.2013
 08.15 - 10.00 HS 10 HS 10 Barrierefrei
Di 29.10.2013
 08.15 - 10.00 HS 10 HS 10 Barrierefrei
Di 05.11.2013
 08.15 - 10.00 HS 10 HS 10 Barrierefrei
Di 12.11.2013
 08.15 - 10.00 HS 10 HS 10 Barrierefrei
Di 19.11.2013
 08.15 - 10.00 HS 10 HS 10 Barrierefrei
Di 26.11.2013
 08.15 - 10.00 HS 10 HS 10 Barrierefrei
Di 03.12.2013
 08.15 - 10.00 HS 10 HS 10 Barrierefrei
Di 10.12.2013
 08.15 - 10.00 HS 10 HS 10 Barrierefrei
Di 07.01.2014
 08.15 - 10.00 HS 10 HS 10 Barrierefrei
Di 14.01.2014
 08.15 - 10.00 HS 10 HS 10 Barrierefrei
Di 21.01.2014
 08.15 - 10.00 HS 10 HS 10 Barrierefrei
Di 28.01.2014
 08.15 - 10.00 HS 10 HS 10 Barrierefrei
Gruppe 2
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Nagele J.
Datum Uhrzeit Ort
Di 08.10.2013
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Di 15.10.2013
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Di 22.10.2013
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Di 29.10.2013
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Di 05.11.2013
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Di 12.11.2013
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Di 19.11.2013
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Di 26.11.2013
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Di 03.12.2013
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Di 10.12.2013
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Di 07.01.2014
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Di 14.01.2014
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Di 21.01.2014
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Di 28.01.2014
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Gruppe 3
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Kaliszyk C.
Datum Uhrzeit Ort
Di 08.10.2013
 12.15 - 14.00 HS 10 HS 10 Barrierefrei
Di 15.10.2013
 12.15 - 14.00 HS 10 HS 10 Barrierefrei
Di 22.10.2013
 12.15 - 14.00 HS 10 HS 10 Barrierefrei
Di 29.10.2013
 12.15 - 14.00 HS 10 HS 10 Barrierefrei
Di 05.11.2013
 12.15 - 14.00 HS 10 HS 10 Barrierefrei
Di 12.11.2013
 12.15 - 14.00 HS 10 HS 10 Barrierefrei
Di 19.11.2013
 12.15 - 14.00 HS 10 HS 10 Barrierefrei
Di 26.11.2013
 12.15 - 14.00 HS 10 HS 10 Barrierefrei
Di 03.12.2013
 12.15 - 14.00 HS 10 HS 10 Barrierefrei
Di 10.12.2013
 12.15 - 14.00 HS 10 HS 10 Barrierefrei
Di 07.01.2014
 12.15 - 14.00 HS 10 HS 10 Barrierefrei
Di 14.01.2014
 12.15 - 14.00 HS 10 HS 10 Barrierefrei
Di 21.01.2014
 12.15 - 14.00 HS 10 HS 10 Barrierefrei
Di 28.01.2014
 12.15 - 14.00 HS 10 HS 10 Barrierefrei