Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2

Serviceportal für Studium und Lehre

Startseite

Anmelden

Logout in [min] [minutetext]

WiSe 2024/25

Veranstaltungen Räume und Gebäude Personen

Formale Sprachen - Einzelansicht

Funktionen:

Seiteninhalt:
Grunddaten
Termine
Zugeordnete Person
Studiengänge
Einrichtungen
Inhalt
Strukturbaum

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

Termine Gruppe: [unbenannt]
	Tag	Zeit	Rhythmus	Dauer	Raum	Raum- plan	Lehrperson	Bemerkung	fällt aus am	Max. Teilnehmer/-innen
	Di.	09:15 bis 10:45	wöch.	von 10.10.2023	Schwanseestraße 143 - Seminarraum 3.31			Vorlesung
	Do.	09:15 bis 10:45	wöch.	von 12.10.2023	Coudraystraße 13 A - Hörsaal 2			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

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

Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester WiSe 2023/24 , Aktuelles Semester: WiSe 2024/25

BISON-Portal

Kontakt/Impressum