Mathematische Grundlagen und Konzepte der Modellierung I
Inhaktsverzeichnis
Klausurtermine
Nachklausur: 17.02.2015, 10:00 - 12:00 Uhr, 5.09, 5.10
Klausur: 03.09.2015, 10:00 - 12:00 Uhr, Raum 5.09, 5.10, HS 3.07, 3.31
Ort, Zeit
Nachklausur: 17.02.2015, 10:00 - 12:00 Uhr, Raum 5.09, 5.10,
Klausur: 03.09.2015, 10:00 - 12:00 Uhr, Raum 5.09, 5.10, HS 3.07, 3.31
Vorlesung:
Fr 14-16 Uhr, HS 3.28
Übungen:
Mo 8-10 Uhr, SR 1.30
Mo 10-12 Uhr, SR 1.30
Di 08-10 Uhr, SR 1.30
Vorlesungsinhalte
Modellieren von IT-Systemen ist eine zentrale Tätigkeit bei der Konstruktion von IT-Systemen aller Art. Mit Modellen möchte man erreichen, dass bereits vor der Umsetzung in Programme oder Hardware ein Verständnis für die Funktionsweise, Struktur und Eigenschaften des IT-Systems entsteht. Insbesondere bei sicherheitskritischen IT-Systemen wie beispielsweise im Automobil, Flugzeug oder Medizintechnik ist eine Überprüfung der Systemeigenschaften auf Modellebene notwendig. Um unerwünschte Eigenschaften auszuschließen ist ein formaler Nachweis (Validerung) und sehr sorgfältiges Arbeiten erforderlich. Aus diesem Grund basieren die Modellierungstechniken meist auf mathematischen Grundlagen wie Mengentheorie, Algebren und Logik. Im einzelnen ergeben sich daher die folgenden Lernziele.
- Überblick über grundlegende Modellierungsmethoden
- Exaktes und gründliches Arbeiten
- Beherrschen der mathematischen Sprache
- Erkennen von Zusammenhängen zwischen verschiedenen Gebieten und Konzepten der Mathematik und Informatik
- Förderung des logischen Denkens und Abstraktionsvermögens
- Verständnis für Validierung, Üben von Beweistechniken
- Verständnis für abstrakte Zusammenhänge, Kenntnis grundlegender mathematischer Methoden
- Fähigkeit zum logischen Denken
- Anwendung verschiedener Problemlösestrategien und Beweisverfahren
- Kenntnisse und Verständnis über die Grundkonzepte der Modellierung
- Fähigkeiten einfacher Modelle mit Hilfe von Kalkülen zu validieren
Inhalte:
- Einführung in die Informatik: Was ist Informatik? Datum, Information, Signal, Semiotik, Wissen, Verantwortung von Informatikerinnen bzw. Informatiker, Systembegriff, Modellbegriff, Prinzipien der Modellierung
- Mengen, Relationen, Funktionen, Graphen und Bäume
- Textersetzungssysteme, Grammatiken, Chomsky-Hierarchie, endliche Automaten, Strukturbäume
- Mathematische Strukturen: Monoide, Verbände
- Modellierung technischer Systeme: Mealy-Automaten, Moore-Automaten, Petri-Netze, Lebendigkeit, Sicherheit
- Abstrakte Datentypen: Terme und Signaturen, Algebren, Homomorphiesatz, Strukturelle Induktion, Termersetzungssysteme
- Logik: Aussagenlogik, Prädikatenlogik, Kalküle, Korrektheit und Vollständigkeit, Konsistenz, Spezifikation mit Vor- und Nachbedingungen
- Objekt-Orientiertes Modellieren: UML Klassendiagramme, UML Objektdiagramme, Klasseninvarianten, Verträge
Teilnahmevoraussetzung
entsprechend der allgemeinen Modulbeschreibung