Formale Sprachen - Einzelansicht

Termine Gruppe: [unbenannt]
	Tag	Zeit	Rhythmus	Dauer	Raum	Raum- plan	Lehrperson	Bemerkung	fällt aus am	Max. Teilnehmer/-innen
	Di.	13:30 bis 15:00	wöch.	von 14.10.2025	Bauhausstraße 11 - Seminarraum H			Vorlesung/ Übung
	Do.	09:15 bis 10:45	wöch.	von 16.10.2025	Bauhausstraße 11 - Seminarraum H			Vorlesung/ Übung

Gruppe [unbenannt]:

vormerken

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

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

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

Inhalt
Beschreibung	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	B.Sc. Informatik, 3. Semester

Strukturbaum

Die Veranstaltung wurde 2 mal im Vorlesungsverzeichnis WiSe 2025/26 gefunden:

Veranstaltungsverzeichnis der Bauhaus-Universität Weimar

Fakultät Medien

B.Sc. Informatik (ab PV 20)

Angewandte Informatik - - - 1

Mathematik und Modellierung

Modul Algorithmen - - - 2