The Turing Guide

Download The Turing Guide full books in PDF, epub, and Kindle. Read online The Turing Guide ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!

The Turing Guide

Author : B. Jack Copeland
Publisher : Oxford University Press
ISBN 13 : 0198747829
Total Pages : 563 pages
Book Rating : 4.1/5 (987 download)

DOWNLOAD NOW!

Book Synopsis The Turing Guide by : B. Jack Copeland

Download or read book The Turing Guide written by B. Jack Copeland and published by Oxford University Press. This book was released on 2017 with total page 563 pages. Available in PDF, EPUB and Kindle. Book excerpt: Alan Turing has long proved a subject of fascination, but following the centenary of his birth in 2012, the code-breaker, computer pioneer, mathematician (and much more) has become even more celebrated with much media coverage, and several meetings, conferences and books raising public awareness of Turing's life and work. This volume will bring together contributions from some of the leading experts on Alan Turing to create a comprehensive guide to Turing that will serve as a useful resource for researchers in the area as well as the increasingly interested general reader. The book will cover aspects of Turing's life and the wide range of his intellectual activities, including mathematics, code-breaking, computer science, logic, artificial intelligence and mathematical biology, as well as his subsequent influence.

The Turing Guide

Author : Jack Copeland
Publisher : Oxford University Press
ISBN 13 : 0191065005
Total Pages : 563 pages
Book Rating : 4.1/5 (91 download)

DOWNLOAD NOW!

Book Synopsis The Turing Guide by : Jack Copeland

Download or read book The Turing Guide written by Jack Copeland and published by Oxford University Press. This book was released on 2017-02-16 with total page 563 pages. Available in PDF, EPUB and Kindle. Book excerpt: Alan Turing has long proved a subject of fascination, but following the centenary of his birth in 2012, the code-breaker, computer pioneer, mathematician (and much more) has become even more celebrated with much media coverage, and several meetings, conferences and books raising public awareness of Turing's life and work. This volume will bring together contributions from some of the leading experts on Alan Turing to create a comprehensive guide to Turing that will serve as a useful resource for researchers in the area as well as the increasingly interested general reader. The book will cover aspects of Turing's life and the wide range of his intellectual activities, including mathematics, code-breaking, computer science, logic, artificial intelligence and mathematical biology, as well as his subsequent influence.

Alan Turing: The Enigma

Author : Andrew Hodges
Publisher : Princeton University Press
ISBN 13 : 1400865123
Total Pages : 777 pages
Book Rating : 4.4/5 (8 download)

DOWNLOAD NOW!

Book Synopsis Alan Turing: The Enigma by : Andrew Hodges

Download or read book Alan Turing: The Enigma written by Andrew Hodges and published by Princeton University Press. This book was released on 2014-11-10 with total page 777 pages. Available in PDF, EPUB and Kindle. Book excerpt: A NEW YORK TIMES BESTSELLER The official book behind the Academy Award-winning film The Imitation Game, starring Benedict Cumberbatch and Keira Knightley It is only a slight exaggeration to say that the British mathematician Alan Turing (1912–1954) saved the Allies from the Nazis, invented the computer and artificial intelligence, and anticipated gay liberation by decades—all before his suicide at age forty-one. This New York Times bestselling biography of the founder of computer science, with a new preface by the author that addresses Turing’s royal pardon in 2013, is the definitive account of an extraordinary mind and life. Capturing both the inner and outer drama of Turing’s life, Andrew Hodges tells how Turing’s revolutionary idea of 1936—the concept of a universal machine—laid the foundation for the modern computer and how Turing brought the idea to practical realization in 1945 with his electronic design. The book also tells how this work was directly related to Turing’s leading role in breaking the German Enigma ciphers during World War II, a scientific triumph that was critical to Allied victory in the Atlantic. At the same time, this is the tragic account of a man who, despite his wartime service, was eventually arrested, stripped of his security clearance, and forced to undergo a humiliating treatment program—all for trying to live honestly in a society that defined homosexuality as a crime. The inspiration for a major motion picture starring Benedict Cumberbatch and Keira Knightley, Alan Turing: The Enigma is a gripping story of mathematics, computers, cryptography, and homosexual persecution.

Alan Turing: Life and Legacy of a Great Thinker

Author : Christof Teuscher
Publisher : Springer Science & Business Media
ISBN 13 : 3662056429
Total Pages : 553 pages
Book Rating : 4.6/5 (62 download)

DOWNLOAD NOW!

Book Synopsis Alan Turing: Life and Legacy of a Great Thinker by : Christof Teuscher

Download or read book Alan Turing: Life and Legacy of a Great Thinker written by Christof Teuscher and published by Springer Science & Business Media. This book was released on 2013-06-29 with total page 553 pages. Available in PDF, EPUB and Kindle. Book excerpt: Written by a distinguished cast of contributors, Alan Turing: Life and Legacy of a Great Thinker is the definitive collection of essays in commemoration of the 90th birthday of Alan Turing. This fascinating text covers the rich facets of his life, thoughts, and legacy, but also sheds some light on the future of computing science with a chapter contributed by visionary Ray Kurzweil, winner of the 1999 National Medal of Technology. Further, important contributions come from the philosopher Daniel Dennett, the Turing biographer Andrew Hodges, and from the distinguished logician Martin Davis, who provides a first critical essay on an emerging and controversial field termed "hypercomputation".

The Turing Test

Author : Stuart M. Shieber
Publisher : MIT Press
ISBN 13 : 9780262265423
Total Pages : 364 pages
Book Rating : 4.2/5 (654 download)

DOWNLOAD NOW!

Book Synopsis The Turing Test by : Stuart M. Shieber

Download or read book The Turing Test written by Stuart M. Shieber and published by MIT Press. This book was released on 2004-06-18 with total page 364 pages. Available in PDF, EPUB and Kindle. Book excerpt: Historical and contemporary papers on the philosophical issues raised by the Turing Test as a criterion for intelligence. The Turing Test is part of the vocabulary of popular culture—it has appeared in works ranging from the Broadway play "Breaking the Code" to the comic strip "Robotman." The writings collected by Stuart Shieber for this book examine the profound philosophical issues surrounding the Turing Test as a criterion for intelligence. Alan Turing's idea, originally expressed in a 1950 paper titled "Computing Machinery and Intelligence" and published in the journal Mind, proposed an "indistinguishability test" that compared artifact and person. Following Descartes's dictum that it is the ability to speak that distinguishes human from beast, Turing proposed to test whether machine and person were indistinguishable in regard to verbal ability. He was not, as is often assumed, answering the question "Can machines think?" but proposing a more concrete way to ask it. Turing's proposed thought experiment encapsulates the issues that the writings in The Turing Test define and discuss. The first section of the book contains writings by philosophical precursors, including Descartes, who first proposed the idea of indistinguishablity tests. The second section contains all of Turing's writings on the Turing Test, including not only the Mind paper but also less familiar ephemeral material. The final section opens with responses to Turing's paper published in Mind soon after it first appeared. The bulk of this section, however, consists of papers from a broad spectrum of scholars in the field that directly address the issue of the Turing Test as a test for intelligence. Contributors John R. Searle, Ned Block, Daniel C. Dennett, and Noam Chomsky (in a previously unpublished paper). Each chapter is introduced by background material that can also be read as a self-contained essay on the Turing Test

Alan Turing

Author : S. Barry Cooper
Publisher : Elsevier
ISBN 13 : 0123870127
Total Pages : 937 pages
Book Rating : 4.1/5 (238 download)

DOWNLOAD NOW!

Book Synopsis Alan Turing by : S. Barry Cooper

Download or read book Alan Turing written by S. Barry Cooper and published by Elsevier. This book was released on 2013-03-18 with total page 937 pages. Available in PDF, EPUB and Kindle. Book excerpt: In this 2013 winner of the prestigious R.R. Hawkins Award from the Association of American Publishers, as well as the 2013 PROSE Awards for Mathematics and Best in Physical Sciences & Mathematics, also from the AAP, readers will find many of the most significant contributions from the four-volume set of the Collected Works of A. M. Turing. These contributions, together with commentaries from current experts in a wide spectrum of fields and backgrounds, provide insight on the significance and contemporary impact of Alan Turing's work. Offering a more modern perspective than anything currently available, Alan Turing: His Work and Impact gives wide coverage of the many ways in which Turing's scientific endeavors have impacted current research and understanding of the world. His pivotal writings on subjects including computing, artificial intelligence, cryptography, morphogenesis, and more display continued relevance and insight into today's scientific and technological landscape. This collection provides a great service to researchers, but is also an approachable entry point for readers with limited training in the science, but an urge to learn more about the details of Turing's work. - 2013 winner of the prestigious R.R. Hawkins Award from the Association of American Publishers, as well as the 2013 PROSE Awards for Mathematics and Best in Physical Sciences & Mathematics, also from the AAP - Named a 2013 Notable Computer Book in Computing Milieux by Computing Reviews - Affordable, key collection of the most significant papers by A.M. Turing - Commentary explaining the significance of each seminal paper by preeminent leaders in the field - Additional resources available online

The Annotated Turing

Author : Charles Petzold
Publisher : John Wiley & Sons
ISBN 13 : 0470229055
Total Pages : 391 pages
Book Rating : 4.4/5 (72 download)

DOWNLOAD NOW!

Book Synopsis The Annotated Turing by : Charles Petzold

Download or read book The Annotated Turing written by Charles Petzold and published by John Wiley & Sons. This book was released on 2008-06-16 with total page 391 pages. Available in PDF, EPUB and Kindle. Book excerpt: Programming Legend Charles Petzold unlocks the secrets of the extraordinary and prescient 1936 paper by Alan M. Turing Mathematician Alan Turing invented an imaginary computer known as the Turing Machine; in an age before computers, he explored the concept of what it meant to be computable, creating the field of computability theory in the process, a foundation of present-day computer programming. The book expands Turing’s original 36-page paper with additional background chapters and extensive annotations; the author elaborates on and clarifies many of Turing’s statements, making the original difficult-to-read document accessible to present day programmers, computer science majors, math geeks, and others. Interwoven into the narrative are the highlights of Turing’s own life: his years at Cambridge and Princeton, his secret work in cryptanalysis during World War II, his involvement in seminal computer projects, his speculations about artificial intelligence, his arrest and prosecution for the crime of "gross indecency," and his early death by apparent suicide at the age of 41.

The Imitation Game

Author : Jim Ottaviani
Publisher : Abrams ComicArts
ISBN 13 : 9781419718939
Total Pages : 240 pages
Book Rating : 4.7/5 (189 download)

DOWNLOAD NOW!

Book Synopsis The Imitation Game by : Jim Ottaviani

Download or read book The Imitation Game written by Jim Ottaviani and published by Abrams ComicArts. This book was released on 2016-03-22 with total page 240 pages. Available in PDF, EPUB and Kindle. Book excerpt: Award winning authors Jim Ottaviani and Leland Purvis present a historically accurate graphic novel biography of English mathematician and scientist Alan Turing in The Imitation Game. English mathematician and scientist Alan Turing (1912-1954) is credited with many of the foundational principles of contemporary computer science. The Imitation Game presents a historically accurate graphic novel biography of Turing's life, including his groundbreaking work on the fundamentals of cryptography and artificial intelligence. His code breaking efforts led to the cracking of the German Enigma during World War II, work that saved countless lives and accelerated the Allied defeat of the Nazis. While Turing's achievements remain relevant decades after his death, the story of his life in post-war Europe continues to fascinate audiences today. Award-winning duo Jim Ottaviani (the #1 New York Times bestselling author of Feynman and Primates) and artist Leland Purvis (an Eisner and Ignatz Award nominee and occasional reviewer for the Comics Journal) present a factually detailed account of Turing's life and groundbreaking research--as an unconventional genius who was arrested, tried, convicted, and punished for his openly gay lifestyle, and whose innovative work still fuels the computing and communication systems that define our modern world. Computer science buffs, comics fans, and history aficionados will be captivated by this riveting and tragic story of one of the 20th century's most unsung heroes.

Alan Turing's Systems of Logic

Author : Andrew W. Appel
Publisher : Princeton University Press
ISBN 13 : 0691164738
Total Pages : 160 pages
Book Rating : 4.6/5 (911 download)

DOWNLOAD NOW!

Book Synopsis Alan Turing's Systems of Logic by : Andrew W. Appel

Download or read book Alan Turing's Systems of Logic written by Andrew W. Appel and published by Princeton University Press. This book was released on 2014-11-16 with total page 160 pages. Available in PDF, EPUB and Kindle. Book excerpt: A facsimile edition of Alan Turing's influential Princeton thesis Between inventing the concept of a universal computer in 1936 and breaking the German Enigma code during World War II, Alan Turing (1912–1954), the British founder of computer science and artificial intelligence, came to Princeton University to study mathematical logic. Some of the greatest logicians in the world—including Alonzo Church, Kurt Gödel, John von Neumann, and Stephen Kleene—were at Princeton in the 1930s, and they were working on ideas that would lay the groundwork for what would become known as computer science. This book presents a facsimile of the original typescript of Turing's fascinating and influential 1938 Princeton PhD thesis, one of the key documents in the history of mathematics and computer science. The book also features essays by Andrew Appel and Solomon Feferman that explain the still-unfolding significance of the ideas Turing developed at Princeton. A work of philosophy as well as mathematics, Turing's thesis envisions a practical goal—a logical system to formalize mathematical proofs so they can be checked mechanically. If every step of a theorem could be verified mechanically, the burden on intuition would be limited to the axioms. Turing's point, as Appel writes, is that "mathematical reasoning can be done, and should be done, in mechanizable formal logic." Turing's vision of "constructive systems of logic for practical use" has become reality: in the twenty-first century, automated "formal methods" are now routine. Presented here in its original form, this fascinating thesis is one of the key documents in the history of mathematics and computer science.

Alan Turing

Author : Dermot Turing
Publisher : Rizzoli Publications
ISBN 13 : 1841657565
Total Pages : 0 pages
Book Rating : 4.8/5 (416 download)

DOWNLOAD NOW!

Book Synopsis Alan Turing by : Dermot Turing

Download or read book Alan Turing written by Dermot Turing and published by Rizzoli Publications. This book was released on 2017-09-01 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Alan Turing was an extraordinary man who crammed into a life of only 42 years the careers of mathematician, codebreaker, computer scientist and biologist. His codebreaking work at Bletchley Park was so significant it helped to shorten the Second World War, and with Tommy Flowers he built the first computer. A man ahead of his time, many of his theories and calculations are still relevant today. Often believed to be an eccentric loner, recent research by his nephew, Dermot Turing, has unearthed a fresh perspective, and here his story is condensed into a short, accessible Pitkin guide.

The Universal Computer

Author : Martin Davis
Publisher : CRC Press
ISBN 13 : 1466505206
Total Pages : 232 pages
Book Rating : 4.4/5 (665 download)

DOWNLOAD NOW!

Book Synopsis The Universal Computer by : Martin Davis

Download or read book The Universal Computer written by Martin Davis and published by CRC Press. This book was released on 2018-10-08 with total page 232 pages. Available in PDF, EPUB and Kindle. Book excerpt: The breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who began it all. Written by Martin Davis, respected logician and researcher in the theory of computation, The Universal Computer: The Road from Leibniz to Turing explores the fascinating lives, ideas, and discoveries of seven remarkable mathematicians. It tells the stories of the unsung heroes of the computer age – the logicians. The story begins with Leibniz in the 17th century and then focuses on Boole, Frege, Cantor, Hilbert, and Gödel, before turning to Turing. Turing’s analysis of algorithmic processes led to a single, all-purpose machine that could be programmed to carry out such processes—the computer. Davis describes how this incredible group, with lives as extraordinary as their accomplishments, grappled with logical reasoning and its mechanization. By investigating their achievements and failures, he shows how these pioneers paved the way for modern computing. Bringing the material up to date, in this revised edition Davis discusses the success of the IBM Watson on Jeopardy, reorganizes the information on incompleteness, and adds information on Konrad Zuse. A distinguished prize-winning logician, Martin Davis has had a career of more than six decades devoted to the important interface between logic and computer science. His expertise, combined with his genuine love of the subject and excellent storytelling, make him the perfect person to tell this story.

Artificial Intelligence

Author : Melanie Mitchell
Publisher : Farrar, Straus and Giroux
ISBN 13 : 0374715238
Total Pages : 216 pages
Book Rating : 4.3/5 (747 download)

DOWNLOAD NOW!

Book Synopsis Artificial Intelligence by : Melanie Mitchell

Download or read book Artificial Intelligence written by Melanie Mitchell and published by Farrar, Straus and Giroux. This book was released on 2019-10-15 with total page 216 pages. Available in PDF, EPUB and Kindle. Book excerpt: “After reading Mitchell’s guide, you’ll know what you don’t know and what other people don’t know, even though they claim to know it. And that’s invaluable." –The New York Times A leading computer scientist brings human sense to the AI bubble No recent scientific enterprise has proved as alluring, terrifying, and filled with extravagant promise and frustrating setbacks as artificial intelligence. The award-winning author Melanie Mitchell, a leading computer scientist, now reveals AI’s turbulent history and the recent spate of apparent successes, grand hopes, and emerging fears surrounding it. In Artificial Intelligence, Mitchell turns to the most urgent questions concerning AI today: How intelligent—really—are the best AI programs? How do they work? What can they actually do, and when do they fail? How humanlike do we expect them to become, and how soon do we need to worry about them surpassing us? Along the way, she introduces the dominant models of modern AI and machine learning, describing cutting-edge AI programs, their human inventors, and the historical lines of thought underpinning recent achievements. She meets with fellow experts such as Douglas Hofstadter, the cognitive scientist and Pulitzer Prize–winning author of the modern classic Gödel, Escher, Bach, who explains why he is “terrified” about the future of AI. She explores the profound disconnect between the hype and the actual achievements in AI, providing a clear sense of what the field has accomplished and how much further it has to go. Interweaving stories about the science of AI and the people behind it, Artificial Intelligence brims with clear-sighted, captivating, and accessible accounts of the most interesting and provocative modern work in the field, flavored with Mitchell’s humor and personal observations. This frank, lively book is an indispensable guide to understanding today’s AI, its quest for “human-level” intelligence, and its impact on the future for us all.

A Citizen's Guide to Artificial Intelligence

Author : John Zerilli
Publisher : MIT Press
ISBN 13 : 0262044811
Total Pages : 233 pages
Book Rating : 4.2/5 (62 download)

DOWNLOAD NOW!

Book Synopsis A Citizen's Guide to Artificial Intelligence by : John Zerilli

Download or read book A Citizen's Guide to Artificial Intelligence written by John Zerilli and published by MIT Press. This book was released on 2021-02-23 with total page 233 pages. Available in PDF, EPUB and Kindle. Book excerpt: A concise but informative overview of AI ethics and policy. Artificial intelligence, or AI for short, has generated a staggering amount of hype in the past several years. Is it the game-changer it's been cracked up to be? If so, how is it changing the game? How is it likely to affect us as customers, tenants, aspiring home-owners, students, educators, patients, clients, prison inmates, members of ethnic and sexual minorities, voters in liberal democracies? This book offers a concise overview of moral, political, legal and economic implications of AI. It covers the basics of AI's latest permutation, machine learning, and considers issues including transparency, bias, liability, privacy, and regulation.

Alan Turing's Electronic Brain

Author : others
Publisher : OUP Oxford
ISBN 13 : 0191625868
Total Pages : 576 pages
Book Rating : 4.1/5 (916 download)

DOWNLOAD NOW!

Book Synopsis Alan Turing's Electronic Brain by : others

Download or read book Alan Turing's Electronic Brain written by others and published by OUP Oxford. This book was released on 2012-05-24 with total page 576 pages. Available in PDF, EPUB and Kindle. Book excerpt: The mathematical genius Alan Turing, now well known for his crucial wartime role in breaking the ENIGMA code, was the first to conceive of the fundamental principle of the modern computer-the idea of controlling a computing machine's operations by means of a program of coded instructions, stored in the machine's 'memory'. In 1945 Turing drew up his revolutionary design for an electronic computing machine-his Automatic Computing Engine ('ACE'). A pilot model of the ACE ran its first program in 1950 and the production version, the 'DEUCE', went on to become a cornerstone of the fledgling British computer industry. The first 'personal' computer was based on Turing's ACE. Alan Turing's Automatic Computing Engine describes Turing's struggle to build the modern computer. The first detailed history of Turing's contributions to computer science, this text is essential reading for anyone interested in the history of the computer and the history of mathematics. It contains first hand accounts by Turing and by the pioneers of computing who worked with him. As well as relating the story of the invention of the computer, the book clearly describes the hardware and software of the ACE-including the very first computer programs. The book is intended to be accessible to everyone with an interest in computing, and contains numerous diagrams and illustrations as well as original photographs. The book contains chapters describing Turing's path-breaking research in the fields of Artificial Intelligence (AI) and Artificial Life (A-Life). The book has an extensive system of hyperlinks to The Turing Archive for the History of Computing, an on-line library of digital facsimiles of typewritten documents by Turing and the other scientists who pioneered the electronic computer.

Introducing Artificial Intelligence

Author : Henry Brighton
Publisher : Totem Books
ISBN 13 : 9781840468410
Total Pages : 0 pages
Book Rating : 4.4/5 (684 download)

DOWNLOAD NOW!

Book Synopsis Introducing Artificial Intelligence by : Henry Brighton

Download or read book Introducing Artificial Intelligence written by Henry Brighton and published by Totem Books. This book was released on 2007 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Can machines really think? Is the mind just a complicated computer program? Half a century of research into Artificial Intelligence has resulted in machines capable of beating the best human chess players and humanoid robots that can walk and interact with us. Yet exactly should we go about building a truly intelligent machine? Introducing Artificial Intelligence focuses on the major issues behind one of the hardest scientific problems ever undertaken.

Good Math

Author : Mark C. Chu-Carroll
Publisher : Pragmatic Bookshelf
ISBN 13 : 168050360X
Total Pages : 261 pages
Book Rating : 4.6/5 (85 download)

DOWNLOAD NOW!

Book Synopsis Good Math by : Mark C. Chu-Carroll

Download or read book Good Math written by Mark C. Chu-Carroll and published by Pragmatic Bookshelf. This book was released on 2013-07-18 with total page 261 pages. Available in PDF, EPUB and Kindle. Book excerpt: Mathematics is beautiful--and it can be fun and exciting as well as practical. Good Math is your guide to some of the most intriguing topics from two thousand years of mathematics: from Egyptian fractions to Turing machines; from the real meaning of numbers to proof trees, group symmetry, and mechanical computation. If you've ever wondered what lay beyond the proofs you struggled to complete in high school geometry, or what limits the capabilities of computer on your desk, this is the book for you. Why do Roman numerals persist? How do we know that some infinities are larger than others? And how can we know for certain a program will ever finish? In this fast-paced tour of modern and not-so-modern math, computer scientist Mark Chu-Carroll explores some of the greatest breakthroughs and disappointments of more than two thousand years of mathematical thought. There is joy and beauty in mathematics, and in more than two dozen essays drawn from his popular "Good Math" blog, you'll find concepts, proofs, and examples that are often surprising, counterintuitive, or just plain weird. Mark begins his journey with the basics of numbers, with an entertaining trip through the integers and the natural, rational, irrational, and transcendental numbers. The voyage continues with a look at some of the oddest numbers in mathematics, including zero, the golden ratio, imaginary numbers, Roman numerals, and Egyptian and continuing fractions. After a deep dive into modern logic, including an introduction to linear logic and the logic-savvy Prolog language, the trip concludes with a tour of modern set theory and the advances and paradoxes of modern mechanical computing. If your high school or college math courses left you grasping for the inner meaning behind the numbers, Mark's book will both entertain and enlighten you.

What Can Be Computed?

Author : John MacCormick
Publisher : Princeton University Press
ISBN 13 : 0691170665
Total Pages : 404 pages
Book Rating : 4.6/5 (911 download)

DOWNLOAD NOW!

Book Synopsis What Can Be Computed? by : John MacCormick

Download or read book What Can Be Computed? written by John MacCormick and published by Princeton University Press. This book was released on 2018-05-01 with total page 404 pages. Available in PDF, EPUB and Kindle. Book excerpt: An accessible and rigorous textbook for introducing undergraduates to computer science theory What Can Be Computed? is a uniquely accessible yet rigorous introduction to the most profound ideas at the heart of computer science. Crafted specifically for undergraduates who are studying the subject for the first time, and requiring minimal prerequisites, the book focuses on the essential fundamentals of computer science theory and features a practical approach that uses real computer programs (Python and Java) and encourages active experimentation. It is also ideal for self-study and reference. The book covers the standard topics in the theory of computation, including Turing machines and finite automata, universal computation, nondeterminism, Turing and Karp reductions, undecidability, time-complexity classes such as P and NP, and NP-completeness, including the Cook-Levin Theorem. But the book also provides a broader view of computer science and its historical development, with discussions of Turing's original 1936 computing machines, the connections between undecidability and Gödel's incompleteness theorem, and Karp's famous set of twenty-one NP-complete problems. Throughout, the book recasts traditional computer science concepts by considering how computer programs are used to solve real problems. Standard theorems are stated and proven with full mathematical rigor, but motivation and understanding are enhanced by considering concrete implementations. The book's examples and other content allow readers to view demonstrations of—and to experiment with—a wide selection of the topics it covers. The result is an ideal text for an introduction to the theory of computation. An accessible and rigorous introduction to the essential fundamentals of computer science theory, written specifically for undergraduates taking introduction to the theory of computation Features a practical, interactive approach using real computer programs (Python in the text, with forthcoming Java alternatives online) to enhance motivation and understanding Gives equal emphasis to computability and complexity Includes special topics that demonstrate the profound nature of key ideas in the theory of computation Lecture slides and Python programs are available at whatcanbecomputed.com