Mathematical foundations

Ist die Mathematik frei von Widersprüchen?

Diese kompakte Einführung in die Theoretische Informatik stellt die wichtigsten Modelle für zentrale Probleme der Informatik vor.

Dieses Buch widmet sich ausgewählten grund­legenden Begriffen, und zwar im Zusammenhang mit fundamentalen Ideen, beschränkt auf Struktur (Logik, Mengen, Axiomatik, algebraische Strukturen, Gleichungen), Funktion (verallgemeinert: Relation) und Zahl (von den Anfängen über Brüche, Bruchzahlen, natürliche Zahlen bis hin zu reellen Zahlen und Quaternionen).