INF.05173.08 - Mathematische Grundlagen der Informatik und Konzepte der Modellierung (Complete module description)
INF.05173.08 | 15 CP |
---|---|
Module label | Mathematische Grundlagen der Informatik und Konzepte der Modellierung |
Module code | INF.05173.08 |
Semester of first implementation | |
Faculty/Institute | Institut für Informatik |
Module used in courses of study / semesters |
|
Responsible person for this module | |
Further responsible persons |
Prof. Dr. Wolf Zimmermann |
Prerequisites | |
Skills to be acquired in this module | Die Teilnehmer*innen erwerben folgende Kompetenzen
|
Module contents | 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. Dieses Modul vermittelt die grundsätzlichen Denk- und Herangehensweisen der Informatik. Fundamental ist die Trennung zwischen Syntax und Semantik. Während Modelle und Programme in einer formalen Notation entwickelt werden, muss hinter dieser eine Semantik stecken. Validierungen von Eigenschaften von Modellen erfolgen jedoch in der formalen Notation. Deshalb müssen die Validierungstechniken bzgl. der Semantik gerechtfertigt werden. Semantische Modelle sind meist mathematische Modelle, so dass deren Grundlagen behandelt werden müssen. Nach einer Einführung in die grundlegenden Begrifflichkeiten und Denkweisen der Informatik und Modellierung werden nacheinander Modellierungstechniken auf Basis der verschiedenen Mathematischen Grundlagen behandelt: Mengen, Folgen (Texte), Monoide und Verbände, Automaten, Algebren und Abstrakte Datentypen, Logik. Dabei wird jeweils die Modellierung an Hand von Beispielen aus der Praxis eingeführt, deren Theoretische Grundlagen diskutiert und anschließend wieder gezeigt, wie diese zu Validierungsmöglichkeiten für die Modelle führen. Das Modul schließt mit einer der heute gebräuchlichsten Modellierungstechniken, den UML-Klassendiagrammen, ab, die letztendlich die im Modul erlernten Modellierungstechniken einsetzten. Im Einzelnen werden die folgenden Themenbereiche behandelt: 1. Einführung in die Informatik: Was ist Informatik? Datum, Information, Signal, Semiotik, Wissen, Verantwortung von Informatikerinnen bzw. Informatiker, Systembegriff, Modellbegriff, Prinzipien der Modellierung 2. Mengen, Relationen, Funktionen, Graphen und Bäume 3. Texte: Textersetzungssysteme, Grammatiken, Chomsky-Hierarchie, endliche Automaten, Strukturbäume 4. Monoide, Boolesche Algebra und Verbände 5. Modellierung technischer Systeme: Mealy-Automaten, Moore-Automaten, Petri-Netze, Lebendigkeit, Sicherheit 6. Abstrakte Datentypen: Terme und Signaturen, Algebren, Homomorphiesatz, Strukturelle Induktion, Termersetzungssystem 7. Logik: Aussagenlogik, Prädikatenlogik, Kalküle, Korrektheit und Vollständigkeit, Konsistenz, Spezifikation mit Vor- und Nachbedingungen 8. Objekt-Orientiertes Modellieren: UML Klassendiagramme, UML Objektdiagramme, Klasseninvarianten, Verträge |
Forms of instruction |
Lecture (2 SWS)
Exercises (2 SWS) Lecture (2 SWS) Exercises (2 SWS) Course Course Course Tutorial Course |
Languages of instruction | German, English |
Duration (semesters) | 2 Semester Semester |
Module frequency | jedes Studienjahr beginnend im Wintersemester |
Module capacity | unlimited |
Time of examination | |
Credit points | 15 CP |
Share on module final degree | Course 1: %; Course 2: %; Course 3: %; Course 4: %; Course 5: %; Course 6: %; Course 7: %; Course 8: %; Course 9: %. |
Share of module grade on the course of study's final grade | 1 |
Reference text | zu den Studienleistungen: (nicht die eigene Lösung erklären können bzw. die Vorstellung ablehnen bedeutet, dass alle Aufgaben der Übungsserie als nicht bearbeitet gelten) |
Module course label | Course type | Course title | SWS | Workload of compulsory attendance | Workload of preparation / homework etc | Workload of independent learning | Workload (examination and preparation) | Sum workload |
---|---|---|---|---|---|---|---|---|
Course 1 | Lecture | Mathematische Grundlagen der Informatik und Konzepte der Modellierung 1 | 2 | 0 | ||||
Course 2 | Exercises | Übung | 2 | 0 | ||||
Course 3 | Lecture | Mathematische Grundlagen der Informatik und Konzepte der Modellierung 2 | 2 | 0 | ||||
Course 4 | Exercises | Übung | 2 | 0 | ||||
Course 5 | Course | Selbststudium, Lösen von Übungsaufgaben | 0 | |||||
Course 6 | Course | Selbststudium, Lösen von Übungsaufgaben | 0 | |||||
Course 7 | Course | Klausurvorbereitung | 0 | |||||
Course 8 | Tutorial | Tutorium (fakultativ) | 0 | |||||
Course 9 | Course | Übungsaufgaben in vorlesungsfreier Zeit (Ferienübungsblatt) | 0 | |||||
Workload by module | 450 | 450 | ||||||
Total module workload | 450 |
Examination | Exam prerequisites | Type of examination | |
---|---|---|---|
Course 1 | |||
Course 2 | |||
Course 3 | |||
Course 4 | |||
Course 5 | |||
Course 6 | |||
Course 7 | |||
Course 8 | |||
Course 9 | |||
Final exam of module | Bearbeitung von mindestens 80% der Übungsaufgaben im WiSe und auf Anfrage erfolgreiche Vorstellung der Lösung einer bearbeiteten Aufgabe (siehe Hinweise), Bearbeitung von mindestens 80% der Übungsaufgaben im SoSe und auf Anfrage erfolgreiche Vorstellung der Lösung einer bearbeiteten Aufgabe (siehe Hinweise) |
mündl. Prüfung oder Klausur |
|
Exam repetition information |
Prerequisites and conditions | Prerequisites | Frequency | Compulsory attendance | Share on module grade in percent |
---|---|---|---|---|
Course 1 | Winter semester | No | % | |
Course 2 | Winter semester | No | % | |
Course 3 | Summer semester | No | % | |
Course 4 | Summer semester | No | % | |
Course 5 | Winter semester | No | % | |
Course 6 | Summer semester | No | % | |
Course 7 | Summer semester | No | % | |
Course 8 | Summer or winter semester | No | % | |
Course 9 | Winter semester | No | % |