Modul-Kennung

IP8

Modul-Titel

Formale Grundlagen der Informatik I (FGI I)

Modultyp

Informatik-Pflichtmodul

Inhalte und Qualifikationsziele

Die angemessene Verwendung der in der Informatik benötigten Algorithmen und Modellierungen gelingt nur,  wenn formale Konzepte und mathematische Methoden verstanden werden. Mit diesem Modul werden Abstraktionen, Modellbildungen und Verfahren zur Beschreibung und Analyse von Algorithmen und Prozessen auf ein sauberes theoretisches Fundament gestellt und grundlegende Fertigkeiten für deren Einsatz eingeübt.

 

Das Teilgebiet Automatentheorie  behandelt einfache mathematische Modelle die dem Computer und Algorithmen zu Grunde liegen. Mit Formalen Sprachen wird der prinzipielle, strukturelle Aufbau von Programmier- und Spezifikationssprachen beschrieben. Logik bildet die Grundlage für eine formale Semantik von sprachlichen Beschreibungen und Anweisungen in Programmier-, Spezifikations, und Repräsentationssprachen. Die Theorie der Berechenbarkeit untersucht die Abgrenzung zwischen effektiv Ausführbarem und prinzipiell niemals Möglichem.

Unterrichtssprache

Deutsch mit deutsch- und ggf. englischsprachigem
Lehrmaterial

Lehrformen

Formale Grundlagen der Informatik I (V, 4 SWS),

Übungen zu Formale Grundlagen der Informatik I (Ü, 2 SWS)

Verwendbarkeit des Moduls

Innerhalb des Studienganges:
Im Rahmen der Pflichtmodule greift das Modul auf das Modul Diskrete Mathematik zurück, unterstützt Teile der linearen Algebra und ist grundlegend für das  Modul Algorithmen und Datenstrukturen. Es legt darüber hinaus die Grundlagen für das Modul Formale Grundlagen der Informatik II und das Wahlpflichtmodul Grundlagen der Wissensverarbeitung.

Im konsekutiven Masterstudiengang: Das Modul schafft Grundlagen für das Theorie-Pflichtmodul sowie die Wahlpflichtmodule Datenbanken und Informationssysteme, Algorithmisches Lernen und Algorithmik.

In anderen Studiengängen:
Dieses Modul eignet sich als Nebenfachmodul sowie als Bestandteil von Wirtschafts- und Bioinformatik Studiengängen. Darüber hinaus ist ein Einbringen als Wahlmodul naturwissenschaftlicher Studiengänge denkbar.

Voraussetzungen für die Teilnahme

Verbindlich: keine
Empfohlen: Diskrete Mathematik, Softwareentwicklung I

Studienabschnitt/-semester

Studienabschnitt: 1
Referenzsemester: 2

Art, Voraussetzungen und Sprache der
(Teil-)Prüfung(en)

Die Zulassung zur Modulprüfung setzt die erfolgreiche (Kriterien werden zu Beginn der Veranstaltung bekannt gemacht) und regelmäßige Teilnahme an den Übungen voraus;
Gemeinsame Modulprüfung für alle Lehrveranstaltungen des Moduls; in der Regel schriftlich (Klausur) und in deutscher Sprache; bei Modus-Abweichung Bekanntgabe zu Beginn der Veranstaltung

Arbeitsaufwand (für Teilleistungen und Gesamtaufwand)

Gesamt: 9 Leistungspunkte
(Formale Grundlagen der Informatik I: 5 Leistungspunkte,
Übungen zu Formale Grundlagen der Informatik I: 4 Leistungspunkte, ABK-Anteil in Übungen im Umfang von 1 Leistungspunkt)

Häufigkeit des Angebots

Sommersemester, jährlich

Dauer    

1 Semester