19317510 Proseminar

SoSe 15: Proseminar: Logik

Christoph Benzmüller

Kommentar

In diesem Prosemnar sollen grundlegende Inhalte ül;ber Propositionallogik und Logik erster Stufe, besonders aber über deren Automatisierung, erarbeitet und diskutiert werden. Dabei werden wir uns zu Beginn der Veranstaltung mit einfacher Propositionallogik (d.h. Logik ohne Quantoren und Funktionen) auseinandersetzen und einige formale Begrifflichkeiten und mathematische Resultate, z.B. über Entscheidbarkeit und Komplexität, kennenlernen.

Im weiteren Verlauf der Veranstaltung wird dann die Automatisierung der Logiken, vor allem von Logik erster Stufe, im Fokus stehen. Hierbei werden formale Resultate und praktische Techniken vorgestellt, die in automatischen Theorembeweisern zum Einsatz kommen. Einige Entscheidungskomponenten von Theorembeweisern werden implementiert (wahrscheinlich in Haskell) und mit formalen Hintergrund vorgestellt und diskutiert.

Wenn genug Zeit bleibt, können nicht-klassische Erweiterungen wie z.B. propositionale Modallogik oder Beschreibungslogik diskutiert werden. Es können, je nach Situation, auch geschichtliche Entwicklungen und philosophische Relevanz der Logiken (bzw. Aspekte davon) thematisiert werden.

Zur Veranstaltungsseite

Schließen

14 Termine

Zusätzliche Termine

Di, 07.04.2015 10:00 - 12:00
Vorbesprechungstermin

Dozenten:
PD Dr. Christoph Benzmüller

Räume:
SR 140/A7 Seminarraum (Hinterhaus) (Arnimallee 7)

Mo, 06.07.2015 12:00 - 15:00

Dozenten:
PD Dr. Christoph Benzmüller

Räume:
2.2059 Seminarraum (Fabeckstr. 23-25)

Fr, 10.07.2015 12:00 - 15:00

Dozenten:
PD Dr. Christoph Benzmüller

Räume:
SR 031/A7 (Arnimallee 7)

Regelmäßige Termine der Lehrveranstaltung

Di, 14.04.2015 10:00 - 12:00

Dozenten:
PD Dr. Christoph Benzmüller

Räume:
SR 140/A7 Seminarraum (Hinterhaus) (Arnimallee 7)

Di, 21.04.2015 10:00 - 12:00

Dozenten:
PD Dr. Christoph Benzmüller

Räume:
SR 140/A7 Seminarraum (Hinterhaus) (Arnimallee 7)

Di, 28.04.2015 10:00 - 12:00

Dozenten:
PD Dr. Christoph Benzmüller

Räume:
SR 140/A7 Seminarraum (Hinterhaus) (Arnimallee 7)

Di, 05.05.2015 10:00 - 12:00

Dozenten:
PD Dr. Christoph Benzmüller

Räume:
SR 140/A7 Seminarraum (Hinterhaus) (Arnimallee 7)

Di, 12.05.2015 10:00 - 12:00

Dozenten:
PD Dr. Christoph Benzmüller

Räume:
SR 140/A7 Seminarraum (Hinterhaus) (Arnimallee 7)

Di, 19.05.2015 10:00 - 12:00

Dozenten:
PD Dr. Christoph Benzmüller

Räume:
SR 140/A7 Seminarraum (Hinterhaus) (Arnimallee 7)

Di, 26.05.2015 10:00 - 12:00

Dozenten:
PD Dr. Christoph Benzmüller

Räume:
SR 140/A7 Seminarraum (Hinterhaus) (Arnimallee 7)

Di, 02.06.2015 10:00 - 12:00

Dozenten:
PD Dr. Christoph Benzmüller

Räume:
SR 140/A7 Seminarraum (Hinterhaus) (Arnimallee 7)

Di, 09.06.2015 10:00 - 12:00

Dozenten:
PD Dr. Christoph Benzmüller

Räume:
SR 140/A7 Seminarraum (Hinterhaus) (Arnimallee 7)

Di, 16.06.2015 10:00 - 12:00

Dozenten:
PD Dr. Christoph Benzmüller

Räume:
SR 140/A7 Seminarraum (Hinterhaus) (Arnimallee 7)

Di, 23.06.2015 10:00 - 12:00

Dozenten:
PD Dr. Christoph Benzmüller

Räume:
SR 140/A7 Seminarraum (Hinterhaus) (Arnimallee 7)

Di, 30.06.2015 10:00 - 12:00

Dozenten:
PD Dr. Christoph Benzmüller

Räume:
SR 140/A7 Seminarraum (Hinterhaus) (Arnimallee 7)

Di, 07.07.2015 10:00 - 12:00

Dozenten:
PD Dr. Christoph Benzmüller

Räume:
SR 140/A7 Seminarraum (Hinterhaus) (Arnimallee 7)

Di, 14.07.2015 10:00 - 12:00

Dozenten:
PD Dr. Christoph Benzmüller

Räume:
SR 140/A7 Seminarraum (Hinterhaus) (Arnimallee 7)

Studienfächer A-Z