WS 2017/18: Modellierung, Analyse, Verifikation - Skript, Folien und Übungsblätter

Skript

Folien

Die Folien werden ähnlich zu den Folien im Wintersemester 2016/17 sein.

Hinweis: s/w = schwarz-weiß

Folien, unterteilt in Kapitel

Übungsblätter

Das Übungsblatt wird eine Woche vor der jeweiligen Übung bereitgestellt.

  • Übungsblatt 1: [pdf] (Datum: 19.10.2017, Besprechung: 26.10.2017)
  • Übungsblatt 2: [pdf] (Datum: 2.11.2017, Besprechung: 9.11.2017)
  • Übungsblatt 3: [pdf] (Datum: 9.11.2017, Besprechung: 23.11.2017)
  • Übungsblatt 4: [pdf] (Datum: 28.11.2017, Besprechung: 7.12.2017)
  • Übungsblatt 5: [pdf] (Datum: 13.12.2017, Besprechung: 21.12.2017)
© Universität Duisburg-Essen, Lehrstuhl Theoretische InformatikLogin