Loading…
FB04 Mathematics · Offered in WiSe 2025/26
No grade data reported for this course yet.
Grade distributions arrive when a student who took the course opens their Notenspiegel with the TUPlan extension installed.
No ratings yet — be the first.
Your vote is stored against a random id in this browser. No account, nothing that identifies you.
Unterschiede zwischen klassischer und endlicher Modelltheorie, wo einschlaegige klassische Techniken und Resultate versagen; modelltheoretische Spiele und die Ehrenfeucht-Fraisse Methode, Definierbarkeit und Lokalität (Hanf und Gaifman); 0-1-Gesetze (Fagin); zentrale Resultate der deskriptiven Komplexitätstheorie (Fagin, Immerman-Vardi, Abiteboul-Vianu)
No exam date published.
Add to plannerTimes, rooms and details come from TUCaN and may be out of date. Report something wrong