Einführung in die Logik und Mengenlehre (Introduction to Logic and Set Theory)
Prof. Dr. Frieder Stolzenburg - Wintersemester
2011 - Hochschule Harz in
Wernigerode
Kurzbeschreibung
Durch die Entwicklung neuerer Anwendungen wie Automatisches Beweisen und
Logik-Programmierung hat Logik, Mathematik und Mengenlehre einen neuen und
wichtigen Stellenwert in der Informatik erhalten, z.B. bei der Erstellung
sicherer Software und der Programmverifikation. Die Veranstaltung bietet neben
der Vermittlung der nötigen theoretischen Kenntnisse auch eine Einführung in
den Umgang mit Theorembeweisern.
Die Veranstaltung hat ihren Platz in den Bachelorstudiengängen Informatik
und Informatik/E-Administration im 1. Semester. Die Veranstaltung besteht aus
Vorlesung (2 SWS) und Übung (1 SWS) sowie zusätzlich einem Tutorium. Nach
erfolgreichem Abschluss durch eine Klausur (90min) erhalten die Teilnehmer einen
benoteten Schein und 3 CP.
Termine
- Vorlesung und Übung: Donnerstag, 8.00-10.30 Uhr, Raum 3.101
(Skript)
Beginn: Montag, 19.09.2011, 15.15-16.45 Uhr, Raum 3.101 (Ersatztermin!)
- Übungsaufgaben (Abgabe bis):
- Tutorium: Montag,
11.30-13.00 Uhr, Hörsaal C (Florian
Ruh)
Beginn: 26.09.2011
- Klausur: Freitag, 13.1.2012, 12.30-14.00 Uhr, Audimax (Raum 9.129)
(Beispiel)
Gliederung und Inhalt
- Grundlagen
- Mengen und Relationen
- Algebraische Strukturen
- Vollständige, strukturelle und transfinite Induktion
- Aussagenlogik
- Syntax und Semantik
- Äquivalenz und Normalformen
- Resolution (mit otter)
- Endlichkeitssatz
- Prädikatenlogik
Literatur
- Dietlinde Lau:
Algebra und Diskrete Mathematik 1.
Springer-Verlag, Berlin, Heidelberg, New York, 2011.
- William W. McCune:
Otter -
An Automated Deduction System. National
Laboratory, Argonne, IL, 2003.
- Uwe Schöning: Logik für Informatiker.
Spektrum Akademischer Verlag, 5. Auflage, 2000.
- Frieder Stolzenburg: Logik für Informatiker.
Hochschule Harz, fortlaufend aktualisiert. Skript zur Vorlesung.