With the subtitle "From Simple Machines to Impossible Programs" Tom Stuart 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. Uses Ruby in a reductionist manner to present formal semantics, automata theory, and functional programming with the lambda calculus.

<ASIN:1449329276>