Modellierungsmethoden der Informatik Modeling methods in computer science
2006-10-01

Teaching personnel


Lecturer
Tutor(s)
Corrector(s)

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


Additional 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

Material for the tutorials