Uni des Saarlandes
Informatik
Programmiersysteme
Vorlesungen
LSV SS-02


Hauptseite
Termine
Literatur
Übungen
Klausuren
Mailingliste
Software
Skript

Übungen: Logik, Semantik und Verifikation

Zugelasssen zur Klausur sind die Teilnehmer : hier klicken

Übungsblätter

Alle Übungsblätter werden sie an dieser Stelle finden. Abgabetermin ist jeweils montags in der Vorlesungspause. Bitte kennzeichnen Sie Ihre Übung mit Ihrer Übungsgruppennummer! Jede Übung darf nur von einem Teilnehmer angefertigt werden. Stehen mehrere Namen auf einer Übung, so wird nur der erste Name (im Zweifelsfall kein Name) gewertet. Mit Ausnahme von den Programmieraufgaben müssen alle Aufgaben handschriftlich zu Papier gebracht werden.

  1. Übungsblatt [PDF|PS].

  2. Übungsblatt [PDF|PS].

  3. Übungsblatt [PDF|PS].

  4. Übungsblatt [PDF|PS].

  5. Übungsblatt [PDF|PS].

  6. Übungsblatt [PDF|PS].

  7. Übungsblatt [PDF|PS].

  8. Übungsblatt [PDF|PS].

  9. Übungsblatt [PDF|PS].

  10. Übungsblatt [PDF|PS].

  11. Übungsblatt [PDF|PS].

  12. Übungsblatt [PDF|PS].

  13. Übungsblatt [PDF|PS].

Alte Klausuren

Für die Vorbereitung zur Klausur lohnt es sich, einen Blick in die alten Klausuren zu werfen. Allerdings ist ihr Inhalt nicht mehr repräsentativ, da sich die Struktur der Vorlesung geändert hat.

1. Klausur. [PDF|PS]
2. Klausur. [PDF|PS]

Termine
Tim Priesnitz, Letzte Änderung: Do 01 Jan 1970 00:00:00 UTC.