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:00
Vorbesprechung

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

Studienfächer A-Z