WS 2014/15: Modellierung, Analyse, Verifikation - Skript, Folien und Übungsblätter

Skript

Folien

Die Folien werden ähnlich zu den Folien im Wintersemester 2013/14 sein.

Hinweis: s/w = schwarz-weiß

Folien, unterteilt in Kapitel

Übungsblätter

  • Übungsblatt 1: [pdf]
    Datum: 23.10.2014
    Besprechung: 30.10.2014
  • Übungsblatt 2: [pdf]
    Datum: 04.11.2014
    Besprechung: 11.11.2014
  • Übungsblatt 3 (Testatblatt): [pdf]
    Datum: 18.11.2014
    Abgabe/Besprechung: 25.11.2014
  • Übungsblatt 4: [pdf]
    Datum: 09.12.2014
    Besprechung: 16.12.2014
  • Übungsblatt 5 (Testatblatt): [pdf]
    Datum: 06.01.2015
    Abgabe/Besprechung: 13.01.2015
  • Übungsblatt 6: [pdf]
    Datum: 20.01.2015
    Besprechung: 27.01.2015
  • Übungsblatt 7 (Testatblatt): [pdf]
    Datum: 03.02.2015
    Abgabe/Besprechung: 10.02.2015

Hinweis

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

© Universität Duisburg-Essen, Lehrstuhl Theoretische InformatikLogin