Logo - Fakultät für Mathematik und Informatik Illustration

Kurs 01926

Illustration

Seminar zur Logik

Betreuung:

Seminar wird im aktuellen Wintersemester 2014/2015 angeboten.

Es stehen keine freien Plätze mehr zur Verfügung.

Das Lehrgebiet Algorithmen und Komplexität bietet im Wintersemester 2014/15 ein einführendes Seminar zur Logik an, das sich insbesondere an Studierende im Studiengang Bachelor of Science in Informatik richtet.

Gegenstand des Seminars ist der klassische Text "Einführung in die mathematische Logik" von Alfred Tarski (Vandenhoeck & Ruprecht, Göttingen). Das Buch müssen sich die Teilnehmenden vorab beschaffen.

Voraussetzungen:
Keine.

Ablauf:
Die Vortragsthemen werden ca. Mitte September 2014 vergeben. Ein Konzept ist dann bis Anfang Dezember 2014, eine vollständige Ausarbeitung bis Anfang Februar 2015 zu erstellen. Die Präsenzveranstaltung des Seminars findet am 07. und 08.03.2015 in Hagen statt.

Auskunft erteilt:
Apl. Prof. Dr. B. Heinemann, Telefon (02331)987-2714,
E-Mail: Bernhard.Heinemann@FernUni-Hagen.de

AuK Webteam | 29.09.2014
FernUni-Logo FernUniversität in Hagen, Fakultät für Mathematik und Informatik, Lehrgebiet Algorithmen und Komplexität, 58084 Hagen, Tel.: +49 2331 987-2823