Das Buch Der Beweise

Diese fünfte deutsche Auflage enthält ein ganz neues Kapitel über van der Waerdens Permanenten-Vermutung, sowie weitere neue, originelle und elegante Beweise in anderen Kapiteln.

Die süditalienische Camorra mischt mit im internationalen Drogenhandel, verschiebt riesige Mengen Giftmülls in Italien, macht gewaltige Geschäfte mit der Herstellung billiger wie hochwertiger Textilien, hat praktisch das Monopol auf den Handel mit Zement - und Geschäftsbeziehungen, die bis nach Deutschland, Schottland oder China reichen. Der junge Journalist Roberto Saviano hat unter Einsatz des eigenen Lebens vor Ort in Neapel recherchiert, Beweise geliefert und ein brillantes Buch geschrieben, das dem Leser den Atem nimmt. In Italien schlug es ein wie eine Bombe, der Autor war damit schlagartig berühmt - aber auch gefährdet. Saviano lebt inzwischen im Untergrund.

Angriffe auf die Wissenschaft sind alltäglich geworden: Die Erforschung des Klimawandels sei keine „anständige“ Wissenschaft, die Evolution „nur eine Theorie“, die „Wahrheit“ über Impfstoffe werde vertuscht. In diesem Buch diskutiert Lee McIntyre, was Wissenschaft von Nicht-Wissenschaft unterscheidet: der Stellenwert der Evidenz und die Bereitschaft, Theorien auf Basis neuer Evidenz zu verwerfen.

Dieses Buch handelt von 20 geometrischen Figuren (Icons), die eine wichtige Rolle bei der Veranschaulichung mathematischer Beweise spielen. Alsina und Nelsen untersuchen die Mathematik, die hinter diesen Figuren steckt und die sich aus ihnen ableiten lässt.

Dieses Lehr-, Arbeits- und Übungsbuch ist vorrangig zum Selbststudium sowie als Begleitlektüre zu Vorlesungen „Mathematik für Wirtschaftswissenschaftler“ konzipiert.

Das Buch bietet eine Einführung in die grundlegenden Begriffe und Strukturen der Mathematik, welche am Anfang eines Informatikstudiums relevant sind. Weiterhin demonstriert es Anwendungen von mathematischen Konzepten und Methoden in der Informatik. Diese betreffen insbesondere formale Methoden der Programmverifikation und -entwicklung und den Entwurf von generischen Programmen.