Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.
I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Logik WS 07/08

  Neuigkeiten | Termine | Motivation | Inhalt | Übungen | Folien | Software | Literatur

Die Vorlesung wird durch eine Zentralübung ergänzt, die jede Woche freitags um 12 Uhr stattfindet, erstmals in der zweiten Vorlesungswoche. In dieser Übung wird jeweils ein Aufgabenblatt besprochen, das eine Woche zuvor ausgeteilt wird. Von den Teilnehmern wird erwartet, dass sie sich vor der Übung mit dem Aufgabenblatt beschäftigen und es zu lösen versuchen.

Übungsblätter

Hier finden Sie die bis jetzt ausgegebenen Übungsblätter:
  • Übungsblatt 1 für den 26. Oktober: [PDF], [PS]
  • Übungsblatt 2 für den 2. November: [PDF], [PS], Programm zum Lösen von Sudokus: [tar.gz]
  • Übungsblatt 3 für den 9. November: [PDF], [PS]
  • Übungsblatt 4 für den 16. November: [PDF], [PS]
  • Übungsblatt 5 für den 23. November: [PDF], [PS]
  • Übungsblatt 6 für den 30. November: [PDF], [PS]
  • Übungsblatt 7 für den 7. Dezember: [PDF], [PS]
  • Übungsblatt 8 für den 14. Dezember: [PDF], [PS]
  • Übungsblatt 9 für den 21. Dezember: [PDF], [PS]
  • Übungsblatt 10 für den 11. Januar: [PDF], [PS]
  • Übungsblatt 11 für den 18. Januar: [PDF], [PS]
  • Übungsblatt 12 für den 25. Januar: [PDF], [PS]
  • Übungsblatt 13 für den 1. Februar: [PDF], [PS]

Informationsblätter

Hier finden Sie gelegentlich Blätter mit weiteren Erläuterungen zu den Übungen.
  • Infoblatt zu Limboole: [PDF], [PS]
  • Infoblatt zu KV-Diagrammen: [PDF], [PS]
  • Infoblatt zu Otter: [PDF], [PS]

Lösungen

Hier sind Lösungsvorschläge zu den Übungsblättern (soweit vorhanden):
  • Übungsblatt 1: [PDF], [PS]
  • Übungsblatt 2: [PDF], [PS], fertiges Sudoku-Programm: sdk2lim.c
  • Übungsblatt 3: [PDF], [PS]
  • Übungsblatt 4: [PDF], [PS]
  • Übungsblatt 5: [PDF], [PS]
  • Übungsblatt 6: [PDF], [PS]
  • Übungsblatt 7: [PDF], [PS]
  • Übungsblatt 8: [PDF], [PS]
  • Übungsblatt 9: [PDF], [PS]
  • Übungsblatt 10: [PDF], [PS]
  • Übungsblatt 11: [PDF], [PS]
  • Übungsblatt 12: [PDF], [PS]
  • Übungsblatt 13: [PDF], [PS]