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]
SoSe 2024

Formale Sprachen - Einzelansicht

  • Funktionen:
Grunddaten
Veranstaltungsart Vorlesung SWS 3
Veranstaltungsnummer 4555402 Max. Teilnehmer/-innen
Semester WiSe 2017/18 Zugeordnetes Modul
Erwartete Teilnehmer/-innen
Rhythmus jedes 2. Semester
Hyperlink  
Sprache deutsch
Termine Gruppe: [unbenannt]
  Tag Zeit Rhythmus Dauer Raum Raum-
plan
Lehrperson Bemerkung fällt aus am Max. Teilnehmer/-innen
Einzeltermine anzeigen
Do. 15:15 bis 16:45 wöch. von 12.10.2017  Bauhausstraße 11 - Seminarraum 015  

Übung

 
Einzeltermine anzeigen
Do. 13:30 bis 15:00 unger. Wo von 26.10.2017  Bauhausstraße 11 - Seminarraum 013  

Vorlesung

 
Einzeltermine anzeigen
Do. 09:00 bis 19:00 Einzel am 15.03.2018 Bauhausstraße 11 - Seminarraum 015  

Repetitorium

 
Einzeltermine anzeigen
Mi. 09:00 bis 18:00 Einzel am 21.03.2018 Bauhausstraße 11 - Seminarraum 015  

Repetitorium

 
Einzeltermine anzeigen
Mi. 10:00 bis 12:00 Einzel am 28.03.2018 Bauhausstraße 11 - Seminarraum 015  

Klausur

 
Gruppe [unbenannt]:
 
 


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, der Berechenbarkeit und der Komplexitätstheorie. 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
engl. Beschreibung/ Kurzkommentar

Formal Languages

The aim this course is to impart basic knowledge on concepts of formal languages, computability, and complexity theory. The course present knowledge on the limits of information processing.

Key topics include

• Automata Theory

• Formal Languages

• Machine Models

• Computability

Literatur

J.E. Hopcroft, R. Motwani, J.D. Ullman, Einführung in Automatentheorie, Formale Sprachen und Berechenbarkeit, 2011, Pearson Studium

Voraussetzungen

Diskrete Mathematik

Leistungsnachweis

Klausur

Zielgruppe

Medieninformatik B.Sc.


Strukturbaum
Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester WiSe 2017/18 , Aktuelles Semester: SoSe 2024

BISON-Portal Startseite   Zurück Kontakt/Impressum Datenschutz