Modulcode:	infBSemAutoUFo-01a
Englische Bezeichnung:	Bachelor Seminar - Automata and Formal Languages
Modulverantwortliche(r):	Dr. Pamela Fleischmann
Turnus:	unregelmäßig (SS24)
Präsenzzeiten:	2S
ECTS:	5
Workload:	40 Std. Literaturarbeit, 60 Std. Verfassen des Portfolios, 20 Std. Erstellung einer Präsentation, 30 Std. Seminarteilnahme
Dauer:	ein Semester
Modulkategorien:	BSc-Inf-Sem (BSc Inf (21))
Lehrsprache:	Deutsch
Voraussetzungen:	Inf-LogInf Inf-Math-A Inf-TGI infBL-01a

Kurzfassung:

Dieses Seminar behandelt weitere Automatenmodelle, die über den Inhalt von BuL hinausgehen.

Lernziele:

In diesem Modul (zusammen mit Wissenschaftliches Arbeiten) erwerben die Studierenden die Fähigkeit sich in ein Thema der Informatik einzuarbeiten, es aufzubereiten und vorzustellen.

Zu den zu erwerbenden Kompetenzen gehören die folgenden:

• Erfassen wissenschaftlicher Texte und Aufbereitung in Form einer Ausarbeitung.
• Bewerten der Ausarbeitung von Kommilitonen.
• Vortrag über das Thema halten und in einer Aussprache auf Fragen eingehen.

Lehrinhalte:

Die Themen umfassen u.a.

• Kellerautomaten (PDA) und Visibly PDA
• 2-Wege DEA, NEA, Cover-Automata
• Synchronisierte Automaten
• Baum-Automaten
• Linear beschränkte Turing-Maschinen
• Zelluläre Automaten

Weitere Voraussetzungen:

Je nach FPO entweder "Berechnungen und Logik" oder ("Theoretische Grundlagen der Informatik" und "Logik in der Informatik"). In jedem Fall Mathe A.

Prüfungsleistung:

• Schreiben einer Ausarbeitung
• Schreiben von Gutachten
• Vortrag von 20 Minuten plus 10 Minuten Aussprache

Lehr- und Lernmethoden:

• Selbststudium
• Aufbereitung und Präsentation von wissenschaftlichen Texten

Verwendbarkeit:

Literatur:

Wird zu Beginn der Veranstaltung bekannt gegeben.

Verweise:

Kommentar: