Home Reader Ansicht Download PDF

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

6

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