U. Kastens, Modellierung WS 2001/2002

Kapitelübersicht der Vorlesung

0.	Modellierung
1.	Einführung
2.	Grundlegende Strukturen Wertebereiche, Terme, Algebren
3.	Logik Aussagenlogik, Prädikatenlogik
4.	Modellieren mit Graphen Weg, Verbindung, Zuordnung, Anordnung, Abläufe
5.	Modellierung von Strukturen Kontextfreie Grammatiken, Entity-Relationship-Modell
6.	Modellierung von Abläufen Endliche Automaten, Petri-Netze
7.	Fallstudien
8.	Zusammenfassung