Ort und Zeit

Vorlesung: Mo, Mi, 14-16 Uhr, HS II, Albertstr. 23b
Übung: 2-stündig, Termin wird noch festgelegt und in der Vorlesung bekanntgegeben
Klausur 14.09., 10:00-13:00, HS Weismann-Haus, Albertstr. 21a

Lehre

Dozent:in: Markus Junker
Assistenz: Stefan Ludwig
Sprache: auf Deutsch

Inhalt

Ziel der Mathematischen Logik ist es zunächst, die Grundlagen der Mathematik zu präzisieren: Was ist ein Beweis? Welche Beweismethoden sind zulässig? Welche Axiome braucht man? Um sinnvolle Antworten auf diese Fragen geben zu können, muss man zunächst in der sogenannten Prädikatenlogik formalisieren, was mathematische Aussagen und was Beweise sind. Wenn das erreicht ist, können Aussagen und Beweise selbst zum Objekt mathematischer Untersuchung werden, und man kann Sätze über die Möglichkeiten und Grenzen der Beweisbarkeit beweisen: Die wichtigsten sind der Vollständigkeitssatz und die Unvollständigkeitssätze von Kurt Gödel. Auf dem Weg dorthin führt die Vorlesung die Grundbegriffe wichtiger Teilgebiete der Mathematischen Logik ein: Mengenlehre, Modelltheorie und Berechenbarkeitstheorie (Rekursionstheorie).

Vorkenntnisse

Grundlegende Mathematikkenntnisse aus Erstsemestervorlesungen

Verwendbarkeit

Wahlmodul im Optionsbereich (2HfB21)
Wahlpflichtmodul Mathematik (BSc21)
Mathematische Vertiefung (MEd18, MEH21)
Reine Mathematik (MSc14)
Wahlmodul (MSc14)
Elective (MScData24)

Die Zahl der ECTS-Punkte entnehmen Sie bitte den Ergänzungen zu den Modulhandbüchern.

Mehr erfahren

Ort und Zeit

Seminar: Di, 16-18 Uhr, SR 127, Ernst-Zermelo-Str. 1
Voranmeldung: keine, kommen Sie zur Vorbesprechung!
Seminarvorbesprechung 23.07., 12:15, Fakultätssitzungsraum 427, Ernst-Zermelo-Str. 1
Individuelle Vortragsvorbesprechungen: Termine nach Vereinbarung

In HISinOne keine Belegung, aber Prüfungsanmeldung bis 8.10.2025.

Lehre

Dozent:in: Heike Mildenberger
Assistenz: Stefan Ludwig
Sprache: auf Deutsch

Inhalt

Themen sind: Endliche und unendliche Graphen, Eulerpfade, Verbundenheitseigenschaften, Färbungen, Spannbäume, Zufallsgraphen. Wenn gewünscht, können auch fortgeschrittenere Gegenstände, wie zum Beispiel der Rado-Graph und 0-1-Gesetze oder probabilistische Methoden vorgestellt werden.

Vorkenntnisse

Lineare Algebra I und II, Analysis I und II

Verwendbarkeit

Proseminar (2HfB21, BSc21, MEH21, MEB21)

Die Zahl der ECTS-Punkte entnehmen Sie bitte den Ergänzungen zu den Modulhandbüchern.

Ort und Zeit

Vorlesung: Mi, 10-12 Uhr, HS 3043, KG III
Übung: 2-stündig, verschiedene Termine

Lehre

Dozent:in: Markus Junker
Assistenz: Stefan Ludwig
Sprache: auf Deutsch

Mehr erfahren

Ort und Zeit

Vorlesung: Di, Do, 12-14 Uhr, HS II, Albertstr. 23b
Übung: 2-stündig, Termin wird noch festgelegt und in der Vorlesung bekanntgegeben
Klausur 28.07., 14:00-17:00, SR 318, Ernst-Zermelo-Str. 1
Nachklausur 09.12., 14:30-17:30, SR 318, Ernst-Zermelo-Str. 1

Lehre

Dozent:in: Amador Martín Pizarro
Assistenz: Stefan Ludwig
Sprache: auf Deutsch

Inhalt

Dieser einführende Kurs in die mathematische Logik besteht aus mehreren Teilen. Es werden die Grundlagen der Prädikatenlogik und eine kurze Einleitung in die Modelltheorie sowie das Axiomensystem der Mengenlehre behandelt. Das Ziel der Vorlesung ist es, den rekursionstheoretischen Gehalt des Prädikatenkalküls, insbesondere die sogenannte Peano-Arithmetik und die Gödelschen Unvollständigkeitssätze, zu verstehen.

Vorkenntnisse

Grundlegende Mathematikkenntnisse aus Erstsemestervorlesungen

Verwendbarkeit

Wahlmodul im Optionsbereich (2HfB21)
Wahlpflichtmodul Mathematik (BSc21)
Mathematische Vertiefung (MEd18, MEH21)
Reine Mathematik (MSc14)
Wahlmodul (MSc14)
Elective (MScData24)

Die Zahl der ECTS-Punkte entnehmen Sie bitte den Ergänzungen zu den Modulhandbüchern.

Ort und Zeit

Vorlesung: Mi, 10-12 Uhr, HS 3117, KG III
Übung: 2-stündig, verschiedene Termine

Lehre

Dozent:in: Amador Martín Pizarro
Assistenz: Stefan Ludwig
Sprache: auf Deutsch