Understanding Computation: From Simple Machines to Impossible Programs

Understanding Computation: From Simple Machines to Impossible Programs

by Tom Stuart

332 pages· 2013· ISBN 9781449329273

Browse books you can read free on Readfeed

No club is reading this yet — be the first to start one

1 reader has this book on their Readfeed shelves

Start a club free
About
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

Discuss Understanding Computation: From Simple Machines to Impossible Programs with other readers

Join or start a book club for Understanding Computation: From Simple Machines to Impossible Programs on Readfeed. Live chat, shared reading progress, and AI discussion questions — free to get started.

Frequently asked questions

How do I join a book club for Understanding Computation: From Simple Machines to Impossible Programs?

Sign up free on Readfeed, then browse public clubs or start your own club with Understanding Computation: From Simple Machines to Impossible Programs as the current read. Invite friends with a share link and discuss together with live chat and AI discussion questions.

Can I discuss Understanding Computation: From Simple Machines to Impossible Programs with other readers online?

Yes. Readfeed book clubs let you chat live, share progress, and join discussions about Understanding Computation: From Simple Machines to Impossible Programs with readers worldwide — whether your club is virtual, in-person, or hybrid.

Is Readfeed free?

Yes. Creating an account and joining book clubs is free. Sign up to find readers who love the same books and start discussing today.