INF.00880.07 | 10 CP |
---|---|
Modulbezeichnung | Grundlagen und Konzepte der Modellierung |
Modulcode | INF.00880.07 |
Semester der erstmaligen Durchführung | |
Fachbereich/Institut | Institut für Informatik |
Verwendet in Studiengängen / Semestern |
|
Modulverantwortliche/r | |
Weitere verantwortliche Personen |
Prof. Dr. Wolf Zimmermann |
Teilnahmevoraussetzungen | |
Kompetenzziele | Die Teilnehmer*innen erwerben folgende Kompetenzen:
|
Modulinhalte | 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
|
Lehrveranstaltungsformen |
Vorlesung (2 SWS)
Übung (2 SWS) Vorlesung (2 SWS) Übung (2 SWS) Kursus |
Unterrichtsprachen | Deutsch, Englisch |
Dauer in Semestern | 2 Semester Semester |
Angebotsrhythmus Modul | jedes Wintersemester |
Aufnahmekapazität Modul | unbegrenzt |
Prüfungsebene | |
Credit-Points | 10 CP |
Modulabschlussnote | LV 1: %; LV 2: %; LV 3: %; LV 4: %; LV 5: %. |
Faktor der Modulnote für die Endnote des Studiengangs | 1 |
Modulveranstaltung | Lehrveranstaltungsform | Veranstaltungstitel | SWS | Workload Präsenz | Workload Vor- / Nachbereitung | Workload selbstgestaltete Arbeit | Workload Prüfung incl. Vorbereitung | Workload Summe |
---|---|---|---|---|---|---|---|---|
LV 1 | Vorlesung | Vorlesung Mathematische Grundlagen der Informatik und Konzepte der Modellierung 1 | 2 | 0 | ||||
LV 2 | Übung | Übung | 2 | 0 | ||||
LV 3 | Vorlesung | Vorlesung Mathematische Grundlagen der Informatik und Konzepte der MNodellierung 2 | 2 | 0 | ||||
LV 4 | Übung | Übung | 2 | 0 | ||||
LV 5 | Kursus | Bearbeitung der Übungsaufgaben/Selbststudium | 0 | |||||
Workload modulbezogen | 300 | 300 | ||||||
Workload Modul insgesamt | 300 |
Prüfung | Prüfungsvorleistung | Prüfungsform | |
---|---|---|---|
LV 1 | |||
LV 2 | |||
LV 3 | |||
LV 4 | |||
LV 5 | |||
Gesamtmodul | Mindestens 50% der Punkte aus den Übungsaufgaben, mindestens 25% Punkte prowöchentlichem Übungsblatt, auf Anfrage Lösungen zu Übungsaufgaben an der Tafelvorrechnen können, sowie Bearbeitung aller Pflichtaufgaben im Wintersemester, Mindestens 50% der Punkte aus den Übungsaufgaben, mindestens 25% Punkte prowöchentlichem Übungsblatt, auf Anfrage Lösungen zu Übungsaufgaben an der Tafelvorrechnen können, sowie Bearbeitung aller Pflichtaufgaben im Sommersemester |
mündl./schriftl. Prüfung |
|
Wiederholungsprüfung |
Regularien | Teilnahmevoraussetzungen | Angebotsrhythmus | Anwesenheitspflicht | Gewicht an Modulnote in % |
---|---|---|---|---|
LV 1 | Wintersemester | Nein | % | |
LV 2 | Wintersemester | Nein | % | |
LV 3 | Sommersemester | Nein | % | |
LV 4 | Sommersemester | Nein | % | |
LV 5 | Sommersemester und Wintersemester | Nein | % |