WS 2013/14: Modellierung, Analyse, Verifikation - Skript, Folien und Übungsblätter

Skript

Folien

Die Folien werden ähnlich zu den Folien im Wintersemester 2012/13 sein.

Hinweis: s/w = schwarz-weiß

Folien, unterteilt in Kapitel

Übungsblätter

  • Übungsblatt 1: [pdf]
    Datum: 24.10.13
    Besprechung: 31.10.13
  • Übungsblatt 2: [pdf]
    Datum: 07.11.13
    Besprechung: 14.11.13
  • Übungsblatt 3 (Testatblatt): [pdf]
    Datum: 21.11.13
    Besprechung: 28.11.13
  • Übungsblatt 4: [pdf]
    Datum: 05.12.13
    Besprechung: 12.12.13
  • Übungsblatt 5: [pdf]
    Datum: 19.12.13
    Besprechung: 09.01.14
  • Übungsblatt 6: [pdf]
    Datum: 16.12.13
    Besprechung: 23.01.14
  • Übungsblatt 7: [pdf]
    Datum: 28.01.14
    Besprechung: 04.02.14
© Universität Duisburg-Essen, Lehrstuhl Theoretische InformatikLogin