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 
Switch to english language
Startseite    Anmelden     
Logout in [min] [minutetext]
WiSe 2024/25

Formale Sprachen - Einzelansicht

  • Funktionen:
Grunddaten
Veranstaltungsart Vorlesung SWS 4
Veranstaltungsnummer 4555402 Max. Teilnehmer/-innen 30
Semester WiSe 2024/25 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
Einzeltermine anzeigen
Di. 13:30 bis 15:00 wöch. von 15.10.2024  Bauhausstraße 11 - Seminarraum H  

Vorlesung

 
Einzeltermine anzeigen
Do. 09:15 bis 10:45 wöch. von 17.10.2024  Karl-Haußknecht-Straße 7 - Hörsaal (IT-AP)  

Vorlesung / Übung

 
Einzeltermine anzeigen
Do. 09:00 bis 11:30 Einzel am 20.03.2025 Bauhausstraße 11 - Seminarraum A  

Prüfung

 
Gruppe [unbenannt]:
 
 


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

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 2024/25 gefunden:
Angewandte Informatik  - - - 1
Modul Algorithmen  - - - 3

BISON-Portal Startseite   Zurück Kontakt/Impressum Datenschutz