Logik. Eine Einführung

Vorlesung 2-stdg. Dienstag, 10-12 Uhr

Raum: Aula

Termine: ab 8.4.2014

BA: IVc
ZEP: A

Wichtiger Hinweis: Die Materialien zur Vorlesung finden Sie jetzt im Ordner »Materialien« (s. links in der Navigation).

Thematik

Die Vorlesung bietet eine erste Einführung in die moderne formale Logik, insbesondere die Aussagenlogik und Prädikatenlogik erster Stufe.

Ziele

Die Veranstaltung soll die Fähigkeit vermitteln, einfachere normalsprachliche Argumente auf ihre logische Struktur hin zu untersuchen und in eine formale Sprache zu übersetzen, sowie die Fähigkeit, einfachere Beweise der Aussagenlogik und der Prädikatenlogik erster Stufe selbständig zu entwickeln.

Methode

Vorlesung mit Möglichkeit der Rückfrage

Voraussetzungen

Keine

Qualifikation

Einstündige Klausur

Literatur

Als Textbuch für die Vorlesung wird dienen: Bucher, Theodor G., Einführung in die angewandte Logik, Berlin, 2. Aufl., 1998.