Modellierung WS 2011/12 - Kapitelübersicht

Kapitel	Inhalt
0.	Modellierung
1.	Einführung
2.	Modellierung mit Wertebereichen Mengen, Potenzmengen, Kartesische Produkte, Folgen, Relationen, Funktionen. Beweistechniken: Strukturen von Beweisen, Umformungen, Fallunterscheidungen, Widerspruch, Induktion
3.	Terme und Algebren
4.	Logik Aussagenlogik, Prädikatenlogik, Verifikation von Algorithmen
5.	Modellierung mit Graphen Weg, Verbindung, Bäume, Zuordnung, Abhängigkeiten
6.	Modellierung von Strukturen Kontextfreie Grammatiken, Entity-Relationship-Modell
7.	Modellierung von Abläufen Endliche Automaten, Petri-Netze
8.	Fallstudien
9.	Zusammenfassung

Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 22.01.2012

Kapitel