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

Liebe Studierende,
um die Ausbreitung des Coronavirus zu verlangsamen und uns alle zu schützen, ist der Beginn der Lehrveranstaltungen im Sommersemester 2020 verschoben. Der Lehrbetrieb in Präsenzform wird mit sofortiger Wirkung ohne Ausnahme eingestellt. Die Lehr- und Arbeitsräume für Studierende sind geschlossen. Detaillierte Hinweise entnehmen Sie bitte unserer Corona-Website: www.uni-weimar.de/coronavirus
Wir freuen uns, Ihnen natürlich weiterhin die Online-Serviceangebote des bison-Portals zur Verfügung stellen zu können. Auch möchten wir Sie darauf hinweisen, dass enorme Anstrengungen unternommen werden, um die Lernplattform moodle für online-Angebote auszubauen.
Bitte folgen Sie in Ihrem eigenen Interesse und dem anderer Menschen den Anweisungen und Hinweisen von Land, Stadt und Universität. Schützen Sie sich und andere und bleiben Sie gesund! Wir freuen uns auf Sie, sobald der Semesterbetrieb wieder aufgenommen werden kann.
Ihre Nachfragen erreichen uns gern über studium@uni-weimar.de
Ihr Dezernat Studium und Lehre

Ab sofort (27. April 2020) können Sie auf das aktualisierte Veranstaltungsverzeichnis des Sommersemesters 2020 zugreifen.

Startseite    Anmelden     
Logout in [min] [minutetext]
SoSe 2020

Formale Sprachen - Einzelansicht

  • Funktionen:
Grunddaten
Veranstaltungsart Vorlesung SWS 3
Veranstaltungsnummer 4555402 Max. Teilnehmer/-innen 40
Semester WiSe 2018/19 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
Di. 08:00 bis 19:00 Einzel am 12.03.2019 Bauhausstraße 11 - Seminarraum 014  

Reptitiorium

 
Einzeltermine anzeigen
Mi. 11:00 bis 12:30 wöch. von 10.10.2018  Bauhausstraße 11 - Seminarraum 014  

Übung

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

Vorlesung

 
Einzeltermine anzeigen
Do. 10:00 bis 12:30 Einzel am 28.03.2019 Coudraystraße 9 A - Hörsaal 6  

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
Fakultät Medien
Dozentur "Algorithm Engineering"
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

 

engl. Beschreibung/ Kurzkommentar

Formal Languages

The aim this course is to impart basic knowledge on concepts of formal languages and computability. 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 2018/19 , Aktuelles Semester: SoSe 2020

BISON-Portal Startseite   Zurück Kontakt/Impressum Datenschutz