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 languagesDiscover how
programs use dynamic semantics to communicate ideas to
machinesExplore what a computer can do when reduced to its bare
essentialsLearn how universal Turing machines led to today's
general-purpose computersPerform complex calculations, using simple
languages and cellular automataDetermine which programming language
features are essential for computationExamine how halting and
self-referencing make some computing problems unsolvableAnalyze
programs by using abstract interpretation and type systems
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!