Computability, Complexity, and Languages : Fundamentals of Theoretical Computer Science - Martin Davis

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

Write A Review

Hardcover | 17 September 2003 | Edition Number 2

At a Glance

Hardcover
609 Pages

Edition Type
Revised

Dimensions(cm)
23.39 x 15.6 x 3.51

Hardcover

$195.75

or 4 interest-free payments of $48.94 with

or

Ships in 15 to 25 business days

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

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

More in Mathematical Logic

Current Trends in Automated Reasoning - Erika Bach

$31.75

21%
OFF

The Language of Mathematics

The Stories behind the Symbols

Hardcover

RRP $49.99

$40.75

18%
OFF

How to Prove It

A Structured Approach

Paperback

RRP $73.95

$70.75

Cryptocurrency Forensics and Investigation using Open Source Intelligence Techniques (OSINT)

Volume I

Paperback

RRP $94.99

$85.75

10%
OFF

Cryptocurrency Forensics and Investigation using Open Source Intelligence Techniques (OSINT)

Volume I

Hardcover

RRP $231.00

$202.75

12%
OFF

Introduction to Mathematical Logic : Discrete Mathematics and Its Applications - Elliott Mendelson

$233.75

Introduction to Modern Cryptography : Revised Third Edition - Jonathan Katz

$137.75

25%
OFF

Kakuro Book 2

200 mathematical logic puzzles

Paperback

RRP $16.99

$15.99

Skill Builder Sudoku : Easy to Medium - Peter Gordon

$187.75

Preliminaries
Computability: Programs and Computable Functions
Primitive Recursive Functions
A Universal Program
Calculations on Strings
Turing Machines
Processes and Grammars
Classifying Unsolvable Problems
Grammars and Automata: Regular Languages
Context-Free Languages
Context-Sensitive Languages
Logic: Propositional Calculus
Quantification Theory
Complexity: Abstract Complexity
Polynomial-Time Computability
Semantics: Approximation Orderings
Denotational Semantics of Recursion Equations
Operational Semantics of Recursion Equations
Suggestions for Further Reading
Subject Index
Table of Contents provided by Publisher. All Rights Reserved.

Computability, Complexity, and Languages

Fundamentals of Theoretical Computer Science

At a Glance

Hardcover

Industry Reviews

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Mathematical Logic

Current Trends in Automated Reasoning

Automated Theorem Proving

Theory and Practice

Handbook of Automated Reasoning

Current Trends in Automated Theorem Proving

Automated Deduction

From Theory to Applications

Advances in Automated Reasoning

Unequal

The Maths of When Things Do and Don't Add Up

The Language of Mathematics

The Stories behind the Symbols

How to Prove It

A Structured Approach

Cryptocurrency Forensics and Investigation using Open Source Intelligence Techniques (OSINT)

Volume I

Cryptocurrency Forensics and Investigation using Open Source Intelligence Techniques (OSINT)

Volume I

Introduction to Mathematical Logic

Discrete Mathematics and Its Applications

Fuzzy Logic in Revolutionizing Renewable Energy

Jenny Stanford Series on Fuzzy Theory Frontiers Vol. 2

Introduction to Modern Cryptography

Chapman & Hall/Crc Cryptography and Network Security

Introduction to Modern Cryptography

Revised Third Edition

Cause, Effect, and Everything in Between

An Introduction to Causal Inference

Kakuro Book 2

200 mathematical logic puzzles

Skill Builder Sudoku

Easy to Medium

Skill Builder Sudoku

Medium to Hard

Skill Builder Sudoku

Hard to Expert

Cartesian Cubical Model Categories

Strongly Minimal Sets and Categoricity in Continuous Logic

Ignorance

What We Do Not Know, Cannot Know, Must Not Know, and Refuse to Know

Reading, Writing, and Proving

A Closer Look at Mathematics

This product is categorised by