Wird geladen…

TUPlan ist eine unabhängige, von Studierenden gebaute Planungshilfe. Sie steht in keiner Verbindung zur TU Darmstadt und wird weder von ihr betrieben noch unterstützt. Verbindlich für Anmeldung, Prüfungen und Noten bleibt allein TUCaN.

Impressum Datenschutz Nutzungsbedingungen

04-00-0144 Logik und Grundlagen · TUPlan

← Alle Kurse

04-00-0144

Logik und Grundlagen

FB04 Mathematik · Angeboten in SoSe 2026

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.

Erweiterung installieren (öffnet in neuem Tab)Noch nicht im Chrome Web Store — der Link führt vorerst zur Store-Suche.

Hat sich der Kurs gelohnt?

Noch keine Bewertungen — mach den Anfang.

Deine Bewertung hängt an einer zufälligen ID in diesem Browser. Kein Konto, nichts, was dich identifiziert.

Wöchentliche Termine · SoSe 2026

Mo13:30–15:10S215/234 · Übung 1
Di15:20–17:00S214/24 · Vorlesung und Übung
Do11:40–13:20S103/164 · Übung 3
Do13:30–15:10S103/312 · Übung 4
Fr11:40–13:20S215/404K · Übung 2

Bestandteile

04-00-0144-vuVorlesung mit Übung3 SWS

Sprache: Deutsch
Lehrende: Prof. Dr. rer. nat. Martin Otto, M.Sc. Simon Vincent Raßmann

Lehrinhalte

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.

Prüfungstermine

Kein Prüfungstermin veröffentlicht.

Zum Stundenplan hinzufügen

Termine, Räume und Angaben stammen aus TUCaN und können veraltet sein. Falsche Angabe melden