SS 2012: Logik - Folien und Übungsblätter

Folien

Die Folien werden ähnlich zu den Folien im Sommersemester 2011 sein. Sie sind von der Webseite der letztjährigen Vorlesung erhältlich.

Hinweis: s/w = schwarz-weiß

Folien, unterteilt in Kapitel

Organisatorisches und Einführung

Aussagenlogik

Prädikatenlogik

Übungsblätter

  • Übungsblatt 1: [pdf]
    Datum: 18.04.12
    Abgabe: 25.04.12
  • Übungsblatt 2: [pdf] (aktualisiert)
    Datum: 25.04.12
    Abgabe: 02.05.12
  • Übungsblatt 3: [pdf]
    Datum: 02.05.12
    Abgabe: 09.05.12
  • Übungsblatt 4: [pdf]
    Datum: 09.05.12
    Abgabe: 16.05.12
  • Übungsblatt 5: [pdf]
    Datum: 16.05.12
    Abgabe: 23.05.12
  • Übungsblatt 6: [pdf]
    Datum: 23.05.12
    Abgabe: 30.05.12
  • Übungsblatt 7: [pdf]
    Datum: 06.06.12
    Abgabe: 13.06.12
  • Übungsblatt 8: [pdf]
    Datum: 13.06.12
    Abgabe: 20.06.12
  • Übungsblatt 9: [pdf]
    Datum: 20.06.12
    Abgabe: 27.06.12
  • Übungsblatt 10: [pdf]
    Datum: 27.06.12
    Abgabe: 04.07.12
  • Übungsblatt 11: [pdf] (Link aktualisiert)
    Datum: 04.06.12
    Abgabe: 12.07.12 (Verlängerte Abgabe!)
    Wegen verspäteter Verfügbarkeit des Aufgabenblattes ist die Abgabefrist (für das 11. Aufgabenblatt) verlängert worden.
  • Übungsblatt 12: [pdf]
    Datum: 11.07.12
    Abgabe: 18.07.12
© Universität Duisburg-Essen, Lehrstuhl Theoretische InformatikLogin