Teaching personnel

Lecturer

• Prof. Dr.-Ing. Norbert Fuhr

Tutor(s)

• Dipl.-Inform. Gudrun Fischer

Corrector(s)

• Sascha Lang
• Tobias Tuttas

Formalia

Targeted audience

• DAI Grundstudium with 3+1 hours per week and 8 credit points
• Lehramt Informatik Hauptstudium with 3+1 hours per week
• Nebenfach Informatik Hauptstudium with 3+1 hours per week
• Kommedia Master with 3+1 hours per week
• ISE Bachelor with 3+1 hours per week

Dates

Description

Lecture material

• Broy: Informatik 1, Springer 1998
• Dijkstra: A Discipline of Programming
• Uwe Schöning: Logik für Informatiker. Spektrum-Verlag, 2000
• Hitz / Kappel: UML @ Work. dpunkt, 1999
• Heide Balzert: UML kompakt. Spektrum-Verlag, 2001
• Bernd Oestereich: Objektorientierte Softwareentwicklung [5. Auflage] Oldenbourg, München 2001
• Heide Balzert: Lehrbuch der Objektmodellierung. Analyse und Entwurf. Spektrum-Verlag, 1999
• B. Baumgarten: Petri-Netze. BI-Wissenschaftsverlag Mannheim usw., 1990
• W. Reisig: Petrinetze. Eine Einführung. Springer-Verlag, Berlin usw., 2. Auflage 1986

• John Nolt, Dennis Rohatyn, Achille Varzi: Logic (2nd ed.). Schaum. 1998
• Michael Huth and Mark Ryan: Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge University Press, Second Edition, 2004.
• J. Kelly, The Essence of Logic, Prentice-Hall, 1997.
• Tom Pender: UML Bible. Wiley, Indianapolis. 2003
• Jim Stafford, Michele Moore:Introduction to UML (online slides).
• Randy Miller: Practical UML: A Hands-On Introduction for Developers (short online tutorial).
• Wolfgang Reisig, Grzegorz Rozenberg: Lectures on Petri Nets, Vol.1 : Basic Models. Springer, Berlin. 1998

Material for the tutorials

• Slides from the exercise on 31.10.2005 (PDF)
• Vocabulary list
• Material A: Examples for the marking algorithm (pdf, in German)
• Material B: Prolog and SLD resolution (pdf, in German)
• Material C: Modeling in first-order predicate logic, normal forms, predicate logic resolution (pdf, in German)
• UML tools:
  • Poseidon (beginner's version is free for students)
  • ArgoUML (free, but does not include sequence diagrams)
• Tools for Petri nets
  • Petri Net Applet
  • WinPetri. Old, but working tool (Windows only)
  • Overview over Petri Net Tools
  • CoolModes, comes with petri net pallette. (Uni-Duisburg)

Gliederung der Vorlesung

• Kapitel 1: Einführung - Grundbegriffe
  • 1.1 Der Modellbegriff
  • 1.2 Repräsentationssysteme
  • 1.3 Repr. und Interpretation
• Kapitel 2: Logikkalküle
  • 2.1 Aussagenlogik
  • 2.2 Normalformen
  • 2.3 Hornformeln
  • 2.4 Aussagenlogische Resolution
  • 2.5 Prolog
  • 2.6 Resolution für Hornformeln und Prolog
  • 2.7 Syntax und Semantik der Prädikatenlogik
  • 2.8 Normalformdarstellung
  • 2.9 Grundresolution
  • 2.10 Prädikatenlogische Resolution
• Kapitel 3: Objektorientierte Spezifikation
  • 3.1 Objektorientierte Analyse
  • 3.2 Die Unified Modelling Language (UML)
    • Klassendiagramme
    • Anwendungsfalldiagramme
    • Sequenzdiagramme und Kollaborationsdiagramme
    • Zustandsübergangsdiagramme
    • Aktivitätsdiagramme
    • Komponentendiagramme
• Kapitel 4: Petri-Netze
  • 4.1 Netzgraphen (Struktur)
  • 4.2 Dynamik von Netzen (S/T-Systeme)
  • 4.3 Grundbegriffe und Grundsituationen
  • 4.4 Weitere Netztypen

Skript

• Kapitel 1: Einführung
• Kapitel 2: Logikkalküle
• Kapitel 3: UML-Diagramme ppt pdf (Folien von Prof. Volker Gruhn, Univ. Leipzig)
• Kapitel 4: Petri-Netze
• Wiederholung

Folien

• Folien vom 29.11.2005 (pdf) (Druckversion ohne Animationen)
• Kapitel 3: UML-Diagramme ppt pdf (Folien von Prof. Volker Gruhn, Univ. Leipzig)
• Folien zur Probeklausur vom 31.01.2006 (pdf) (Druckversion mit weißem Hintergrund)

Mitschriften

• 18.10.05: pdf (.jnt)
• 25.10.05: pdf (.jnt)
• 08.11.05: pdf (.jnt)
• 15.11.05: pdf (.jnt)
• 22.11.05: pdf (.jnt)
• 29.11.05: Keine Mitschrift, dafür aber Folien (pdf) (Druckversion ohne Animationen)
• 06.12.05: Keine Mitschrift, Themen waren prädikatenlogische Resolution und Einführung in objektorientierte Modellierung.
• 13.12.05: pdf (.jnt)
• 20.12.05: pdf (.jnt)
• 10.01.06: pdf (.jnt)
• 17.01.06: pdf (.jnt)
• 24.01.06: pdf (.jnt)
• 31.01.06: Probeklausur, keine Mitschrift, dafür aber Folien (pdf) (Druckversion mit weißem Hintergrund)

Exam

The results of the exam are available here. They have been sent to the Prüfungsamt already, after the offocial opportunity to look at the exams, which took place on Wednesday, August 16th.

Here, you can find example questions for the oral exam (in German). We recommend them as additional training material for the written exam as well.

Tutorials and homework

The registration for the tutorials is finished. Please refer to this page for your scheduled tutorial time. For late registration, please write an e-mail to modellierung@is.inf.uni-due.de, specifying your first and last names, your student ID (Matrikelnummer), your subject, and your semester.

You can check the status of your bonuspoints online: Bonuspoint check (down)

Contact: modellierung@is.inf.uni-due.de

Exercises

• Übungsblatt 1 (English version)
• Übungsblatt 2 (English version)
• Übungsblatt 3 (English version)
• Übungsblatt 4 (English version)
• Übungsblatt 5 (English version)
• Übungsblatt 6 (English version)
• Übungsblatt 7 (English version)
• Übungsblatt 8 (English version)
• Übungsblatt 9 (English version)
• Übungsblatt 10 (English version)
• Übungsblatt 11 (English version)
  Blatt 11 ist das letzte Übungsblatt und ergibt ausnahmsweise bis zu 40 Punkte.