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:00
Prü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

Subjects A - Z