Vorlesung + Übung: Mathematische Logik - Details

Allgemeine Informationen

Veranstaltungsname	Vorlesung + Übung: Mathematische Logik
Veranstaltungsnummer	MTH-2642, MTH-2644, MTH-2645, MT
Semester	SS 2025
Aktuelle Anzahl der Teilnehmenden	26
Heimat-Einrichtung	Algebra und Zahlentheorie
Veranstaltungstyp	Vorlesung + Übung in der Kategorie Lehre
Erster Termin	Mittwoch, 23.04.2025 15:45 - 17:15, Ort: (1008 L)
Veranstaltung findet in Präsenz statt / hat Präsenz-Bestandteile	Ja
Hauptunterrichtssprache	deutsch

Lehrende

• Maximilian Kaske
• Prof.Dr. Marc Nieper-Wißkirchen

Räume und Zeiten

(1008 L)

Mittwoch: 15:45 - 17:15, wöchentlich (14x)

Freitag: 12:15 - 13:45, wöchentlich (14x)

Freitag: 14:00 - 15:30, wöchentlich (14x)

Studienbereiche

• Schnuppervorlesung
• Fakultät für Angewandte Informatik > Informatik
• Mathematisch-Naturwissenschaftlich-Technische Fakultät > Institut für Mathematik
• Mathematisch-Naturwissenschaftlich-Technische Fakultät
• Mathematisch-Naturwissenschaftlich-Technische Fakultät > Institut für Mathematik > Bachelor Mathematik
• Fakultät für Angewandte Informatik
• Mathematisch-Naturwissenschaftlich-Technische Fakultät > Institut für Mathematik > Bachelor Data Science
• Mathematisch-Naturwissenschaftlich-Technische Fakultät > Institut für Mathematik > Bachelor Mathematik und Informatik

Modulzuordnungen

• Mathematik und Informatik Bachelorstudiengang Mathematik und Informatik, 5. Version gültig ab SS 2025 > F. Wahlbereich > MTH-2642 - Einführung in die Mathematische Logik > Mathematische Logik
• Mathematik Bachelorstudiengang Mathematik, 20. Version gültig ab SS 2025 > Bachelor Mathematik W: Mathematischer Wahlbereich > MTH-2642 - Einführung in die Mathematische Logik > Mathematische Logik
• Wirtschaftsmathematik Bachelorstudiengang Wirtschaftsmathematik (PO 2015), 18. Version gültig ab SS 2025 > Modulgruppe G: Wahlbereich [BacWiMa PO 2015] > MTH-2642 - Einführung in die Mathematische Logik > Mathematische Logik
• Mathematik und Informatik Bachelorstudiengang Mathematik und Informatik, 5. Version gültig ab SS 2025 > E6. Reine Mathematik > MTH-2642 - Einführung in die Mathematische Logik > Mathematische Logik
• Mathematik Bachelorstudiengang Mathematik, 20. Version gültig ab SS 2025 > Bachelor Mathematik S: Spezialisierung > MTH-2644 - Spezialisierungsmodul Philosophie und Logik der Mathematik > Mathematische Logik
• Informatik B.Sc. Informatik, PO 2013, 22. Version gültig ab SS 2025 > B.Sc. Informatik (PO '13) - Informatik-Vertiefung > MTH-2645 - Mathematische Logik I > Mathematische Logik I
• Informatik B.Sc. Informatik, PO 2018, 14. Version gültig ab SS 2025 > Informatik-Vertiefung A > MTH-2645 - Mathematische Logik I > Mathematische Logik I
• Informatik und Multimedia B.Sc. Informatik und Multimedia, PO 2016, 19. Version gültig ab SS 2025 > B.Sc. Informatik und Multimedia (PO '15) - Informatik und Multimedia-Vertiefung > MTH-2645 - Mathematische Logik I > Mathematische Logik I
• Informatik und Multimedia B.Sc. Informatik und Multimedia, PO 2013, 22. Version gültig ab SS 2025 > B.Sc. Informatik und Multimedia (PO '13) - Informatik und Multimedia-Vertiefung > MTH-2645 - Mathematische Logik I > Mathematische Logik I
• Informatik B.Sc. Informatik, PO 2018, 14. Version gültig ab SS 2025 > Informatik-Wahlbereich > MTH-2645 - Mathematische Logik I > Mathematische Logik I
• Informatik B.Sc. Informatik, PO 2018, 14. Version gültig ab SS 2025 > Nebenfach Mathematik > MTH-2646 - Mathematische Logik II > Mathematische Logik II
• Informatik B.Sc. Informatik, PO 2013, 22. Version gültig ab SS 2025 > Nebenfächer des B.Sc. Informatik - Mathematik > MTH-2646 - Mathematische Logik II > Mathematische Logik II