19324201
Lecture
WiSe 16/17: Logik
Franz Kiràly
Information for students
Organisatorisches:
Erster Vorlesungstermin ist der 21.10.2016, erster Übungstermin der 28.10.2016. Während der Vorlesung werden 10-12 Übungsblätter bearbeitet.
Die Vorlesung ... read more
Comments
This lecture course combines A) a compact introduction in the theory of first-order logic with B) a hands-on tutorial on the development and eployment of first-order theorem proving systems. ... read more
Suggested reading
Literatur:
Für die theoretischen Teile orientiert sich die Vorlesung an
Ebbinghaus (2007) – Einführung in die mathematische Logik
Schöning (2000) – Logik für ... read more
16 Class schedule
Additional appointments
Fri, 2017-02-24 10:00 - 14:00Prüfungen
Regular appointments
Fri, 2016-10-21 12:00 - 14:00
Fri, 2016-10-28 12:00 - 14:00
Fri, 2016-11-04 12:00 - 14:00
Fri, 2016-11-11 12:00 - 14:00
Fri, 2016-11-18 12:00 - 14:00
Fri, 2016-11-25 12:00 - 14:00
Fri, 2016-12-02 12:00 - 14:00
Fri, 2016-12-09 12:00 - 14:00
Fri, 2016-12-16 12:00 - 14:00
Fri, 2017-01-06 12:00 - 14:00
Fri, 2017-01-13 12:00 - 14:00
Fri, 2017-01-20 12:00 - 14:00
Fri, 2017-01-27 12:00 - 14:00
Fri, 2017-02-03 12:00 - 14:00
Fri, 2017-02-10 12:00 - 14:00
Fri, 2017-02-17 12:00 - 14:00