Star Wars Sale
 
 

Special Offers see all

Enter to WIN!

Weekly drawing for $100 credit. Subscribe to PowellsBooks.news for a chance to win.
Privacy Policy

More at Powell's


Recently Viewed clear list


The Powell's Playlist | June 18, 2014

Daniel H. Wilson: IMG The Powell’s Playlist: Daniel H. Wilson



Like many writers, I'm constantly haunting coffee shops with a laptop out and my headphones on. I listen to a lot of music while I write, and songs... Continue »
  1. $18.87 Sale Hardcover add to wish list

    Robogenesis

    Daniel H. Wilson 9780385537094

spacer
Qualifying orders ship free.
$37.00
Used Hardcover
Ships in 1 to 3 days
Add to Wishlist
Qty Store Section
1 Burnside - Bldg. 2 Mathematics- Computer

Introduction to the Theory of Computation

by

Introduction to the Theory of Computation Cover

 

Synopses & Reviews

Publisher Comments:

This highly anticipated revision builds upon the strengths of the previous edition. Sipser's candid, crystal-clear style allows students at every level to understand and enjoy this field. His innovative "proof idea" sections explain profound concepts in plain English. The new edition incorporates many improvements students and professors have suggested over the years, and offers updated, classroom-tested problem sets at the end of each chapter.

Synopsis:

Michael Sipser's emphasis on unifying computer science theory - rather than offering a collection of low-level details - sets the book apart, as do his intuitive explanations. Throughout the book, Sipser builds students' knowledge of conceptual tools used in computer science, the aesthetic sense they need to create elegant systems, and the ability to think through problems on their own.

Synopsis:

This market leading text on computational theory provides a mathematical treatment of computer science theory designed around theorems and proofs.

About the Author

Dr. Sipser has been at MIT teaching and doing research in computational complexity theory for the past 24 years. He has published on a variety of areas, including circuit complexity, interactive proof systems, probabilistic computation and quantum computation. He enjoys lecturing, and has given courses ranging from freshman calculus to advanced seminars in complexity. In addition to MIT, he has held positions at the University of California/Berkeley and at IBM research.

Table of Contents

Introduction Part 1: Automata and Languages 1. Regular Languages 2. Context-Free Languages Part 2: Computability Theory 3. The Church-Turing Thesis 4. Decidability 5. Reducibility 6. Advanced Topics in Computability Theory Part 3: Complexity Theory 7. Time Complexity 8. Space Complexity 9. Intractability 10. Advanced Topics in Complexity Theory Selected Bibliography

Product Details

ISBN:
9780534950972
Author:
Sipser, Michael
Publisher:
Cengage Learning
Author:
Sipser, Michael (Michael Sipser)
Subject:
Computer Science
Subject:
Machine Theory
Subject:
Formal languages
Subject:
Computational complexity
Subject:
Personal Computers-General
Copyright:
Edition Number:
2
Publication Date:
February 2005
Binding:
Hardback
Grade Level:
College/higher education:
Language:
English
Illustrations:
Y
Pages:
456
Dimensions:
9.56x6.50x.91 in. 1.70 lbs.

Other books you might like

  1. Operating System Concepts 7TH Edition
    Used Hardcover $94.00
  2. Introduction to the Design and... Used Trade Paper $37.50
  3. Programming Languages : Principles... Used Hardcover $148.00
  4. Refactoring Workbook New Trade Paper $45.50

Related Subjects

Computers and Internet » Computers Reference » General
Computers and Internet » Personal Computers » General
Computers and Internet » Software Engineering » General
Science and Mathematics » Mathematics » Computer

Introduction to the Theory of Computation Used Hardcover
0 stars - 0 reviews
$37.00 In Stock
Product details 456 pages Course Technology - English 9780534950972 Reviews:
"Synopsis" by , Michael Sipser's emphasis on unifying computer science theory - rather than offering a collection of low-level details - sets the book apart, as do his intuitive explanations. Throughout the book, Sipser builds students' knowledge of conceptual tools used in computer science, the aesthetic sense they need to create elegant systems, and the ability to think through problems on their own.
"Synopsis" by , This market leading text on computational theory provides a mathematical treatment of computer science theory designed around theorems and proofs.
spacer
spacer
  • back to top
Follow us on...




Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.