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

Subjects A - Z