Das Buch fuhrt in leicht verstandlicher und dennoch praziser Form in die Grundlagen der Berechenbarkeitstheorie ein. Es richtet sich an Informatikstudenten, ist aber fur alle an der algorithmischen Berechenbarkeit Interessierten geeignet; vom Leser wird nur eine gewisse Vertrautheit mit formaler Argumentation erwartet. Der Darstellung liegt das Modell der Registermaschine zugrunde, das dem Umgang mit realen Computern und Programmiersprachen entlehnt ist. Daneben werden auch die klassischen Berechenbarkeitsmodelle betrachtet und die Gleichwertigkeit der Ansatze untereinander gezeigt. Daruber...
Das Buch fuhrt in leicht verstandlicher und dennoch praziser Form in die Grundlagen der Berechenbarkeitstheorie ein. Es richtet sich an Informatikstud...
Der Autorprasentiert Leben, Werk und Wirken eines der weltweit bekanntesten deutschen Informatiker: Carl Adam Petri. Die Stadien seiner Entwicklung sind lebendig und kurzweilig beschrieben, gehen aber so weit in die Tiefe, dass der Leser ein gutes Verstandnis fur die Hintergrunde von Petris wichtigstem Beitrag zur Informatik bekommt, die nach ihm benannten Petrinetze. Das Buch kann so als Einfuhrung in die Petrinetze gelesen werden, erortert aber auch die theoretischen, physikalischen und philosophischen Grundlagen der Netze, die erst einen umfassenden Zugang zu Petris Werk ermoglichen. Das...
Der Autorprasentiert Leben, Werk und Wirken eines der weltweit bekanntesten deutschen Informatiker: Carl Adam Petri. Die Stadien seiner Entwicklung si...
The book presents the life and works of one of Germany's most famous computer scientists, Carl Adam Petri. It is written in a vivid and entertaining manner, providing an in-depth discussion of the background behind Petri's best-known contribution to computer science, the Petri net.
The book presents the life and works of one of Germany's most famous computer scientists, Carl Adam Petri. It is written in a vivid and entertaining m...
The book provides an introduction to common programming tools and methods in numerical mathematics and scientific computing. Unlike standard approaches, it does not focus on any specific language, but aims to explain the underlying ideas.Typically, new concepts are first introduced in the particularly user-friendly Python language and then transferred and extended in various programming environments from C/C++, Julia and MATLAB to Maple and Mathematica. This includes various approaches to distributed computing. By examining and comparing different languages, the book is also helpful for...
The book provides an introduction to common programming tools and methods in numerical mathematics and scientific computing. Unlike standard approache...