MiG

Proseminar: Logik

(19317510)

Dozent/in

Alexander Steen, Max Wisniewski, Christoph Benzmüller

Anmeldemodalität

Raum

Arnimallee 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. (....)