Institute of

Theoretical Computer Science

Carl-Friedrich-Gauß-Fakultät

Technische Universität Braunschweig

Logik 2016

For information in English, see below.

Neuigkeiten

Vorlesung

Übungen

Übungsblätter

Die Übungsblätter werden hier zur Verfügung gestellt. Bei Fragen zu den Übungsblättern wenden Sie sich an Ihren Tutor oder an Sebastian.

Material

Zu der Vorlesung gibt es Folien (Stand 21.04.2015). Ein älteres Skript sowie ältere Folien sind ebenfalls verfügbar. Ferner gibt es handschriftliche Notizen zu einzelnen Themen der Vorlesung.
  1. Iteratives Bounded-Model-Checking. (Woche 1)
  2. Syntax und Semantik der Aussagenlogik, Kompaktheitssatz. (Woche 2, 3)
  3. Deduktionstheorem, Beweise. (Woche 4)
  4. Vollständigkeit, Sequenzen, Tableaus. (Woche 5)
  5. Beispiele Davis-Putnam und Resolution, Widerlegungsvollständigkeit der Resolution. (Woche 6)
  6. Syntax und Semantik der Prädikatenlogik erster Stufe. (Woche 7)
  7. Substitution und Normalformen. (Woche 8)
  8. Herbrand-Theorie. (Woche 9)
  9. Allgemeingültigkeit. (Woche 10)
  10. Kompaktheitssatz. (Woche 11)
  11. Theorien. (Woche 12)
  12. Tableaus und Unifikation. (Woche 13)
  13. Prädikatenlogische Resolution. (Woche 14)
  14. Zusätzliche Notizen zu Nichtstandardmodellen.

Prüfungsmodalitäten

Es werden eine Zwischenklausur sowie eine Abschlussklausur geschrieben. Um zur Modulprüfung (Abschlussklausur) zugelassen zu werden sind die folgenden Voraussetzungen zu erfüllen: Wenn Sie in einem vergangen Semester alle Bedingungen erfüllt hatten, müssen Sie die Klausurzulassung nicht erneut erwerben, auch wenn wir Ihnen dazu raten, die Übungen zu bearbeiten. Wenn Sie allerdings nur einen Teil der Bedingungen erfüllt hatten, müssen Sie in diesem Semester alle Bedingungen erneut erfüllen, um die Klausurzulassung zu erwerben.

1. Zwischenklausur

1. Abschlussklausur & 2. Zwischenklausur

2. Abschlussklausur / Nachklausur

Software

Literatur

Information in English

If you want additional information or a different presentation of the contents of the lecture, you may find these links useful: