Angebote zu "Turing" (12 Treffer)

Turing´s Connectionism
79,99 € *
ggf. zzgl. Versand

Turing´s connectionism provides a detailed and in-depth analysis of Turing´s almost forgotten ideas on connectionist machines. In a little known paper entitled ´´Intelligent Machinery´´, Turing already investigated connectionist models as early as 1948. Unfortunately, his work was dismissed by his employer as a ´´schoolboy essay´´ and went unpublished until 1968, 14 years after his death. In this book, Christof Teuscher analyzes all aspects of Turing´s ´´unorganized machines´´. Turing himself also proposed a sort of genetic algorithm to train the networks. This idea has been resumed by the author and genetic algorithms are used to build and train Turing´s unorganized machines. Teuscher´s work starts from Turing´s initial ideas, but importantly goes beyond them. Many new kinds of machines and new aspects are considered, e.g., hardware implementation, analysis of the complex dynamics of the networks, hypercomputation, and learning algorithms.

Anbieter: buecher.de
Stand: 06.09.2019
Zum Angebot
Turing Computability
55,99 € *
ggf. zzgl. Versand

Turing´s famous 1936 paper introduced a formal definition of a computing machine, a Turing machine. This model led to both the development of actual computers and to computability theory, the study of what machines can and cannot compute. This book presents classical computability theory from Turing and Post to current results and methods, and their use in studying the information content of algebraic structures, models, and their relation to Peano arithmetic. The author presents the subject as an art to be practiced, and an art in the aesthetic sense of inherent beauty which all mathematicians recognize in their subject. Part I gives a thorough development of the foundations of computability, from the definition of Turing machines up to finite injury priority arguments. Key topics include relative computability, and computably enumerable sets, those which can be effectively listed but not necessarily effectively decided, such as the theorems of Peano arithmetic. Part II includes the study of computably open and closed sets of reals and basis and nonbasis theorems for effectively closed sets. Part III covers minimal Turing degrees. Part IV is an introduction to games and their use in proving theorems. Finally, Part V offers a short history of computability theory. The author has honed the content over decades according to feedback from students, lecturers, and researchers around the world. Most chapters include exercises, and the material is carefully structured according to importance and difficulty. The book is suitable for advanced undergraduate and graduate students in computer science and mathematics and researchers engaged with computability and mathematical logic.

Anbieter: buecher.de
Stand: 06.09.2019
Zum Angebot
Algorithmik für Einsteiger
27,99 € *
ggf. zzgl. Versand

Wer ein GPS benutzt oder einen Routenplaner befragt, profitiert von einem Algorithmus. Wer sich von einem medizinischen Roboter operieren lässt oder beim Onlinebanking auf sicheren Datentransfer hofft, vertraut auf Algorithmen. Algorithmen und die ausführenden Computer bestimmen und beeinflussen unser heutiges Leben in starkem Maße. Im Zentrum dieses Buches steht die Frage, was ein Algorithmus ist, was Algorithmen können und was nicht. Der Leser, die Leserin erfährt, was genau ein Algorithmus ist, und hat die Möglichkeit, aus zahlreichen historisch wichtigen oder aktuellen Beispielen von Algorithmen auszuwählen. Eine Untersuchung darüber, ob und wie Algorithmen noch beschleunigt werden können, mündet in eine kurze Einführung in die moderne mathematische Disziplin der ´´Komplexitätstheorie´´. Mit der Turing-Maschine wird ein einfaches und zugleich ungeheuer mächtiges theoretisches Computermodell vergestellt, das Anlass zu interessanten Fragen über die Möglichkeiten und Grenzen der Computer gibt. Zum Schluss wird der Leser, die Leserin zu einem Ausflug eingeladen zu den Grenzen der Informatik, zu Problemen, die bewiesenermaßen algorithmisch unlösbar sind. Dank sehr ausführlicher und gut zugänglicher Erklärungen und zahlreicher interessanter Aufgaben bereitet das Lernen mit diesem Buch Freude. Der Text wurde für die zweite Auflage vollkommen neu geschrieben.

Anbieter: buecher.de
Stand: 06.09.2019
Zum Angebot
Einführung in Automatentheorie, Formale Sprache...
49,95 € *
ggf. zzgl. Versand

In dieser Neuauflage des Standardwerks Einführung in Automatentheorie, Formale Sprachen und Berechenbarkeit vermittelt das Autorenteam John Hopcroft, Rajeev Motwani und Jeffrey D. Ullman das Fundament der Theoretischen Informatik. Klar gegliedert und gut strukturiert präsentiert das Lehrbuch das grundlegende Wissen zu den Themenbereichen Formale Sprachen, Automaten- und Komplexitätstheorie sowie Berechenbarkeit einschließlich Unentscheidbarkeit - unter besonderer Berücksichtigung auch der praktischen Anwendungen. Viele anschauliche Beispiele, Illustrationen und ergänzende Erläuterungen erleichtern das Verstehen dieses für Studierende schwierigen Lehrstoffs. Umfangreiche Übungsaufgaben am Ende der einzelnen Abschnitte ermöglichen die unmittelbare Überprüfung des gelernten Stoffes. Die vielen inhaltlichen Verbesserungen und zusätzlichen Hinweise mit Anpassung an die hiesige Lehre bilden für die Studierenden eine ideale Voraussetzung, sich dieses Thema auch im Rahmen des Selbststudiums anzueignen. Das Buch eignet sich sowohl als Nachschlagewerk als auch zum Einsatz in der Lehre an Hochschulen und Universitäten. In dieser Neuauflage des Standardwerks Einführung in Automatentheorie, Formale Sprachen und Berechenbarkeit vermittelt das Autorenteam John Hopcroft, Rajeev Motwani und Jeffrey D. Ullman das Fundament der Theoretischen Informatik. Klar gegliedert und gut strukturiert präsentiert das Lehrbuch das grundlegende Wissen zu den Themenbereichen Formale Sprachen, Automaten- und Komplexitätstheorie sowie Berechenbarkeit einschließlich Unentscheidbarkeit - unter besonderer Berücksichtigung auch der praktischen Anwendungen. Viele anschauliche Beispiele, Illustrationen und ergänzende Erläuterungen erleichtern das Verstehen dieses für Studierende schwierigen Lehrstoffs. Umfangreiche Übungsaufgaben am Ende der einzelnen Abschnitte ermöglichen die unmittelbare Überprüfung des gelernten Stoffes. Die vielen inhaltlichen Verbesserungen und zusätzlichen Hinweise mit Anpassung an die hiesige Lehre bilden für die Studierenden eine ideale Voraussetzung, sich dieses Thema auch im Rahmen des Selbststudiums anzueignen. Das Buch eignet sich sowohl als Nachschlagewerk als auch zum Einsatz in der Lehre an Hochschulen und Universitäten. AIS DEM INHALT: Automaten: Die Grundlagen und Methoden Endliche Automaten Reguläre Ausdrücke und Sprachen Eigenschaften regulärer Sprachen Kontextfreie Grammatiken und Sprachen Keller-Automaten Eigenschaften kontextfreier Sprachen Einführung in Turing-Maschinen Unentscheidbarkeit Nicht-handhabbare Probleme Zusätzliche Problemklassen ÜBER DIE AUTOREN: John E. Hopcroft wirkt als IBM Professor of Engineering and Applied Mathematics am Department of Computer Science, Cornell University. Rajeev Motwani war Professor am Department of Computer Science der Stanford University. Jeffrey D. Ullman ist dort als Stanford W. Ascherman Professor of Computer Science (Emeritus) . ÜBER DEN FACHLEKTOR: Walter Hower erhielt den Lehrpreis 2006 des Landes Baden-Württemberg und lehrt dort als Professor Informatikgrundlagen wie Theoretische Informatik, Algorithmik und Diskrete Mathematik. Er fungiert ehrenamtlich als Vertrauensdozent der Gesellschaft für Informatik sowie als MINT-Botschafter. AUF DER COMPANION-WEBSITE: Für Dozenten Ausgearbeiteter Foliensatz für den Einsatz in der Lehre Für Studenten Lösungshinweise zu gekennzeichneten Aufgaben In dieser Neuauflage des Standardwerks Einführung in Automatentheorie, Formale Sprachen und Berechenbarkeit vermittelt das Autorenteam John Hopcroft, Rajeev Motwani und Jeffrey D. Ullman das Fundament der Theoretischen Informatik. Klar gegliedert und gut strukturiert präsentiert das Lehrbuch das grundlegende Wissen zu den Themenbereichen Formale Sprachen, Automaten- und Komplexitätstheorie sowie Berechenbarkeit einschließlich Unentscheidbarkeit - unter besonderer Berücksichtigung auch der praktischen Anwendungen. Viele anschauliche Beispiele, Illustrationen und ergänzende Erläuterungen erleichtern das Verstehen dieses für Studierende schwierigen Lehrstoffs. Umfangreiche Übungsaufgaben am Ende der einzelnen Abschnitte ermöglichen die unmittelbare Überprüfung des gelernten Stoffes. Die vielen inhaltlichen Verbesserungen und zusätzlichen Hinweise mit Anpassung an die hiesige Lehre bilden für die Studierenden eine ideale Voraussetzung, sich dieses Thema auch im Rahmen des Selbststudiums anzueignen. Das Buch eignet sich sowohl als Nachschlagewerk als auch zum Einsatz in der Lehre an Hochschulen

Anbieter: buecher.de
Stand: 14.09.2019
Zum Angebot
Computer Architecture
78,99 € *
ggf. zzgl. Versand

Computer Architecture: A Quantitative Approach, Sixth Edition has been considered essential reading by instructors, students and practitioners of computer design for over 20 years. The sixth edition of this classic textbook from Hennessy and Patterson, winners of the 2017 ACM A.M. Turing Award recognizing contributions of lasting and major technical importance to the computing field, is fully revised with the latest developments in processor and system architecture. The text now features examples from the RISC-V (RISC Five) instruction set architecture, a modern RISC instruction set developed and designed to be a free and openly adoptable standard. It also includes a new chapter on domain-specific architectures and an updated chapter on warehouse-scale computing that features the first public information on Google´s newest WSC. True to its original mission of demystifying computer architecture, this edition continues the longstanding tradition of focusing on areas where the most exciting computing innovation is happening, while always keeping an emphasis on good engineering design. Winner of a 2019 Textbook Excellence Award (Texty) from the Textbook and Academic Authors Association Includes a new chapter on domain-specific architectures, explaining how they are the only path forward for improved performance and energy efficiency given the end of Moore´s Law and Dennard scaling Features the first publication of several DSAs from industry Features extensive updates to the chapter on warehouse-scale computing, with the first public information on the newest Google WSC Offers updates to other chapters including new material dealing with the use of stacked DRAM; data on the performance of new NVIDIA Pascal GPU vs. new AVX-512 Intel Skylake CPU; and extensive additions to content covering multicore architecture and organization Includes ´´Putting It All Together´´ sections near the end of every chapter, providing real-world technology examples that demonstrate the principles covered in each chapter Includes review appendices in the printed text and additional reference appendices available online Includes updated and improved case studies and exercises ACM named John L. Hennessy and David A. Patterson, recipients of the 2017 ACM A.M. Turing Award for pioneering a systematic, quantitative approach to the design and evaluation of computer architectures with enduring impact on the microprocessor industry

Anbieter: buecher.de
Stand: 08.09.2019
Zum Angebot
Finite Automata, Formal Logic, and Circuit Comp...
87,99 € *
ggf. zzgl. Versand

The study of the connections between mathematical automata and for mal logic is as old as theoretical computer science itself. In the founding paper of the subject, published in 1936, Turing showed how to describe the behavior of a universal computing machine with a formula of first order predicate logic, and thereby concluded that there is no algorithm for deciding the validity of sentences in this logic. Research on the log ical aspects of the theory of finite-state automata, which is the subject of this book, began in the early 1960´s with the work of J. Richard Biichi on monadic second-order logic. Biichi´s investigations were extended in several directions. One of these, explored by McNaughton and Papert in their 1971 monograph Counter-free Automata, was the characterization of automata that admit first-order behavioral descriptions, in terms of the semigroup theoretic approach to automata that had recently been developed in the work of Krohn and Rhodes and of Schiitzenberger. In the more than twenty years that have passed since the appearance of McNaughton and Papert´s book, the underlying semigroup theory has grown enor mously, permitting a considerable extension of their results. During the same period, however, fundamental investigations in the theory of finite automata by and large fell out of fashion in the theoretical com puter science community, which moved to other concerns.

Anbieter: buecher.de
Stand: 06.09.2019
Zum Angebot
Automata and Computability
51,99 € *
ggf. zzgl. Versand

The aim of this textbook is to provide undergraduate students with an introduction to the basic theoretical models of computability, and to develop some of the model´s rich and varied structure. Students who have already some experience with elementary discrete mathematics will find this a well-paced first course, and a number of supplementary chapters introduce more advanced concepts. The first part of the book is devoted to finite automata and their properties. Pushdown automata provide a broader class of models and enable the analysis of context-free languages. In the remaining chapters, Turing machines are introduced and the book culminates in discussions of effective computability, decidability, and Gödel´s incompleteness theorems. Plenty of exercises are provided, ranging from the easy to the challenging. As a result, this text will make an ideal first course for students of computer science.

Anbieter: buecher.de
Stand: 06.09.2019
Zum Angebot
Coders at Work
29,99 € *
ggf. zzgl. Versand

Peter Seibel interviews 15 of the most interesting computer programmers alive today in Coders at Work , offering a companion volume to Apress´s highly acclaimed best-seller Founders at Work by Jessica Livingston. As the words at work suggest, Peter Seibel focuses on how his interviewees tackle the day-to-day work of programming, while revealing much more, like how they became great programmers, how they recognize programming talent in others, and what kinds of problems they find most interesting. Hundreds of people have suggested names of programmers to interview on the Coders at Work web site: www.codersatwork.com. The complete list was 284 names. Having digested everyone´s feedback, we selected 15 folks who´ve been kind enough to agree to be interviewed: Frances Allen: Pioneer in optimizing compilers, first woman to win the Turing Award (2006) and first female IBM fellow Joe Armstrong: Inventor of Erlang Joshua Bloch: Author of the Java collections framework, now at Google Bernie Cosell: One of the main software guys behind the original ARPANET IMPs and a master debugger Douglas Crockford: JSON founder, JavaScript architect at Yahoo! L. Peter Deutsch: Author of Ghostscript, implementer of Smalltalk-80 at Xerox PARC and Lisp 1.5 on PDP-1 Brendan Eich: Inventor of JavaScript, CTO of the Mozilla Corporation Brad Fitzpatrick: Writer of LiveJournal, OpenID, memcached, and Perlbal Dan Ingalls: Smalltalk implementor and designer Simon Peyton Jones: Coinventor of Haskell and lead designer of Glasgow Haskell Compiler Donald Knuth: Author of The Art of Computer Programming and creator of TeX Peter Norvig: Director of Research at Google and author of the standard text on AI Guy Steele: Coinventor of Scheme and part of the Common Lisp Gang of Five, currently working on Fortress Ken Thompson: Inventor of UNIX Jamie Zawinski: Author of XEmacs and early Netscape/Mozilla hacker

Anbieter: buecher.de
Stand: 06.09.2019
Zum Angebot
Der Turing Omnibus. Eine Reise durch die Inform...
37,99 € *
zzgl. 3,99 € Versand
Anbieter: reBuy.de
Stand: 07.09.2019
Zum Angebot