
Theorie ganz praktisch erklärt - Introduction to the Theory of Computation ist eines der besten Bücher über theoretische Informatik. Der Stil ist so locker und leicht gehalten das man endlich sein Schulenglisch wieder benutzen kann und weiß wofür man die Stunden denn nun hatte.Mathematisch wird bei „Adam und Eva angefangen und der Leser wird quasi an die Hand genommen. Der Effekt dieser Art von Buch ist - dass ein an sich nicht gerade überwältigendes Thema so aufbereitet wird - , dass es jeder lesen sollte der sich mit Computern bzw. mit Programmierung beschäftigen will - weil es kreativ ist - oder muss - um damit Geld zu verdienen. Viele Abbildungen und kurze Kapitel sowie Beispiele in Hülle und Fülle verleiten den Interessierten dazu immer mehr wissen bzw. entdecken zu wollen. Leider scheint dieses Buch gänzlich den üblichen Lehrern an Gewerbeschulen unbekannt zu sein, denn eine Nebenlektüre könnte manches vom Sinn her kryptisches Tafelbild entschlüsseln, schade eigentlich für die Schüler. Ich gebe die volle Sternzahl da der Einband sehr gepflegt aufgemacht ist und sehr gut zum Stil des Inhalts passt: Wertvoll unterhaltsam und nicht langweilig. Einen Nachteil hat der Schreibstil des Autors: Einmal damit angefangen fällt es einem schwer das Buch aus der Hand zu legen.
Das beste Lehrbuch, das ich bis jetzt gefunden habe... - Dieses Buch ist wirklich jeden Cent wert den es kostet. Ich habe noch nie ein Buch gefunden, das ein an sich so trockenes Thema so interessant darstellt. Jeder Beweis wird klar verständlich dargestellt, indem zuerst die Beweisidee skizziert wird - sehr anschaulich -, so dass der dann folgende formale Beweis auch nicht mehr schwer zu verstehen ist. Gleichzeitig lernt man dabei einiges an Beweistechnik, was einem auch in einer Menge anderer Fächer hilft. Das Buch bietet eine umfassende Einführung in Endliche Automaten, reguläre Sprachen, kontextfreie Sprachen, Berechnungs- und Komplexitätstheorie. Ich kann es wirklich jedem Studenten der Informatik empfehlen, aber auch wer sich so für diese Materie interessiert, wird durch dieses Buch leicht Einblick gewinnen.
Lesenswertes Buch - Kurz gesagt, ist es das beste Buch, dass es zur theoretischen Informatik gibt. Es werden die Beweisideen und die zugehörigen Beweise erläutert und anhand von nicht wenigen Beispielen gezeigt, wie man die Sätze anwenden kann. Solche Bücher müsste es öfter geben.
The first modern textbook on TCS - This is an excelent introduction to theoreticalcomputer science that does not contain the classical fundamentals such as computability,formal languages, and NP-completeness only, butalso a choise of some crutial concepts and ideasdeveloped in the last 25 years. The community has missed such a book for more than 10 years.Another important point is that this book is well readable for students, all ideas, conceptsand proofs are explained clearly in a very transparent way. Due to this book the students canenjoy the study of theoretical computer science. My deepest complements.
Unbelievable - Reading this book changed my entire set of beliefs regarding the importance and usefulness of computational theory (and math) in computer science. I have been programming since grade 7, yet only after reading this book do I feel like I really have a grasp of it on a fundamental level. Its like there was this whole other world under my nose that I caught passing glimpses of yet was never able to put together. Like in DOS: c:>dir *, why use a star character? Why is XML the way it is? The list goes on and on. This book tied *alot* of loose ends for me.I always felt that being a cs-tist was about programming, object oriented design/analysis, design patterns, UML, etc.. And there is no doubt that mastery of these technologies are required of any good cs-tist. However, if you want to understand where all these technologies you use come from, how they connect, and to get a glimpse of where its all going, you must combine your current programming and trend following expertise with knowledge of the underlying theories of computation.This book should be required reading for all first year CS students so that they may get the big picture right from the start and be able to see CS as a whole rather than a bunch of kinda related courses. I see this book inspiring a whole generation of cs-tists - many of whom may have gone into other professions after reading books like Introduction to Automata Theory, Languages, and Computation by Ullman, Hopcroft (a great, rigorous treatment of cs, but *not* a good book to learn from or be inspired by).Again, great book!