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-0144 Logik und Grundlagen · TUPlan

← All courses

04-00-0144

Logik und Grundlagen

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.

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 · SoSe 2026

Mon13:30–15:10S215/234 · Übung 1
Tue15:20–17:00S214/24 · Vorlesung und Übung
Thu11:40–13:20S103/164 · Übung 3
Thu13:30–15:10S103/312 · Übung 4
Fri11:40–13:20S215/404K · Übung 2

Parts

04-00-0144-vuLecture with exercise3 contact h/week

Language: Deutsch
Taught by: Prof. Dr. rer. nat. Martin Otto, M.Sc. Simon Vincent Raßmann

Course content

Elementare Logik: Aussagenlogik und Logik erster Stufe; Syntax, Semantik und Beweiskalküle. Elementare axiomatische Mengenlehre; mengentheoretische Modellierung mathematischer Objekte; Ordinalzahlen, Kardinalzahlen. Berechenbarkeit, Entscheidbarkeit und Aufzählbarkeit anhand eines einfachen Berechnungsmodells.

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