19324417
Seminar/Proseminar
WiSe 16/17: Seminar/Proseminar: Higher-Order Theorem Proving
Alexander Steen, Max Peter Wisniewski
Zusätzl. Angaben / Voraussetzungen
Zusätzliche Informationen: Die Veranstaltungsseite ist unter https://kvv.imp.fu-berlin.de/portal/site/55834098-fcdb-47ba-9fc6-e83a3c79236f/ erreichbar. Lesen Sie weiter
Kommentar
In diesem Seminar werden sowohl theoretische Grundlagen als auch aktuelle Techniken zur Realisation von interaktiven und automatischen Theorembeweisern für klassische Logik höherer Stufe ... Lesen Sie weiter
Literaturhinweise
Literatur: Wird auf der Veranstaltungsseite bekanntgegeben.
16 Termine
Zusätzliche Termine
Do, 06.10.2016 14:00 - 16:00Vorbesprechung
Regelmäßige Termine der Lehrveranstaltung
Do, 20.10.2016 14:00 - 16:00
Do, 27.10.2016 14:00 - 16:00
Do, 03.11.2016 14:00 - 16:00
Do, 10.11.2016 14:00 - 16:00
Do, 17.11.2016 14:00 - 16:00
Do, 24.11.2016 14:00 - 16:00
Do, 01.12.2016 14:00 - 16:00
Do, 08.12.2016 14:00 - 16:00
Do, 15.12.2016 14:00 - 16:00
Do, 05.01.2017 14:00 - 16:00
Do, 12.01.2017 14:00 - 16:00
Do, 19.01.2017 14:00 - 16:00
Do, 26.01.2017 14:00 - 16:00
Do, 02.02.2017 14:00 - 16:00
Do, 09.02.2017 14:00 - 16:00
Do, 16.02.2017 14:00 - 16:00