Deutschland » Berlin » TU Berlin » Informatik » Prof. Dr.-Ing. Nestmann » Formale Sprachen und Automaten (FoSA)
Formale Sprachen und Automaten (FoSA)
Typ: Vorlesung + Übung/Tutorium
SWS: 4
Credit Points: 6
Homepage: mtv.tu-berlin.de
Hilfe
Du möchtest diesen Kurs bewerten?
Klicke dazu auf »Kurs bewerten« im Menu.
Es werden keine Bewertungen angezeigt?
Die Bewertungen des Kurses befinden sich im Tab »Bewertungen«. Dieser wird nur angezeigt, wenn Du dich als Nutzer registriert hast und eingeloggt bist.
Die Bewertungen der einzelnen Kriterien fehlen?
Du kannst zwischen dem Kurskommentar und den Bewertungen der einzelnen Kriterien wechseln, indem Du auf »Einzelbewertungen einblenden« klickst.
Was bedeutet Kurs belegen?
Du wirst über alle neuen Bewertungen oder Foreneinträge des Kurses per E-Mail informiert.
Du möchtest mit anderen über den Kurs diskutieren?
Klicke dazu auf das Tab »Forum« und schreib einen Beitrag.
Noch Fragen?
Dann wirf einen Blick in unsere FAQ oder schicke uns eine Nachricht über unser Kontaktformular.
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: | |
Fairness: | |
Unterstützung: | |
Material: | |
Verständlichkeit: | |
Spaß: | |
Interesse: | |
Note/Aufwand: | |
Empfehlung: |
Neueste Einträge
Automatische Literatursuche
Literatur wird bei Amazon gesucht ...