19619
Vorlesung
WiSe 13/14: V Logik erster Stufe in Theorie und Praxis
Christoph Benzmüller
Hinweise für Studierende
Übungen siehe 19619a
Kommentar
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 ... Lesen Sie weiter
Literaturhinweise
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 ... Lesen Sie weiter
16 Termine
Regelmäßige Termine der Lehrveranstaltung
Fr, 18.10.2013 12:00 - 14:00
Fr, 25.10.2013 12:00 - 14:00
Fr, 01.11.2013 12:00 - 14:00
Fr, 08.11.2013 12:00 - 14:00
Fr, 15.11.2013 12:00 - 14:00
Fr, 22.11.2013 12:00 - 14:00
Fr, 29.11.2013 12:00 - 14:00
Fr, 06.12.2013 12:00 - 14:00
Fr, 13.12.2013 12:00 - 14:00
Fr, 20.12.2013 12:00 - 14:00
Fr, 10.01.2014 12:00 - 14:00
Fr, 17.01.2014 12:00 - 14:00
Fr, 24.01.2014 12:00 - 14:00
Fr, 31.01.2014 12:00 - 14:00
Fr, 07.02.2014 12:00 - 14:00
Fr, 14.02.2014 12:00 - 14:00