19317510 Undergraduate Course

SoSe 15: Proseminar: Logik

Christoph Benzmüller

Comments

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

close

14 Class schedule

Additional appointments

Tue, 2015-04-07 10:00 - 12:00
Vorbesprechungstermin

Lecturers:
PD Dr. Christoph Benzmüller

Location:
SR 140/A7 Seminarraum (Hinterhaus) (Arnimallee 7)

Mon, 2015-07-06 12:00 - 15:00

Lecturers:
PD Dr. Christoph Benzmüller

Location:
2.2059 Seminarraum (Fabeckstr. 23-25)

Fri, 2015-07-10 12:00 - 15:00

Lecturers:
PD Dr. Christoph Benzmüller

Location:
SR 031/A7 (Arnimallee 7)

Regular appointments

Tue, 2015-04-14 10:00 - 12:00

Lecturers:
PD Dr. Christoph Benzmüller

Location:
SR 140/A7 Seminarraum (Hinterhaus) (Arnimallee 7)

Tue, 2015-04-21 10:00 - 12:00

Lecturers:
PD Dr. Christoph Benzmüller

Location:
SR 140/A7 Seminarraum (Hinterhaus) (Arnimallee 7)

Tue, 2015-04-28 10:00 - 12:00

Lecturers:
PD Dr. Christoph Benzmüller

Location:
SR 140/A7 Seminarraum (Hinterhaus) (Arnimallee 7)

Tue, 2015-05-05 10:00 - 12:00

Lecturers:
PD Dr. Christoph Benzmüller

Location:
SR 140/A7 Seminarraum (Hinterhaus) (Arnimallee 7)

Tue, 2015-05-12 10:00 - 12:00

Lecturers:
PD Dr. Christoph Benzmüller

Location:
SR 140/A7 Seminarraum (Hinterhaus) (Arnimallee 7)

Tue, 2015-05-19 10:00 - 12:00

Lecturers:
PD Dr. Christoph Benzmüller

Location:
SR 140/A7 Seminarraum (Hinterhaus) (Arnimallee 7)

Tue, 2015-05-26 10:00 - 12:00

Lecturers:
PD Dr. Christoph Benzmüller

Location:
SR 140/A7 Seminarraum (Hinterhaus) (Arnimallee 7)

Tue, 2015-06-02 10:00 - 12:00

Lecturers:
PD Dr. Christoph Benzmüller

Location:
SR 140/A7 Seminarraum (Hinterhaus) (Arnimallee 7)

Tue, 2015-06-09 10:00 - 12:00

Lecturers:
PD Dr. Christoph Benzmüller

Location:
SR 140/A7 Seminarraum (Hinterhaus) (Arnimallee 7)

Tue, 2015-06-16 10:00 - 12:00

Lecturers:
PD Dr. Christoph Benzmüller

Location:
SR 140/A7 Seminarraum (Hinterhaus) (Arnimallee 7)

Tue, 2015-06-23 10:00 - 12:00

Lecturers:
PD Dr. Christoph Benzmüller

Location:
SR 140/A7 Seminarraum (Hinterhaus) (Arnimallee 7)

Tue, 2015-06-30 10:00 - 12:00

Lecturers:
PD Dr. Christoph Benzmüller

Location:
SR 140/A7 Seminarraum (Hinterhaus) (Arnimallee 7)

Tue, 2015-07-07 10:00 - 12:00

Lecturers:
PD Dr. Christoph Benzmüller

Location:
SR 140/A7 Seminarraum (Hinterhaus) (Arnimallee 7)

Tue, 2015-07-14 10:00 - 12:00

Lecturers:
PD Dr. Christoph Benzmüller

Location:
SR 140/A7 Seminarraum (Hinterhaus) (Arnimallee 7)

Subjects A - Z