19619
Lecture
WiSe 12/13: Logik erster Stufe in Theorie und Praxis
Christoph Benzmüller; Raul Rojas Gonzales
Additional information / Pre-requisites
1,2,4
Blockveranstaltung vor WS12/13 - Täglich von 9-18 Uhr in SR031, Arnimallee 5/7
Comments
Inhalt 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 ... read more
9 Class schedule
Regular appointments
Mon, 2012-10-01 09:00 - 18:00
Tue, 2012-10-02 09:00 - 18:00
Thu, 2012-10-04 09:00 - 18:00
Fri, 2012-10-05 09:00 - 18:00
Mon, 2012-10-08 09:00 - 18:00
Tue, 2012-10-09 09:00 - 18:00
Wed, 2012-10-10 09:00 - 18:00
Thu, 2012-10-11 09:00 - 18:00
Fri, 2012-10-12 09:00 - 18:00