 | Modellierungsmethoden der Informatik - Grundvorlesung,
Wintersemester 2005/2006
|  |
Lehrpersonen- Dozent(in)
- Übungsleiter(innen)
Formalia- Zielgruppe
- DAI Grundstudium mit 3+1 Wochenstunden und 8 Kreditpunkten
- Lehramt Informatik Hauptstudium mit 3+1 Wochenstunden
- Nebenfach Informatik Hauptstudium mit 3+1 Wochenstunden
- Kommedia Master mit 3+1 Wochenstunden
- ISE Bachelor mit 3+1 Wochenstunden
TermineVorlesung| Tag | Zeit | Ort |
|---|
|
Dienstag
| 16:00 -
18:30 | LB/134 |
| | Übungen |
Beschreibung
Die Vorlesung am 7.2. fällt aus!
Modellbildung in der Informatik zielt auf die
Darstellung der unter dem Gesichtspunkt einer gegebenen Aufgabenstellung
wesentlichen Strukturen. In der Lehrveranstaltung
Modellierung werden verschiedene Repräsentationsformalismen
behandelt, die in vielen Bereichen der praktischen Informatik zum
Standardrepertoire gehören und im Hauptstudium daher meist
vorausgesetzt bzw. nur kurz eingeführt werden:
- Logikkalküle werden
fast überall benötigt, insbesondere aber bei Informationssystemen, der
Softwaretechnik und der Künstlichen Intelligenz.
- UML ist Quasi-Standard beim Entwurf von Software-Systemen,
Teile davon werden auch beim Entwurf von Datenbanken verwendet.
- Petri-Netze zur Modellierung des
dynamischen Verhaltens von Software-Systemen kommen sowohl in der
Softwaretechnik als auch bei Betriebssystemen zum Einsatz.
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
Klausur
Die Einsichtnahme zur Klausur vom 24. Juli hat
am Mittwoch, dem 16.08.2006, zwischen 14 und 15 Uhr in LF 138
stattgefunden. Die endgültigen Klausurergebnisse wurden dem
Prüfungsamt mitgeteilt und können weiterhin hier eingesehen werden.
Beispiel-Fragen für die mündliche
Prüfung (auch zur Klausurvorbereitung empfehlenswert!)
Hinweise zu den Übungen und Hausaufgaben
Die Einteilung in die Übungsgruppen kann hier eingesehen werden. Wer
sich noch nachträglich anmelden möchte, wende sich bitte an
modellierung@is.inf.uni-due.de.
Bitte Name, Vorname, Matrikelnummer, Studienfach,
Fachsemesterzahl und gewünschte Übungsgruppe mit angeben!
Den Stand eurer Bonuspunkte könnt ihr selber online
überprüfen:
Bonuspunkte-Check (down)
Kontakt bei Fragen: modellierung@is.inf.uni-due.de
Übungsaufgaben
Begleitmaterial
- 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 zu den Übungen
|
ENGLISH