Buy New
-
To see product details, add this item to your cart.
Ships from: Amazon.com Sold by: Amazon.com
Used - Good
-
To see product details, add this item to your cart.
Ships from: more-than-words Sold by: more-than-words
Download the free Kindle app and start reading Kindle books instantly on your smartphone, tablet, or computer - no Kindle device required.
Read instantly on your browser with Kindle for Web.
Using your mobile phone camera - scan the code below and download the Kindle app.
Understanding Computation: From Simple Machines to Impossible Programs
Purchase options and add-ons
Finally, you can learn computation theory and programming language design in an engaging, practical way. Understanding Computation explains theoretical computer science in a context you’ll recognize, helping you appreciate why these ideas matter and how they can inform your day-to-day programming.
Rather than use mathematical notation or an unfamiliar academic programming language like Haskell or Lisp, this book uses Ruby in a reductionist manner to present formal semantics, automata theory, and functional programming with the lambda calculus. It’s ideal for programmers versed in modern languages, with little or no formal training in computer science.
- Understand fundamental computing concepts, such as Turing completeness in languages
- Discover how programs use dynamic semantics to communicate ideas to machines
- Explore what a computer can do when reduced to its bare essentials
- Learn how universal Turing machines led to today’s general-purpose computers
- Perform complex calculations, using simple languages and cellular automata
- Determine which programming language features are essential for computation
- Examine how halting and self-referencing make some computing problems unsolvable
- Analyze programs by using abstract interpretation and type systems
- ISBN-101449329276
- ISBN-13978-1449329273
- Edition1st
- PublisherO'Reilly Media
- Publication dateJuly 2, 2013
- LanguageEnglish
- Dimensions7 x 0.77 x 9.19 inches
- Print length329 pages
![]() |
Frequently bought together

Customers who viewed this item also viewed
- What Can Be Computed?: A Practical Guide to the Theory of ComputationHardcoverFREE ShippingOnly 15 left in stock - order soon.
- Code: The Hidden Language of Computer Hardware and SoftwarePaperbackFREE Shipping on orders over $35 shipped by AmazonGet it as soon as Sunday, Aug 23
Customers also bought or read
- What Can Be Computed?: A Practical Guide to the Theory of Computation
Hardcover$29.98$29.98FREE delivery Mon, Aug 24 - Operating Systems: Three Easy Pieces#1 Best SellerComputer Operating Systems Theory
Paperback$26.84$26.84Delivery Aug 28 - Sep 1 - The Pragmatic Programmer: Your Journey To Mastery, 20th Anniversary Edition (2nd Edition)#1 Best SellerSoftware Testing
Hardcover$45.97$45.97FREE delivery Sun, Aug 23 - Introduction to Automata Theory, Languages, and Computation
Hardcover$190.53$190.53$4.25 delivery Sep 10 - 15 - AI Engineering: Building Applications with Foundation Models#1 Best SellerEnterprise Applications
Paperback$52.40$52.40FREE delivery Sun, Aug 23 - Open Circuits: The Inner Beauty of Electronic Components (Packaging may vary)
Hardcover$23.76$23.76Delivery Sun, Aug 23 - The TCP/IP Guide: A Comprehensive, Illustrated Internet Protocols Reference
Hardcover$64.50$64.50FREE delivery Sun, Aug 23 - Head First Java: A Brain-Friendly Guide#1 Best SellerBeginner's Guides to Java Programming
Paperback$43.99$43.99FREE delivery Sun, Aug 23 - Software Architecture: The Hard Parts: Modern Trade-Off Analyses for Distributed Architectures
Paperback$43.99$43.99FREE delivery Sun, Aug 23 - Grokking Algorithms, Second Edition: An illustrated guide for programmers and other curious people
Paperback$49.49$49.49FREE delivery Sun, Aug 23
From the brand
-
Your partner in learning
-
Bestsellers
-
Software Development
-
Programming Languages
-
AI / Machine Learning
-
Data Science
-
Data, Databases and more
-
Cloud Services
-
Business
-
Finance
-
Blockchain / Cryptocurrency
-
Security
-
Lean series
-
Cookbooks
-
Head First series
-
97 Things series
-
Sharing the knowledge of experts
O'Reilly's mission is to change the world by sharing the knowledge of innovators. For over 40 years, we've inspired companies and individuals to do new things (and do them better) by providing the skills and understanding that are necessary for success.
Our customers are hungry to build the innovations that propel the world forward. And we help them do just that.
Editorial Reviews
About the Author
Product details
- Publisher : O'Reilly Media
- Publication date : July 2, 2013
- Edition : 1st
- Language : English
- Print length : 329 pages
- ISBN-10 : 1449329276
- ISBN-13 : 978-1449329273
- Item Weight : 2.31 pounds
- Dimensions : 7 x 0.77 x 9.19 inches
- Best Sellers Rank: #1,574,276 in Books (See Top 100 in Books)
- #101 in Functional Software Programming
- #136 in Software Programming Compilers
- #1,037 in Software Design & Engineering
- Customer Reviews:




















