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 | 3 February 1994 | Edition Number 2

At a Glance

Hardcover
609 Pages

Edition Type
Revised

Dimensions(cm)
22.86 x 15.88 x 4.45

Hardcover

$201.75

or 4 interest-free payments of $50.44 with

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.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Mathematical Theory of Computation Language & Linguistics Reference, Dictionaries & Guides Engineering & Technology Environmental Science Sanitary & Municipal Engineering Waste Treatment & Disposal Hazardous Waste Treatment & Disposal Computer Programming & Software Development

Programming & Scripting Languages Mathematics Mathematical Foundation Mathematical Logic

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 Computer Science

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

The AI Con

How To Fight Big Tech's Hype and Create the Future We Want

Nexus

A Brief History of Information Networks from the Stone Age to AI

The Tech Coup

How to Save Democracy from Silicon Valley

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

Creative Machines

AI, Art & Us

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

Empire of AI

Inside the reckless race for total domination

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

Python All-in-One For Dummies

3rd Edition

Artificial Intelligence and Human Rights, Democracy, and the Rule of Law

Computational Intelligence Techniques

The Shortest History of AI

Quantum Computing

The Past, the Present, and the Future

Patient-Centric 6G

A New Era in Smart Healthcare

Advanced Computational Intelligence Techniques for Engineers

Crypto Engine Design

Cyber Shorts

Education and Analog Role-Playing Games

Theory and Pedagogy, Volume 1

Education and Analog Role-Playing Games

Theory and Pedagogy, Volume 1

Crypto Engine Design

Cyber Shorts

Patient-Centric 6G

A New Era in Smart Healthcare

The Invisible Project Manager

Why Artificial Intelligence Will Run Tomorrow's Projects — Without You

The Invisible Project Manager

Why Artificial Intelligence Will Run Tomorrow's Projects — Without You

Layered Design for Ruby on Rails Applications - Second Edition

Discover practical design patterns and modern abstractions for maintainable Rails applications

This product is categorised by