Einführung in die computationelle Logik
Montag, 10:30 – 12:00 2801.HS Sport
Dienstag 10:30 – 12:00 Raum 2321.01.22
Bitte beachten Sie auch folgende Richtlinien zur Abgabe der Hausaufgaben. Abgabe bitte per email an Penelope Müller <Penelope.Mueller@hhu.de>
Dieser Kurs ist eine Einführung in die Logik, allerdings unter dem Gesichtspunkt der Mathematik/Informatik: eine Logik ist für uns eine formale Sprache, die nur dadurch besonders wird, dass ihre Formeln interpretiert werden können. Uns stellen sich die Fragen:
- Welche Eigenschaften können wir mit unseren Logiken ausdrücken?
- Welche Eigenschaften unserer Logiken sind entscheidbar?
- Fallen der syntaktische und semantische Begriff der Wahrheit und Konsequenz zusammen?
Das Seminar teilt sich in einen Vorlesungsteil (Montag) und einen Übungsteil (Dienstag); die Inhalte der Vorlesung stehen im Vorlesungsskript. Als Literatur kann ich empfehlen:
- Dirk van Dalen: Logic and Structure
- Ebbinghaus&Flum: Einführung in die mathematische Logik
Es gibt aber sehr viele sehr gute Einführungen in die Logik und diese Auswahl ist recht willkürlich!
Woche 1:
Vorlesung: fällt aus. Folien zum Studium
Übung: Die Sprache der Aussagenlogik
Woche 2:
Wahrheit und Konsequenz, Wahrheitstafeln
Hausaufgabe 1
Woche 3:
Wahrheitstafeln, Boolesche Funktionen
Hausaufgabe 2
Woche 4:
Beth Tableaux, Entscheidbarkeit
Hausaufgabe 3
Woche 5:
Boolesche Algebren
Hausaufgabe 4
Woche 6:
Boolesche Algebren, Beweistheorie
Hausaufgabe 5
Woche 7:
Beweistheorie, Zusammenfassung Aussagenlogik
Hausaufgabe 6
Woche 8:
Syntax und Semantik der Prädikatenlogik
Hausaufgabe 7
Woche 9:
Beweistheorie der Prädikatenlogik
Hausaufgabe 8
Woche 10:
Beweistheorie, Axiomatik, partielle und lineare Ordnungen
Hausaufgabe 9
Woche 11
Bäume, das Unendliche
Weihnachten
Woche 12:
Bäume, Arithmetik
Hausaufgabe 10
Woche 12:
Peano Arithmetik
Hausaufgabe 11
Woche 13
Unentscheidbarkeit, Prenex Normalform
Hausaufgabe 12
#################################################
Übungsaufgaben zur Modelltheorie pdf