SS 2011: Logik - Folien und Übungsblätter

Folien

Die Folien werden ähnlich zu den Folien im Sommersemester 2010 sein.

Hinweis: s/w = schwarz-weiß

Folien, unterteilt in Kapitel

Organisatorisches und Einführung

Aussagenlogik

Prädikatenlogik

Übungsblätter

  • Übungsblatt 1: [pdf]
    Datum: 13.04.11
    Abgabe: 20.04.11
  • Übungsblatt 2: [pdf]
    Datum: 20.04.11
    Abgabe: 27.04.11
  • Übungsblatt 3: [pdf]
    Datum: 27.04.11
    Abgabe: 04.05.11
  • Übungsblatt 4: [pdf]
    Datum: 04.05.11
    Abgabe: 11.05.11
  • Übungsblatt 5: [pdf]
    Datum: 11.05.11
    Abgabe: 18.05.11
  • Übungsblatt 6: [pdf]
    Datum: 18.05.11
    Abgabe: 25.05.11
  • Übungsblatt 7: [pdf]
    Datum: 25.05.11
    Abgabe: 01.06.11
  • Übungsblatt 8: [pdf]
    Datum: 01.06.11
    Abgabe: 08.06.11
  • Übungsblatt 9: [pdf]
    Datum: 08.06.11
    Abgabe: 15.06.11
  • Übungsblatt 10: [pdf]
    Datum: 22.06.11
    Abgabe: 29.06.11
  • Übungsblatt 11: [pdf]
    Datum: 29.06.11
    Abgabe: 06.07.11
  • Übungsblatt 12: [pdf]
    Datum: 06.07.11
    Abgabe: 13.07.11
    Hinweis: Die korrigierten Abgaben können in der Woche vom 18. Juli bis zum 22. Juli jeweils zwischen 10 Uhr und 12 Uhr in Raum LF 263 abgeholt werden.
© Universität Duisburg-Essen, Lehrstuhl Theoretische InformatikLogin