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

Subjects A - Z