SS 2011: Logik - Folien und Übungsblätter

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

Hinweis: s/w = schwarz-weiß

• Alle Folien (Stand: 13.7.11): [1x1] [2x2] [1x1 (s/w)] [2x2 (s/w)]

Folien, unterteilt in Kapitel

Organisatorisches und Einführung

• Organisation (Stand: 6.4.11) [1x1] [2x2] [1x1 (s/w)] [2x2 (s/w)]
• Einführung (Stand: 6.4.11) [1x1] [2x2] [1x1 (s/w)] [2x2 (s/w)]

Aussagenlogik

• Grundbegriffe, Äquivalenz und Normalformen (Stand: 27.4.11) [1x1] [2x2] [1x1 (s/w)] [2x2 (s/w)]
• Resolution (Stand: 11.5.11) [1x1] [2x2] [1x1 (s/w)] [2x2 (s/w)]

Prädikatenlogik

• Grundbegriffe, Äquivalenz und Normalformen (Stand: 8.6.11) [1x1] [2x2] [1x1 (s/w)] [2x2 (s/w)]
• Herbrandtheorie und Resolution (Stand: 6.7.11) [1x1] [2x2] [1x1 (s/w)] [2x2 (s/w)]
• Grundlagen der Logik-Programmierung und Ausblick (Stand: 13.7.11) [1x1] [2x2] [1x1 (s/w)] [2x2 (s/w)]

• Ü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.