Loading…
FB04 Mathematics · Offered in SoSe 2026
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.
Syntax und Semantik der Aussagenlogik, funktionale Vollständigkeit und Normalformen, Kompaktheitssatz der Aussagenlogik, vollständige Beweiskalküle: Resolution und ein Sequenzenkalkül; \newline Syntax und Semantik der Logik erster Stufe, Strukturen und Belegungen, Normalformen und Skolemisierung, der Satz von Herbrand und der Kompaktheitsstaz der Logik erster Stufe, vollständige Beweiskalküle: (Grundinstanzen-)Resolution und ein Sequenzenkalkül, Gödelscher Vollständigkeitssatz, Unentscheidbarkeit der Logik erster Stufe; \newline optional: Exkurse zu Ausdrucksstärke und model checking
No exam date published.
Add to plannerTimes, rooms and details come from TUCaN and may be out of date. Report something wrong