Logo der Fakultät Logo LG Theoretische Informatik
 

Kurs 1657

Illustration

Grundlagen der Theoretischen Informatik A

Betreuung:

Prof. Dr. André Schulz

ECTS: 5 (SWS: 2 , Übungen: 1 SWS)

Arbeitsaufwand: 150 Stunden

Häufigkeit: in jedem Wintersemester

Dauer Modul: zwei Semester

Veranstaltungs-Email-Adresse:

Kurs.1657@fernuni-hagen.de


Inhalt:

In diesem Kurs werden die Grundlagen für das Arbeiten mit formalen Berechnungsmodellen gelegt. Es werden hierzu formale Sprachen auf Grundlage der Chomsky Hierarchie untersucht. Zu jeder Klasse in der Chomsky Hierarchie wird ein abgeleitetes Berechnungsmodell vorgestellt und diskutiert (Endlicher Automat, Kellerautomat, Turingmaschine). In diesem Zusammenhang werden unter anderem folgende Themen behandelt: Minimierung Endlicher Automaten, Überführung von Regulären Ausdrücken, Äquivalenz von kontextfreien Grammatiken und Kellerautomaten, Beweis und Anwendung des Pumpinglemmas (regulär und kontextfrei), Wortproblem für kontextfreie Sprachen, und anderes.

Für folgende Informatik-Studiengänge vorgesehen: B

Detaillierter studentischer Arbeitsaufwand:

Das Modul besteht aus den zwei Kursen 1657 und 1658 mit je 7 Kurseinheiten. Zu den Kursen gibt es Übungsaufgaben mit Lösungshinweisen und individuell korrigierte Einsendeaufgaben. Außerdem werden nicht obligatorische, aber zur Prüfungsvorbereitung dringend empfohlene Studientage angeboten, an denen ein kompakter Überblick über den Kursinhalt gegeben und unter Anleitung Aufgaben gelöst werden.

Die Bearbeitungszeit je Kurseinheit (incl. Übungs- und Einsendeaufgaben) beträgt 14 Stunden (insgesamt 196 Stunden). Hinzu kommen 104 Stunden für Studientage und Prüfungsvorbereitung.

Termine:

Studientag Kurs 01657 in Hagen
Datum: am 03.02.18
Ort: FernUniversität Hagen

Studientag Kurs 01657 in Hamburg
Datum: am 10.02.18
Ort: FernUniversität Hagen (Regionalzentrum)

Christoph Doppelbauer | 03.08.2017
FernUni-Logo FernUniversität in Hagen, LG Theoretische Informatik, 58084 Hagen