Mathematik mit Anwendungsfach (180 LP) (Bachelor) > Mathematik Mathematik m. Anw.fach180, Akkreditierungsfassung (WS 2006/07 - SS 2013) > Anwendungsfach Informatik
Physik und Digitale Technologien (180 LP) (Bachelor) > Physik Physik u. Dig. Tech. 180, Akkreditierungsfassung gültig ab WS 2019/20 > Wahlobligatorische Ergänzungsfächer
Modulverantwortliche/r
Weitere verantwortliche Personen
apl. Prof. Dr. Klaus Reinhardt
Teilnahmevoraussetzungen
Modul "Mathematische Grundlagen der Informatik und Konzepte der Modellierung" (Besuch)
Kompetenzziele
Studierende sollen durch dieses Modul die folgenden Kompetenzen erwerben:
Sie können Sprachen mit Automaten, Grammatiken und Regulären Ausdrücken formalisieren.
Sie können von einer Formalisierungsmethode zu einer anderen übersetzen und die Korrektheit beweisen. Die dabei verwendeten Konstruktionen können sie an Beispielen durchführen und mathematisch allgemein formalisieren.
Sie können Sprachen in der Chomsky-Hierarchie klassifizieren und Nichtzugehörigkeiten zu Klassen beweisen.
Sie kennen die Grenzen der Machbarkeit bezüglich der Berechenbarkeit und Komplexität und können Vollständigkeiten beweisen.
Modulinhalte
Abstrakte Spezifikation und Verifikation sind grundlegende intellektuelle Fähigkeiten eines Informatikers. Daher ist es für angehende Informatiker unerlässlich, die Fähigkeit zum logischen Denken, zur Abstraktion sowie Verständnis für kausale Zusammenhänge zu entwickeln.
Demgemäß werde in dieser Vorlesung an Hand abstrakter Berechnungsmodelle deren Fähigkeiten und Grenzen analysiert. Basis und Methode dieser Analyse sind Verifikations- (Beweis-)verfahren, wie sie in der Mathematik, insbesondere der mathematischen Logik entwickelt wurden. Ein wesentlicher Bestandteil des Moduls sind daher das Vorstellen von Beweisverfahren in der Vorlesung und deren selbständiges Üben durch die Teilnehmer. Die Gegenstände an Hand derer dies erfolgen soll sind der Informatik entnommen, es werden in der Vorlesung die folgenden Gebiete behandelt.
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
4
0
LV 2
Übung
Übung
2
0
LV 3
Kursus
Bearbeiten der Übungsausgaben
0
Workload modulbezogen
300
300
Workload Modul insgesamt
300
Prüfung
Prüfungsvorleistung
Prüfungsform
LV 1
LV 2
LV 3
Gesamtmodul
Korrekte Bearbeitung der theoretischen Übungsaufgaben in Höhe von mindestens 60% der maximal erreichbaren Punkte, 5 Kurzvorträge über Lösungen von Übungsaufgaben