Computationelle Logik

Einführung in die computationelle Logik

Montag, 10:30 – 12:00 2801.HS Sport (bzw. nebenan in 2801.00.012 nebenan, der Hörsaal ist einige Male im Semester besetzt)
Dienstag 12:30 – 14:00 Raum 2321.04.23

Bitte beachten Sie auch folgende Richtlinien zur Abgabe der Hausaufgaben. Abgabe bitte per email an Viet Dinh <vidin101@uni-duesseldorf.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
Ü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:
Axiomatik, partielle und lineare Ordnungen

Weihnachten

Woche 11:
Partielle und lineare Ordnungen, Bäume
Hauaufgabe 10

Woche 12:
Bäume, Peano Arithmetik
Hausaufgabe 11

Woche 13
Peano Arithmetik, Prenex Normalform
Hausaufgabe 12

 


#################################################

Eine alte Probeklausur

Aktuellste Probeklausur (mit den schwierigen Aufgaben)

Noch eine alte Klausur

Übungsaufgaben zur Modelltheorie pdf

Klausur: