Modeling methods in computer science

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

Description


Lecture material


Resources in English:

  • 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
  • UML Tutorials
  • Wolfgang Reisig, Grzegorz Rozenberg: Lectures on Petri Nets, Vol.1 : Basic Models. Springer, Berlin. 1998

Gliederung der Vorlesung


  • Einführung - Grundbegriffe
    • Der Modellbegriff
    • Repräsentationssysteme
    • Repr. und Interpretation
  • Objektorientierte Spezifikation
    • Objektorientierte Analyse
    • Die Unified Modelling Language (UML)
      • Klassendiagramme
      • Anwendungsfalldiagramme
      • Sequenzdiagramme und Kollaborationsdiagramme
      • Zustandsübergangsdiagramme
      • Aktivitätsdiagramme
      • Komponentendiagramme
    • UML Object Constraint Language
  • Petri-Netze
    • Netzgraphen (Struktur)
    • Dynamik von Netzen (S/T-Systeme)
    • Grundbegriffe und Grundsituationen
    • Invarianten
    • Weitere Netztypen
  • Logikkalküle
    • Aussagenlogik
    • Normalformen
    • Hornformeln
    • Aussagenlogische Resolution
    • Prolog
    • Resolution für Hornformeln und Prolog
    • Syntax und Semantik der Prädikatenlogik
    • Normalformdarstellung
    • Grundresolution
    • Prädikatenlogische Resolution

Mitschriften


  • 18.10.06: pdf
  • 25.10.06: pdf
  • 8.11.06: pdf
  • 15.11.06: pdf
  • 22.11.06: pdf
  • 06.12.06: pdf
  • 13.12.06: pdf
  • 20.12.06: Keine Mitschrift (Mitschrift vom letzten Jahr pdf, weiteres Thema waren Invarianten (s. Skript))
  • 10.01.07: Probeklausur, keine Mitschrift, dafür aber Folien (pdf)
  • 17.01.07: pdf
  • 24.01.07: pdf
  • 31.01.07: pdf
  • 7.02.07: pdf

Exam


Preliminary results of the exam. Opportunity for inspection on Monday, 19.03.2007, 14:00-16:00 in LF 230.

Exercises


You can check the status of your bonuspoints online: Bonuspoint check

Contact: mod_ws06-anmeldung@is.inf.uni-due.de