INF.00880.08 - Grundlagen und Konzepte der Modellierung (Complete module description)
INF.00880.08 | 10 CP |
---|---|
Module label | Grundlagen und Konzepte der Modellierung |
Module code | INF.00880.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 beipsielsweise im Automobil und Flugzeug 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 besteht aus zwei aufeinander aufbauenden Lehrveranstaltungen. Die Lehrveranstaltung mathematische Grundlagen der Informatik hat zum Ziel die Grundlagen aus Mengenlehre, Logik und diskreter Mathematik zu legen, die dann in der zweiten Lehrveranstaltung Konzepte der Modellierung verwendet werden. 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. Mathematische Grundlagen der Informatik
|
Forms of instruction |
Lecture (2 SWS)
Exercises (2 SWS) Lecture (2 SWS) Exercises (2 SWS) Course |
Languages of instruction | German, English |
Duration (semesters) | 2 Semester Semester |
Module frequency | jedes Wintersemester |
Module capacity | unlimited |
Time of examination | |
Credit points | 10 CP |
Share on module final degree | Course 1: %; Course 2: %; Course 3: %; Course 4: %; Course 5: %. |
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 zu können bzw. die Vorstellung abzulehnen 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 | Vorlesung Mathematische Grundlagen der Informatik und Konzepte der Modellierung 1 | 2 | 0 | ||||
Course 2 | Exercises | Übung | 2 | 0 | ||||
Course 3 | Lecture | Vorlesung Mathematische Grundlagen der Informatik und Konzepte der MNodellierung 2 | 2 | 0 | ||||
Course 4 | Exercises | Übung | 2 | 0 | ||||
Course 5 | Course | Bearbeitung der Übungsaufgaben/Selbststudium | 0 | |||||
Workload by module | 300 | 300 | ||||||
Total module workload | 300 |
Examination | Exam prerequisites | Type of examination | |
---|---|---|---|
Course 1 | |||
Course 2 | |||
Course 3 | |||
Course 4 | |||
Course 5 | |||
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./schriftl. Prüfung |
|
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 | Summer or winter semester | No | % |