WS 2015/16: Modellierung, Analyse, Verifikation - Skript, Folien und Übungsblätter

Skript

Folien

Die Folien werden ähnlich zu den Folien im Wintersemester 2014/15 sein.

Hinweis: s/w = schwarz-weiß

Folien, unterteilt in Kapitel

Übungsblätter

  • Übungsblatt 1: [pdf]
    Datum: 29.10.2015
    Besprechung: 05.11.2015
  • Übungsblatt 2 (Testatblatt): [pdf]
    Datum: 12.11.2015
    Abgabe/Besprechung: 19.11.2015
  • Übungsblatt 3: [pdf]
    Datum: 26.11.2015
    Besprechung: 03.12.2015
  • Übungsblatt 4 (Testatblatt): [pdf]
    Datum: 10.12.2015
    Abgabe/Besprechung: 17.12.2015
  • Übungsblatt 5: [pdf]
    Datum: 7.1.2016
    Besprechung: 14.1.2016
  • Übungsblatt 6 (Testatblatt): [pdf]
    Datum: 20.1.2016
    Abgabe/Besprechung: 28.1.2016
  • Übungsblatt 7: [pdf]
    Datum: 4.2.2016
    Besprechung: 11.2.2016

Hinweis

Die Abgabe der Testatblätter ist direkt am Anfang der Übung möglich, in der sie besprochen werden.

© Universität Duisburg-Essen, Lehrstuhl Theoretische InformatikLogin