Grundlagen der theoretischen Informatik für Nebenfach

Organisationseinheit
Freie Universität Berlin/Mathematik und Informatik

Zugangsvoraussetzungen

Keine

Qualifikationsziele

Die Studentinnen und Studenten verstehen die Grundlagen der Beschreibung von Programmiersprachen. Sie beherrschen die gängigen Verfahren, um formale Sprachen von einer Beschreibungsform in eine andere zu überführen, sowie Beschreibungen in minimale Formen zu übersetzen. Aus einer Beschreibung können sie die gemeinte Sprache ableiten. Sie verstehen, dass unterschiedliche Beschreibungsformen von Berechnungsmodellen gleichartig sind und verstehen die Verfahren, um eine Form in die andere zu überführen. Sie verstehen die prinzipiellen Möglichkeiten und Grenzen der Berechenbarkeit. Insbesondere verstehen sie das Halteproblem und seine Unlösbarkeit.

Inhalte

Theoretische Rechenmodelle (Automaten, Turing-Maschinen), formale Sprachen, Sprachakzeptoren, reguläre Ausdrücke, Berechenbarkeit.

Lehr- und Lernformen

Aktive Teilnahme

Vorlesung
2 SWS
Teilnahme empfohlen

schriftliche Bearbeitung der Übungsblätter
mündliche Präsentationen der Lösung jeweils einer Übungsaufgabe in der Übung

Übung
1 SWS
verpflichtete Teilnahme

schriftliche Bearbeitung der Übungsblätter
mündliche Präsentationen der Lösung jeweils einer Übungsaufgabe in der Übung

Aufwand

Präsenzzeit V	30 Stunden
Vor- und Nachbereitung V	60 Stunden
Präsenzzeit Ü	15 Stunden
Vor- und Nachbereitung Ü	60 Stunden
Prüfungsvorbereitung und Prüfung	45 Stunden

Modulprüfung
Klausur (90 Minuten); die Klausur kann auch in Form einer elektronischen Prüfungsleistung durchgeführt werden.

Differenzierte Bewertung
differenzierte Bewertung

Modulsprache
Deutsch

Arbeitsaufwand (Stunden)
210

Leistungspunkte (LP)
7

Dauer des Moduls
Ein Semester

Häufigkeit des Angebots
Jedes Sommersemester

Verwendbarkeit

30-LP-Modulangebot Informatik