 | Modeling methods in computer science - Base lecture,
Winter 2005/2006
|  |
Teaching personnel- Lecturer
- Tutor(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
DatesLectures| Date | Time | Place |
|---|
|
Dienstag
| 16:00 -
18:30 | LB/134 |
| | Tutorials |
Description
There will be no lecture on February 7!
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
Folien
Mitschriften
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
Additional material
- 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
|
DEUTSCH