 |
|
| COMPUTABILITY, COMPLEXITY, AND LANGUAGES
| |
| | |
|
|
Fundamentals of Theoretical Computer Science
To order this title, and for more information, click here
Second Edition
By
Martin Davis, Courant Institute of Mathematical Sciences of New York University, New York, U.S.A.
Ron Sigal, Consultant, New Haven, Connecticut, U.S.A.
Elaine Weyuker, AT&T Labs Research, Florham Park, New Jersey, U.S.A.
Description
This introductory text 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.
Audience
Junior, senior, and graduate level students in Computability, Complexity, and Languages or Introduction to Theoretical Computer Science courses.
Contents
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.
| Bibliographic details |
Hardbound, 609 pages, publication date: FEB-1994
ISBN-13: 978-0-12-206382-4
ISBN-10: 0-12-206382-1
Imprint: MORGAN KAUFFMAN
|
| Price and Ordering |
Price:
GBP 66
USD 101
EUR 77.95
|  |
Books and book related electronic products are priced in US dollars (USD), euro (EUR), and Great Britain Pounds (GBP). USD prices apply to the Americas and Asia Pacific. EUR prices apply in Europe and the Middle East. GBP prices apply to the UK and all other countries.
|
See also information about conditions of sale & ordering procedures, and links to our regional sales offices.
|
077/743
Last update: 4 Sep 2009
|
|
| |
| | |
|
|
| |
Home | Elsevier Sites | Privacy Policy | Terms and Conditions | Feedback | Site Map | A Reed Elsevier Company