19313901
Lecture
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 09:00 - 13:00
Tue, 2014-09-30 09:00 - 13:00
Wed, 2014-10-01 09:00 - 13:00
Thu, 2014-10-02 09:00 - 13:00
Mon, 2014-10-06 09:00 - 13:00
Tue, 2014-10-07 09:00 - 13:00
Wed, 2014-10-08 09:00 - 13:00
Thu, 2014-10-09 09:00 - 13:00
Fri, 2014-10-10 09:00 - 13:00