Modul 504 Theoretische Informatik (QSP SE&D)

Modul-Nr./ Code

504 / TINF

Studiengang

Angewandte Informatik (B.Sc.)
Angewandte Informatik – dual (B.Sc.)

Geförderte Kompetenzen

Fachkompetenz

Angestrebte Lernergebnisse des Moduls

Nach erfolgreichem Absolvieren dieses Moduls sind die Studierenden in der Lage,

die Automatentheorie zu erläutern und programmtechnisch anzuwenden
Formale Sprachen zu analysieren und in Programmen zu verarbeiten
Reguläre Ausdrücke zu analysieren, zu erstellen und in Programmen zu verarbeiten

Inhalte des Moduls

Automaten
Formale Sprachen
Reguläre Ausdrücke
Informations- und Codierungstheorie

Studiensemester

3 - 5

Dauer des Moduls

ein Semester

SWS

Vorlesung (2 SWS) und Praktikum (2 SWS)

Häufigkeit des Modulangebots

Jährlich im Sommersemester

Zahl der zugeteilten ECTS-Credits

Gesamtworkload

150 Stunden

Kontaktzeit

60 Stunden

Selbststudium

90 Stunden

Art des Moduls (Pflicht, Wahl, etc.)

Wahlpflichtmodul

Verwendbarkeit des Moduls

wählbar im Rahmen des Qualifikationsschwerpunkts „Software Engineering & Development“ oder als Wahlpflichtmodul

Teilnahmevoraussetzungen

Die vorherige erfolgreiche Teilnahme an Modul 114: Prozedurale Programmierung und Modul 124: Objektorientierte Programmierung wird empfohlen.

Modulverantwortliche Person

Prof. Dr. Bozakov

Dozentin / Dozent

Prof. Dr. Bozakov

Unterrichtssprache

Deutsch

Art der Prüfung / Voraussetzung für die Vergabe von Leistungspunkten

Schriftliche Prüfung

Prüfungsdauer

60 Minuten

Prüfung benotet / unbenotet

benotet

Notengewicht in der Gesamtnote

Entsprechend der ECTS-Punkte

Lehr- und Lernmethoden

Vorlesung und Praktikum

Besonderes (z.B. Online-Anteil, Praxisbesuche, Gastvorträge, etc.)

Pflichtlektüre

zusätzlich empfohlene Literatur

Hopcroft, J. E.; Motwani, R.; Ullmann, J. D.: Einführung in Automatentheorie, Formale Sprachen und Berechenbarkeit, Pearson Studium, 2011
Aho, A. V.; Ullmann, J. D.: Foundations of ComputerScience., Computer Science Press, 1992
Schmitter, E.-D.: Künstliche Intelligenz - Experimente & Programme; Hofacker Verlag, 1984
Eirund, H.; Müller, B.; Schreiber, G.: Formale Beschreibungsverfahren der Informatik, Teubner Verlag, 2000
Bauer F. L.; Goos G.: Informatik 1, Springer Verlag, 2008