Modelle und Theorie Verteilter Systeme

Formale Sprachen und Automaten

ParameterWert
NiveauBachelor, Semester 2, Pflicht in Informatik
VorkenntnisseRelevantes aus dem Mathematik-Kombimodul Ana1/LinA LP
LP6
Bestandteile2VL "Formale Sprachen und Automaten" 2UE "Formale Sprachen und Automaten"
Semesterjedes SoSe (ab 20/21)
PrüfungsformPortfolioprüfung
DetailsModulbeschreibung
MaterialFormelsammlung

News

FoSA heißt nun ForSA ...

Für das aktuelle Sommer-Semester 2023 wurde wieder ein ISIS-Kurs angelegt. 

Freitag, 3. April 2020

Das Modul wird folgende Neuerungen mit sich bringen:

  • organsiatorische Umstellung auf Flipped Classroom, nicht zuletzt wegen des Digitalisierungszwanges durch das Pandemiesemester;
  • inhaltlicher Ausbau der kontextfreien Sprachen, da Kenntnisse aus dem Mathematik-Kombimodul im 1. Semester vorausgesetzt werden;
  • optionale Begleitung durch interaktive Beweisassistenten;
  • angepasste Prüfungsform (siehe Modulbeschreibung) mit geänderter Punkteverteilung und individueller Hausaufgabenabgabe.

Vom 1. Fachsemester (Winter) ins 2. Fachsemester (Sommer)

Mittwoch, 22. April 2020

Um (auf vielfachen Wunsch von Studierenden) die Studierbarkeit im Sinne des Mathematik-Kombimoduls zu verbessern wurde beschlossen, den Studienverlaufsplan zu ändern und FoSA vom 1. ins 2. Semester zu schieben. Das wird naturgemäß eine Änderung der Inhalte nach sich ziehen und einer Abstimmung mit dem dann gleichzeitig stattfindenden Modul "Diskrete Strukturen" bedürfen.