Springe direkt zu Inhalt

Proseminar: Logik

(19317510)

Dozent/inChristoph Benzmüller
Anmeldemodalität
RaumArnimallee 7, SR140
Zeit

Dienstags von 10-12 Uhr

Vorbesprechung am 07.04.2015, 14-16 Uhr, SR140 der Arnimallee 7

Links auf Kursbeschreibung

In diesem Prosemnar sollen grundlegende Inhalte ü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. (....)