In diesem Buch geht es um den sprachlichen Aspekt der Mathematik. Es behandelt die Frage, welche Sprache für den präzisen Ausdruck mathematischer Sachverhalte geeignet ist. Die Umgangssprache ist anschaulich und intuitiv, jedoch sind viele ihrer Ausdrücke unscharf oder mehrdeutig. In der mathematischen Logik werden deshalb formale Sprachen verwendet, die ein Maximum an Präzision bieten, aber schwieriger zu erlernen sind.
Folgende Inhalte werden vermittelt:
- Mengenlehre zur Abdeckung der meisten mathematischen Grundbegriffe
- Relationen und Funktionen
- Äquivalenz- und Ordnungsrelationen
- Zahlen- und Mengenbeispiele zur Illustration der mathematischen Grundbegriffe
- Anwendung der Grundbegriffe zum Aufbau der Zahlen mit axiomatischer Einführung der natürlichen Zahlen durch Induktion und Rekursion
- Konstruktion geeigneter Modelle für die Erweiterung zu den Mengen der ganzen und rationalen Zahlen
- Mächtigkeit endlicher Mengen, mit einem Ausblick in die Kombinatorik und Herleitung des Binomischen Lehrsatzes
Am Ende jedes Kapitels werden Aufgaben gestellt, auf plus.hanser-fachbuch.de stehen deren ausführliche Lösungen zum Download zur Verfügung.
