19619
Lecture
WiSe 13/14: V Logik erster Stufe in Theorie und Praxis
Christoph Benzmüller
Information for students
Übungen siehe 19619a
Comments
Diese Vorlesung kombiniert
A) eine kompakte Einführung in die Theorie von Logik erster Stufe mit
B) einem praktischen Training zur Verwendung von Theorembeweisern für die Logik erster Stufe in ... read more
Suggested reading
zu A):
[1] Melvin Fitting, First-Order Logic and Automated Theorem Proving, Springer-Verlag, New York, 1996
[2] John Harrison, Handbook of Practical Logic and Automated Theorem Proving, Springer ... read more
16 Class schedule
Regular appointments
Fri, 2013-10-18 12:00 - 14:00
Fri, 2013-10-25 12:00 - 14:00
Fri, 2013-11-01 12:00 - 14:00
Fri, 2013-11-08 12:00 - 14:00
Fri, 2013-11-15 12:00 - 14:00
Fri, 2013-11-22 12:00 - 14:00
Fri, 2013-11-29 12:00 - 14:00
Fri, 2013-12-06 12:00 - 14:00
Fri, 2013-12-13 12:00 - 14:00
Fri, 2013-12-20 12:00 - 14:00
Fri, 2014-01-10 12:00 - 14:00
Fri, 2014-01-17 12:00 - 14:00
Fri, 2014-01-24 12:00 - 14:00
Fri, 2014-01-31 12:00 - 14:00
Fri, 2014-02-07 12:00 - 14:00
Fri, 2014-02-14 12:00 - 14:00