Die auf drei Bande angelegte Reihe mit prufungsrelevanten Aufgaben und Losungen erlautert grundlegende Mathematik-bezogene Methoden der Informatik. Der vorliegende erste Band "Induktives Vorgehen" intoniert das durch das Zusammenspiel von Struktur, Invarianz und Abstraktion gepragte Leitthema der Trilogie zu den Grundlagen der Hoheren Informatik. Die beide Folgebande "Algebraisches Denken" und " Perfektes Modellieren" greifen dieses Thema dann variierend und in immer komplexer werdenden Zusammenhangen vertiefend auf. Wie beim Bolero von Ravel, wo die gleiche Melodie von immer mehr...
Die auf drei Bande angelegte Reihe mit prufungsrelevanten Aufgaben und Losungen erlautert grundlegende Mathematik-bezogene Methoden der Informatik....
This book explains the mathematical foundations of modern computer science. The content has been class-tested for many years, and there are extensive exercises throughout. This is a valuable textbook for undergraduate and graduate students in computer science.
This book explains the mathematical foundations of modern computer science. The content has been class-tested for many years, and there are extensive ...