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 language 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 .

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 computing 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

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)ThanksUpload Date
EU(multi) Click to downloadPDF, EPUB11.9foxebook06/16/2013
Buy Me a Coffee Report Dead Links & Get a Copy


Leave a Reply

Your email address will not be published. Required fields are marked *

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>