19313902
Übung
WiSe 14/15: Expressive Logiken - Theorie, Mechanisierung, Anwendungen
Christoph Benzmüller
Hinweise für Studierende
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 ... Lesen Sie weiter
Kommentar
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 ... Lesen Sie weiter
9 Termine
Regelmäßige Termine der Lehrveranstaltung
Mo, 29.09.2014 13:00 - 18:00
Di, 30.09.2014 13:00 - 18:00
Mi, 01.10.2014 13:00 - 18:00
Do, 02.10.2014 13:00 - 18:00
Mo, 06.10.2014 13:00 - 18:00
Di, 07.10.2014 13:00 - 18:00
Mi, 08.10.2014 13:00 - 18:00
Do, 09.10.2014 13:00 - 18:00
Fr, 10.10.2014 13:00 - 18:00