Konzepte der Modellierung
Vorlesung Konzepte der Modellierung (2+2 SWS mit KP 5)
Prof. Dr. Wolf Zimmermann
Klausurtermine
Nachklausur: 04.04.2008, 10.00 - 12.00 Uhr, HS 3.28
Ort, Zeit
Vorlesung: Do 14-16 Uhr, HS 3.28
Übungen: vergleiche Stud.IP
Vorlesungsinhalte
Lernziele:
- Erkennen von Zusammenhängen zwischen verschiedenen Gebieten und Konzepten der Mathematik und Informatik
- Förderung des logischen Denkens und Abstraktionsvermögens
- Kenntnisse und Verständnis über die Grundkonzepte der Modellierung
- Überblick über grundlegende Modellierungsmethoden
- Verständnis für Validierung
- Fähigkeiten einfacher Modelle mit Hilfe von Kalkülen zu validieren
Inhalte:
- Textersetzungssysteme und Grammatiken
- Modellierung von Abläufen
- Abstrakte Datentypen
- Logik zur Spezifikation von Problemen
- Objekt-Orientiertes Modellieren: UML Klassendiagramme
Teilnahmevoraussetzungen
Folien
Allgemeines
allgemeines.pdf
(externe Datei)
Kapitel 1: Einführung in die Informatik
einleitung.pdf
(externe Datei)
Kapitel 2: Modellierung von Texten
text.pdf
(externe Datei)
Kapitel 3: Modellierung technischer Systeme
zustand.pdf
(externe Datei)
Kapitel 4: Abstrakte Datentypen
adt.pdf
(externe Datei)
Kapitel 5: Objektorientierte Modellierung
Aktualisierte Folien mit der Vorlesung vom 24.1.2008
Vollständiger Foliensatz (28.1.2008)
oo.pdf
(externe Datei)
Übungen
Sonstige Materialien
Markov-Automat
markov.jar
(externe Datei)
Tutorial zum Markov-Automat
markov.pdf
(externe Datei)
Exportierte Beispiel-Datei des Tutorials
markov1.mkv
(externe Datei)