Das Seminar bietet einen axiomatischen Zugang zu Zermelo-Fraenkelschen Mengelehre. Wegbegleiter ist das Buch "Einführung in die Mengenlehre" von Heinz-Dieter Ebbinghaus.Es werden Kenntnisse aus dem Modul "Logik in der Informatik" vorausgesetzt
Vertiefungsschwerpunkt: Algorithmen und Modelle
Die Veranstaltung wurde 1 mal im Vorlesungsverzeichnis WiSe 2024/25 gefunden: