Formale Sprachen und Automaten (FoSA)

Typ: Vorlesung + Übung/Tutorium
SWS: 4
Credit Points: 6
Homepage: mtv.tu-berlin.de

Kursbeschreibung / -kommentar

In der neuen StuPO 14/15 des Bachelor Informatik ist dies das Erstsemestermodul im Theoriezuklus.

Die erste Hälfte führt in die Formalsprache vpm Logik, Beweisen sowie diskreten Basisstrukturen (Relationen, Funktionen, Ordnungen, Äquivalenzen, ...) ein.

Die Zweite Hälfte behandelt formale Sprachen à la Chomsky und ihren Zusammenhang zu Automatenmodellen bis hin zu Kellerautomaten. Turing-Maschinen kommen dann erst im zweiten Semester dran.

Top-Dozenten TU Berlin
Kriterium: Spaß

Keine Dozenten mit mehr als 15 Bewertungen gefunden.

Top-Kurse TU Berlin
Kriterium: Spaß

Keine Kurse mit mehr als 15 Bewertungen gefunden.