Track My Order
Help Centre
1300 187 187
Likes
My Wish ListsLogin / Join
Booktopia
Australia's local bookstore

0 Item

Computability, Complexity, and Languages : Fundamentals of Theoretical Computer Science - Martin Davis
eTextbook alternate format product

Instant online reading.
Don't wait for delivery!
Go digital and save!

Computability, Complexity, and Languages

Fundamentals of Theoretical Computer Science

By: Martin Davis, Ron Sigal, Elaine J. Weyuker

Hardcover | 3 February 1994 | Edition Number 2

At a Glance

Hardcover

$228.75

or 4 interest-free payments of $57.19 with

 or 

Aims to ship in 10 to 15 business days

When will this arrive by?
Enter delivery postcode to estimate

Computability, Complexity, and Languages is an introductory text that covers the key areas of computer science, including recursive function theory, formal languages, and automata. It assumes a minimal background in formal mathematics. The book is divided into five parts: Computability, Grammars and Automata, Logic, Complexity, and Unsolvability.
  • Computability theory is introduced in a manner that makes maximum use of previous programming experience, including a "universal" program that takes up less than a page.
  • The number of exercises included has more than tripled.
  • Automata theory, computational logic, and complexity theory are presented in a flexible manner, and can be covered in a variety of different arrangements.
Industry Reviews
"If there is a single book on the theory of computing that should be in every college library collection, this is it. Although written as a text for an advanced undergraduate course in theoretical computer science, the book may serve as an introductory resource, or the foundation for independent study, in many areas of theoretical computing: grammars, automata theory, computability, complexity theory, and unsolvability. The beauty of this book is that the breadth of coverage is complemented with extraordinary depth." -CHOICE

"Theoretical computer science is often viewed as a collection of disparate topics, including computability theory, formal language theory, complexity theory, logic, and so on. This well-written book attempts to unify the subject by introducing each of these topics in turn, then showing how they relate to each other... This is an excellent book that succeeds in tying together a number of areas in theoretical computer science." -COMPUTING REVIEWS

You Can Find This Book In

Non-FictionComputing & I.T.Computer ScienceMathematical Theory of ComputationLanguage & LinguisticsReference, Dictionaries & GuidesEngineering & TechnologyEnvironmental ScienceSanitary & Municipal EngineeringWaste Treatment & DisposalHazardous Waste Treatment & DisposalComputer Programming & Software Development
Programming & Scripting LanguagesMathematicsMathematical FoundationMathematical Logic

More in Mathematical Logic

The Language of Mathematics : The Stories behind the Symbols - Raul Rojas

The Language of Mathematics

The Stories behind the Symbols

Hardcover

RRP $49.99

$40.75

18%
OFF
Partial Truths : How Fractions Distort Our Thinking - James C. Zimring

Partial Truths

How Fractions Distort Our Thinking

Hardcover

RRP $46.95

$36.75

22%
OFF
The Univalence Principle - Benedikt Ahrens

The Univalence Principle

Paperback

RRP $219.00

$197.25

10%
OFF
Polygraphs : From Rewriting to Higher Categories - Albert Burroni

Polygraphs

From Rewriting to Higher Categories

Paperback

RRP $173.95

$168.75

Mathematical Intelligence : What We Have that Machines Don't - Junaid Mubeen

Mathematical Intelligence

What We Have that Machines Don't

Hardcover

RRP $45.00

$35.25

22%
OFF

This product is categorised by