WS 2012/13: Modellierung, Analyse, Verifikation - Skript, Folien und Übungsblätter

Skript

Folien

Die Folien werden ähnlich zu den Folien im Wintersemester 2011/12 sein. Sie sind von der Webseite der damaligen Vorlesung erhältlich.

Hinweis: s/w = schwarz-weiß

Folien, unterteilt in Kapitel

Übungsblätter

  • Übungsblatt 1: [pdf]
    Datum: 23.10.12
    Besprechung: 30.10.12
  • Übungsblatt 2: [pdf]
    Datum: 08.11.12
    Besprechung: 15.11.12
  • Übungsblatt 3 (Testatblatt): [pdf]
    Datum: 22.11.12
    Abgabe & Besprechung: 29.11.12
  • Übungsblatt 4: [pdf]
    Datum: 06.12.12
    Besprechung: 13.12.12
  • Übungsblatt 5 (Testatblatt): [pdf]
    Datum: 20.12.12
    Abgabe & Besprechung: 10.01.13
  • Übungsblatt 6: [pdf]
    Datum: 22.01.13
    Besprechung: 29.01.13
  • Übungsblatt 7 (Testatblatt): [pdf]
    Datum: 31.01.13
    Abgabe & Besprechung: 07.02.13
© Universität Duisburg-Essen, Lehrstuhl Theoretische InformatikLogin