703607 VO/2 Computationale Logik

Sommersemester 2017 | Stand: 29.05.2017 LV auf Merkliste setzen
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.

siehe Termine
Gruppe 0
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