WS 2011/12: Modellierung, Analyse, Verifikation - Skript, Folien und Übungsblätter

Skript

Folien

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

Hinweis: s/w = schwarz-weiß

Folien, unterteilt in Kapitel

Übungsblätter

  • Übungsblatt 1: [pdf]
    Datum: 19.10.11
    Besprechung: 27.10.11
  • Übungsblatt 2: [pdf]
    Datum: 26.10.11
    Besprechung: 03.11.11
  • Übungsblatt 3: [pdf]
    Datum: 2.11.11
    Besprechung: 09.11.11
  • Übungsblatt 4 (Testatblatt): [pdf]
    Datum: 10.11.11
    Besprechung: 17.11.11
  • Übungsblatt 5: [pdf]
    Datum: 16.11.11
    Besprechung: 24.11.11
  • Übungsblatt 6: [pdf]
    Datum: 23.11.11
    Besprechung: 30.11.11
  • Übungsblatt 7 (Testatblatt): [pdf]
    Datum: 30.11.11
    Besprechung: 08.12.11
  • Übungsblatt 8: [pdf]
    Datum: 07.12.11
    Besprechung: 15.12.11
  • Übungsblatt 9: [pdf]
    Datum: 14.12.11
    Besprechung: 22.12.11
  • Übungsblatt 10 (Testatblatt): [pdf]
    Datum: 21.12.11
    Besprechung: 12.01.12
  • Übungsblatt 11: [pdf]
    Datum: 11.01.12
    Besprechung: 19.01.12
  • Übungsblatt 12: [pdf]
    Datum: 18.01.12
    Besprechung: 26.01.12
  • Übungsblatt 13: [pdf]
    Datum: 25.01.12
    Besprechung: 02.02.12
© Universität Duisburg-Essen, Lehrstuhl Theoretische InformatikLogin