Understanding Computation

Understanding Computation Front Cover
1 Reviews
332 pages

Book Description

Understanding Computation: From Simple Machines to Impossible Programs

Finally, you can learn computation theory and 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 . It’s ideal for programmers versed in modern languages, with little or no formal in computer science.

  • Understand fundamental concepts, such as Turing completeness in languages
  • Discover how programs use dynamic semantics to 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

Table of Contents

Chapter 1. Just Enough Ruby

Part I: Programs and Machines
Chapter 2. The Meaning of Programs
Chapter 3. The Simplest Computers
Chapter 4. Just Add Power
Chapter 5. The Ultimate Machine

Part II: Computation and Computability
Chapter 6. Programming with Nothing
Chapter 7. Universality Is Everywhere
Chapter 8. Impossible Programs
Chapter 9. Programming in Toyland

Book Details

  • Title: Understanding Computation
  • Author:
  • Length: 332 pages
  • Edition: 1
  • Language: English
  • Publisher:
  • Publication Date: 2013-05-31
  • ISBN-10: 1449329276
  • ISBN-13: 9781449329273
File HostFree Download LinkFormatSize (MB)Upload Date
EU(multi) Click to downloadPDF, EPUB11.906/16/2013
NitroFlare Click to downloadPDF, EPUB11.912/08/2016
ZippyShare Click to downloadPDF, EPUB11.909/05/2017
How to Download? Report Dead Links & Get a Copy


Leave a Reply