Wird geladen…
FB04 Mathematik · Angeboten in WiSe 2025/26
Für diesen Kurs wurden noch keine Noten gemeldet.
Notenverteilungen kommen herein, sobald jemand, der den Kurs belegt hat, den Notenspiegel mit installierter TUPlan-Erweiterung öffnet.
Noch keine Bewertungen — mach den Anfang.
Deine Bewertung hängt an einer zufälligen ID in diesem Browser. Kein Konto, nichts, was dich identifiziert.
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)
Kein Prüfungstermin veröffentlicht.
Zum Stundenplan hinzufügenTermine, Räume und Angaben stammen aus TUCaN und können veraltet sein. Falsche Angabe melden