WS 2016/17: Modellierung, Analyse, Verifikation - Skript, Folien und Übungsblätter

Skript

Folien

Die Folien werden ähnlich zu den Folien im Wintersemester 2015/16 sein.

Hinweis: s/w = schwarz-weiß

Folien, unterteilt in Kapitel

Übungsblätter

  • Übungsblatt 1: [pdf]
    Datum: 26.10.2016
    Besprechung: 03.11.2016
  • Übungsblatt 2: [pdf]
    Datum: 9.11.2016
    Besprechung: 17.11.2016
  • Übungsblatt 3 - Testatblatt: [pdf] (DE) [pdf] (E)
    Datum: 23.11.2016
    Besprechung: 1.12.2016
  • Übungsblatt 4: [pdf]
    Datum: 5.12.2016
    Besprechung: 13.12.2016
  • Übungsblatt 5 - Testatblatt: [pdf] (DE) [pdf] (E)
    Datum: 22.12.2016
    Besprechung: 12.01.2017
  • Übungsblatt 6: [pdf]
    Datum: 17.01.2017
    Besprechung: 26.01.2017
  • Übungsblatt 7 - Testatblatt: [pdf] (DE)
    Datum: 02.02.2016
    Besprechung: 09.02.2017
  • Bonus erhalten [pdf]

Klausur

  • Ergebnisse [pdf]

    Klausureinsicht: 6. März, 14-15 Uhr im LF 262

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