Ort und Zeit

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

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

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.

Lineare Algebra I und II, Analysis I und II

Proseminar (2HfB21, BSc21, MEH21, MEB21)

Ort und Zeit

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

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

Ort und Zeit

Vorlesung: Di, Do, 12-14 Uhr, HS II, Albertstr. 23b
Übung: 2-stündig, Termin wird noch festgelegt
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

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

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.

Grundlegende Mathematikkenntnisse aus Erstsemestervorlesungen

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

Ort und Zeit

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

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