19313902
Practice seminar
WiSe 14/15: Expressive Logiken - Theorie, Mechanisierung, Anwendungen
Christoph Benzmüller
Information for students
Klausur am 20.10.14, 18-20 Uhr, SR031, Arnimallee 7
Voraussetzungen: Empfohlen (aber nicht zwingend erforderlich) sind Grundlagenkenntnisse
in der Theoretischen Informatik, der Funktionalen ... read more
Comments
Themen der Vorlesung und der Übungen:
Einfach getypter Lambda-Kalkül: wichtigste theoretische Eigenschaften, Church Numerals
Einführung in die Logik höherer Stufe (HOL): Historie und ... read more
9 Class schedule
Regular appointments
Mon, 2014-09-29 13:00 - 18:00
Tue, 2014-09-30 13:00 - 18:00
Wed, 2014-10-01 13:00 - 18:00
Thu, 2014-10-02 13:00 - 18:00
Mon, 2014-10-06 13:00 - 18:00
Tue, 2014-10-07 13:00 - 18:00
Wed, 2014-10-08 13:00 - 18:00
Thu, 2014-10-09 13:00 - 18:00
Fri, 2014-10-10 13:00 - 18:00