Formale Sprachen - Einzelansicht

Grunddaten
Veranstaltungsart	Vorlesung	SWS	4
Veranstaltungsnummer	4555402	Max. Teilnehmer/-innen	30
Semester	WiSe 2023/24	Zugeordnetes Modul
Erwartete Teilnehmer/-innen
Rhythmus	jedes 2. Semester
Hyperlink	https://moodle.uni-weimar.de/course/view.php?id=41108
Sprache	deutsch

Gruppe [unbenannt]:

vormerken

Zugeordnete Person
Zugeordnete Person	Zuständigkeit
Jakoby, Andreas, PD, Dr.rer.nat.habil.

Studiengänge
Abschluss	Studiengang	Semester	Leistungspunkte
Bachelor	Medieninformatik (B.Sc.), PV 29	-	6
Bachelor	Medieninformatik (B.Sc.), PV 11	-	6
Bachelor	Medieninformatik (B.Sc.), PV 17	-	4,5
Bachelor	Medieninformatik (B.Sc.), PV 16	-	4,5

Zuordnung zu Einrichtungen
Dozentur "Algorithm Engineering"
Fakultät Medien

Inhalt
Beschreibung	Lernziel Ziel ist die Vermittlung grundlegender Kenntnisse, Denkweisen und Konzepte der formalen Sprachen und der Berechenbarkeit. Als Folgerung sollen den Studierenden die prinzipiellen Möglichkeiten und Grenzen der Informationsverarbeitung aufgezeigt werden. Zentrale Themen sind Automaten Theorie Formale Sprachen Maschinen Modelle Berechenbarkeit
Literatur	J.E. Hopcroft, R. Motwani, J.D. Ullman, Einführung in Automatentheorie, Formale Sprachen und Berechenbarkeit, 2011, Pearson Studium
Bemerkung	Zeit und Ort werden zu Projektbörse bekannt gegeben!
Voraussetzungen	Diskrete Mathematik
Leistungsnachweis	Klausur
Zielgruppe	Bachelor, 3. Semester

Strukturbaum

Die Veranstaltung wurde 3 mal im Vorlesungsverzeichnis WiSe 2023/24 gefunden:

Veranstaltungsverzeichnis der Bauhaus-Universität Weimar

Fakultät Medien

B.Sc. Informatik (ab PV 20)

Angewandte Informatik - - - 1

B.Sc. Medieninformatik (ab PV16)

Formale Grundlagen

Theoretische Informatik - - - 2

B.Sc. Medieninformatik (bis einschließlich PV11)

Mathematik und Modellierung

Modul Algorithmen - - - 3