703607 Computationale Logik

Sommersemester 2017 | Stand: 29.05.2017 LV auf Merkliste setzen
Institut für Informatik Institut für Informatik
Univ.-Prof. Dr. Aart Middeldorp Univ.-Prof. Dr. Aart Middeldorp, +43 512 507 53205
703607
Computationale Logik
VO 2
4
wöch.
2-Jahresrhythmus
Englisch

Absolventen und Absolventinnen dieser Lehrveranstaltung kennen verschiedene erst- und höherstufige Logiken sowie deren Vor- und Nachteile. Sie sind vertraut mit geeigneten Kalkülen für das formale Schließen in diesen Logiken.

Semantik und Beweissysteme für Prädikatenlogik mit Gleichheit, Erweiterungen der Prädikatenlogik, wie Modallogik oder zweistufiger Logik, Satz von Herbrand, Curry-Howard Isomorphismus

Vortrag, Beurteilung aufgrund eines einzigen Prüfungsaktes am Ende der Lehrveranstaltung.

Lehrveranstaltungsprüfung gemäß § 7 Satzungsteil, Studienrechtliche Bestimmungen

Wird im Rahmen der ersten Lehrveranstaltung besprochen.

http://cl-informatik.uibk.ac.at/teaching/ss17/cl/
siehe Termine
Gruppe 0
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Datum Uhrzeit Ort
Mo 06.03.2017
 08.15 - 12.00 HS 11 HS 11 Barrierefrei
Mo 13.03.2017
 08.15 - 12.00 HS 11 HS 11 Barrierefrei
Mo 20.03.2017
 08.15 - 12.00 HS 11 HS 11 Barrierefrei
Mo 27.03.2017
 08.15 - 12.00 HS 11 HS 11 Barrierefrei
Mo 03.04.2017
 08.15 - 12.00 HS 11 HS 11 Barrierefrei
Mo 24.04.2017
 08.15 - 12.00 HS 11 HS 11 Barrierefrei
Mo 08.05.2017
 08.15 - 12.00 HS 11 HS 11 Barrierefrei
Mo 15.05.2017
 08.15 - 12.00 HS 11 HS 11 Barrierefrei
Mo 22.05.2017
 08.15 - 12.00 HS 11 HS 11 Barrierefrei
Mo 29.05.2017
 08.15 - 12.00 HS 11 HS 11 Barrierefrei
Mo 12.06.2017
 08.15 - 12.00 HS 11 HS 11 Barrierefrei
Mo 19.06.2017
 08.15 - 12.00 HS 11 HS 11 Barrierefrei
Mo 26.06.2017
 08.15 - 12.00 HS 11 HS 11 Barrierefrei