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.

Durchschnittsbewertung

Bewertungen:

1

Gesamt: Für diesen Kurs wurden noch nicht genügend Einzelbewertungen abgegeben. Aktuell sind 5 Bewertungen notwendig, bevor Durchschnittswerte berechnet werden. Siehe dazu auch den Eintrag in unseren FAQ.
Fairness:
Unterstützung:
Material:
Verständlichkeit:
Spaß:
Interesse:
Note/Aufwand:
Empfehlung:

Neueste Einträge

Automatische Literatursuche

Literatur wird bei Amazon gesucht ...

Andere Literatur empfehlen »