Über die Veranstaltung
- Wir werden die Grundlagen der formalen Logik kennen lernen: Aussagenlogik, Prädikatenlogik, Induktion; Wahrheitstabellen, natürliches Schließen, Syntax und Semantik, Vollständigkeit und Korrektheit.
- Schwerpunkt dabei ist die Formalisierung zu lernen, oder die Kunst Aussagen in formaler Logik ausdrücken. Das ist die Grundlage für die Anwendungen formaler Logik in der Informatik, und im wesentlichen auch für das Programmieren. Wir werden das Arbeiten (Beweisen) mit formaler Logik trainieren, und uns Beweiskalküle und Beweisprozeduren anschauen und vielleicht einige davon tatsächlich programmieren.
- Gegen Ende werden wir uns dann den Grenzen der Logik und den sagenumwobenen Gödelschen Unvollständigkeitssätzen zuwenden.
Form
Die Veranstaltung findet als interaktiver Kurs statt, mit zwei Veranstaltungsterminen pro Woche. Dabei planen wir keine Vorlesung mit Folien und Frontalbeschallung, sondern viele interaktive Übungen und Arbeit an der Tafel.