Computability, Complexity, and Languages, Second Edition: Fundamentals of Theoretical Computer Science (Computer Science and Scientific Computing)

3.72 avg rating
( 18 ratings by GoodReads )
 
9780122063824: Computability, Complexity, and Languages, Second Edition: Fundamentals of Theoretical Computer Science (Computer Science and Scientific Computing)

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.

* 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.

"synopsis" may belong to another edition of this title.

From the Back Cover:

This book is a rigorous but readable introduction to some of the central topics in theoretical computer science. The main subjects are computability theory, formal languages, logic and automated deduction, computational complexity (including NP-completeness), and programming language semantics.

About the Author:

Born in New York City in 1928, Martin Davis was a student of Emil L. Post at City College and his doctorate at Princeton in 1950 was under the supervision of Alonzo Church. Davis's book Computability and Unsolvability (1958) has been called "one of the few real classics in computer science." He is best known for his pioneering work in automated deduction and for his contributions to the solution of Hilbert's tenth problem. For this latter work he was awarded the Chauvenet and Lester R. Ford Prizes by the Mathematical Association of America and the Leroy P. Steele Prize by the American Mathematical Society. In 1983 he was a Guggenheim Foundation Fellow and in 2005 he received the Herbrand Prize from the Conference on Automated Deduction. His books have been translated into a number of languages including Russian and Japanese. Davis has been on the faculty of the Courant Institute of Mathematical Sciences of New York University since 1965, was one of the charter members of the Computer Science Department founded in 1969, and is now Professor Emeritus. He is currently a Visiting Scholar at the University of California, Berkeley.

Ron Sigal is an independently employed software developer who has held positions at Yale University, Lafayette College, Hofstra University, and the University of Catania in Italy. He has a PhD in computer science and has published in the areas of mathematical logic, robotics, and programming languages.

Elaine Weyuker is a researcher at AT&T Labs who specializes in empirical software engineering and testing research. She is a member of the National Academy of Engineering, an IEEE Fellow, an ACM Fellow, and an AT&T Fellow. She is the co-chair of the ACM Committee on Women in Computing (ACM-W) and a member of the Coalition to Diversify Computing's steering committee. She was the 2004 recipient of the Harlan D. Mills Award, the Rutgers University 50th Anniversary Outstanding Alumni Award, and the AT&T Chairman's Diversity Award. Before moving to AT&T, she was a computer science professor at the Courant Institute of Mathematical Sciences of NYU.

"About this title" may belong to another edition of this title.

Top Search Results from the AbeBooks Marketplace

1.

Martin Davis, Ron Sigal, Elaine J. Weyuker
Published by Morgan Kaufmann 1994-03-18 (1994)
ISBN 10: 0122063821 ISBN 13: 9780122063824
New Hardcover Quantity Available: 5
Seller
Chiron Media
(Wallingford, United Kingdom)
Rating
[?]

Book Description Morgan Kaufmann 1994-03-18, 1994. Hardcover. Book Condition: New. Bookseller Inventory # NU-ELS-00002347

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 45.15
Convert Currency

Add to Basket

Shipping: US$ 3.82
From United Kingdom to U.S.A.
Destination, Rates & Speeds

2.

Davis, Martin; Sigal, Ron; Weyuker, Elaine J.
Published by Morgan Kaufmann
ISBN 10: 0122063821 ISBN 13: 9780122063824
New Hardcover Quantity Available: 1
Seller
Cloud 9 Books
(West Palm Beach, FL, U.S.A.)
Rating
[?]

Book Description Morgan Kaufmann. Hardcover. Book Condition: New. 0122063821 New Condition. Bookseller Inventory # NEW6.0040085

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 61.83
Convert Currency

Add to Basket

Shipping: US$ 4.99
Within U.S.A.
Destination, Rates & Speeds

3.

DAVIS, MARTIN; SIGAL, RON; WEYUKER, ELAINE
Published by Morgan Kaufmann (1994)
ISBN 10: 0122063821 ISBN 13: 9780122063824
New Hardcover Quantity Available: 1
Seller
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description Morgan Kaufmann, 1994. Hardback. Book Condition: NEW. 9780122063824 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Bookseller Inventory # HTANDREE0891138

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 57.90
Convert Currency

Add to Basket

Shipping: US$ 10.22
From United Kingdom to U.S.A.
Destination, Rates & Speeds

4.

DAVIS, MARTIN; SIGAL, RON; WEYUKER, ELAINE
Published by Morgan Kaufmann (1994)
ISBN 10: 0122063821 ISBN 13: 9780122063824
New Hardcover Quantity Available: 1
Seller
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description Morgan Kaufmann, 1994. Hardback. Book Condition: NEW. 9780122063824 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Bookseller Inventory # HTANDREE01195433

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 57.90
Convert Currency

Add to Basket

Shipping: US$ 10.22
From United Kingdom to U.S.A.
Destination, Rates & Speeds

5.

Davis, Martin, Sigal, Ron, Weyuker, Elai
Published by Morgan Kaufmann (2017)
ISBN 10: 0122063821 ISBN 13: 9780122063824
New Hardcover Quantity Available: 2
Print on Demand
Seller
Murray Media
(North Miami Beach, FL, U.S.A.)
Rating
[?]

Book Description Morgan Kaufmann, 2017. Hardcover. Book Condition: New. This item is printed on demand. Bookseller Inventory # P110122063821

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 73.30
Convert Currency

Add to Basket

Shipping: US$ 2.99
Within U.S.A.
Destination, Rates & Speeds

6.

Davis, Martin; Sigal, Ron; Weyuker, Elaine J.
Published by Morgan Kaufmann (1994)
ISBN 10: 0122063821 ISBN 13: 9780122063824
New Hardcover Quantity Available: 1
Seller
Irish Booksellers
(Rumford, ME, U.S.A.)
Rating
[?]

Book Description Morgan Kaufmann, 1994. Hardcover. Book Condition: New. book. Bookseller Inventory # 0122063821

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 90.32
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

7.

Elaine J. Weyuker; Martin Davis; Ron Sigal
ISBN 10: 0122063821 ISBN 13: 9780122063824
New Quantity Available: 1
Print on Demand
Seller
BWB
(Valley Stream, NY, U.S.A.)
Rating
[?]

Book Description Book Condition: New. This item is Print on Demand - Depending on your location, this item may ship from the US or UK. Bookseller Inventory # POD_9780122063824

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 104.24
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

8.

Davis, Martin
Published by Academic Press (2016)
ISBN 10: 0122063821 ISBN 13: 9780122063824
New Paperback Quantity Available: 1
Print on Demand
Seller
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description Academic Press, 2016. Paperback. Book Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Bookseller Inventory # ria9780122063824_lsuk

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 104.91
Convert Currency

Add to Basket

Shipping: US$ 4.24
From United Kingdom to U.S.A.
Destination, Rates & Speeds

9.

Davis, Martin
Published by Morgan Kaufmann (1994)
ISBN 10: 0122063821 ISBN 13: 9780122063824
New Quantity Available: > 20
Print on Demand
Seller
PBShop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Morgan Kaufmann, 1994. HRD. Book Condition: New. New Book.Shipped from US within 10 to 14 business days.THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # IP-9780122063824

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 113.99
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

10.

Davis, Martin
Published by Morgan Kaufmann (1994)
ISBN 10: 0122063821 ISBN 13: 9780122063824
New Quantity Available: > 20
Print on Demand
Seller
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Morgan Kaufmann, 1994. HRD. Book Condition: New. New Book. Delivered from our US warehouse in 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND.Established seller since 2000. Bookseller Inventory # IP-9780122063824

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 115.42
Convert Currency

Add to Basket

Shipping: US$ 11.50
From United Kingdom to U.S.A.
Destination, Rates & Speeds

There are more copies of this book

View all search results for this book