Pioniere Der Informatik Ihre Lebensgeschichte im Interview

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.

Könnten Bäume sprechen, sie hätten einiges zu erzählen. Der Träger des Alternativen Nobelpreis, David Suzuki, und der Essayist Wayne Grady lassen uns an so einem ereignisreichen Baumleben teilhaben. Ihre Biografie eines Baumes – beeindruckend illustriert durch Federzeichnungen des kanadischen Künstlers Robert Bateman – beschreibt sieben Jahrhunderte im Leben einer Douglasie.

Alles was du vor dem Start deines Informatik Studium wissen solltest! Die wichtigsten Grundlagen in einem Kurs.

Klaus Mainzer legt in diesem essential dar, dass die Zukunft von KI und Digitalisierung eine nüchterne Analyse erfordert, die Grundlagenforschung mit Anwendung verbindet. Berechenbarkeits- und Beweistheorie können dazu beitragen, Big Data und Machine Learning sicherer zu bewältigen. Dabei zeigt sich, dass die komplexen Herausforderungen der digitalen und analogen Welt in Grundlagenfragen der Mathematik, Informatik und Philosophie tief verwurzelt sind.