Loading…

TUPlan is an independent, student-built planning aid. It is not affiliated with, endorsed by, or operated by TU Darmstadt. TUCaN remains the system of record for registration, exams and grades.

Impressum Privacy Terms

04-00-0148 Introduction to Mathematical Logic · TUPlan

← All courses

04-00-0148

Introduction to Mathematical Logic

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.

Install the extension (opens in a new tab)Not in the Chrome Web Store yet — for now the link goes to a store search.

Was this course worth it?

No ratings yet — be the first.

Your vote is stored against a random id in this browser. No account, nothing that identifies you.

Weekly sessions · WiSe 2025/26

Tue09:50–11:30S207/167 · Vorlesung und Übung
Tue11:40–13:20S215/51 · Exercise 2
Thu09:50–11:30S103/121 · Exercise 1
Fri11:40–13:20S103/23 · Vorlesung und Übung

Parts

04-00-0148-vuLecture with exercise6 contact h/week

Language: Englisch
Taught by: Dr. rer. nat. Kord Eickmeyer, Ph.D. Jin Wei

Course content

Syntax und Semantik der Logik erster Stufe; formale Beweise in einem Kalkül; Vollständigkeit; Kompaktheitssatz; logisch-mengentheoretische Grundlagen der Mathematik; elementare Rekursionstheorie; Unentscheidbarkeit und Unvollständigkeit.

Exam dates

No exam date published.

Add to planner

Times, rooms and details come from TUCaN and may be out of date. Report something wrong