Logische Grundlagen

Die Vorlesung bietet eine Einführung in grundlegende Begriffe und Methoden, die in der Mathematik allgegenwärtig sind. Dabei werden u.a. die folgenden Themen behandelt: Mengen und ihre Mächtigkeiten, Aussagenlogik, natürlichen Zahlen und Induktion, Konstruktion der rationalen und der reellen Zahlen.

Kurs im HIS-LSF