SS 2011: Modellierung nebenläufiger Systeme - Folien und Übungsblätter

Folien

Die Folien werden im Laufe der Vorlesung hier als PDF zum Download bereit gestellt.

Hinweis: s/w = schwarz-weiß

Folien, unterteilt in Kapitel

Slides (in English)

The slides have been translated into English and are provided here as PDFs. Please send an e-mail if you find typos or other mistakes.

Remark: b/w = black-and-white

Slides grouped into chapters

Wörterbuch/Dictionary

Übungsblätter

  • Übungsblatt 1 [PDF]
  • Übungsblatt 2 [PDF]
  • Übungsblatt 3 [PDF]
    Testatblatt! (Dieses Blatt muss zur Erlangung der Bonuspunkte bearbeitet und abgegeben werden.)
  • Übungsblatt 4 [PDF]
  • Übungsblatt 5 [PDF]
  • Übungsblatt 6 [PDF]
  • Übungsblatt 7 [PDF]
    Testatblatt! (Dieses Blatt muss zur Erlangung der Bonuspunkte bearbeitet und abgegeben werden.)
  • Übungsblatt 8 [PDF]
  • Übungsblatt 9 [PDF]
    (Nach der Besprechung der Aufgaben findet in der Übung eine Wiederholungsstunde statt.)

Frühere Klausur

Eine Klausur aus dem WS 2008/09 steht hier zum Download zur Verfügung.

Notizen zur Vorlesung

Notizen (Stand: 1.6.11): [PDF]

© Universität Duisburg-Essen, Lehrstuhl Theoretische InformatikLogin