Mathematical logic

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

In dem Buch erkundet der preisgekrönte Autor John Stillwell die Konsequenzen, die sich ergeben, wenn man die Unendlichkeit akzeptiert, und diese Konsequenzen sind vielseitig und überraschend.

Ist die Mathematik frei von Widersprüchen?

Diese deutlich erweiterte dritte Auflage enthält fünf neue Kapitel, in denen es um Klassiker geht wie den "Fundamentalsatz der Algebra", um kombinatorisch-geometrische Zerlegungsprobleme, aber auch um Beweise aus letzter Zeit, etwa für die "Kneser-Vermutung" in der Graphentheorie.

Das Buch vermittelt logisches Grundwissen, fundamentale Beweisprinzipien, Methoden und Einsichten, welche jede Mathematikerin/jeder Mathematiker besitzen sollte.

Petri-Netze sind das meist beachtete und am besten untersuchte Modell für nebenläufige, parallele Rechnungen.

Diese Einführung in die Theoretische Informatik zeichnet sich durch Verständlichkeit und gute Lesbarkeit aus.

Wittgensteins Denken belebt nach wie vor die zeitgenössischen Debatten in der Sprachphilosophie ebenso wie in der Sprachwissenschaft, der Philosophie der Logik und Mathematik oder der Philosophie des Geistes.