Introduction to the theory of computation / Michael Sipser.
Material type:
TextPublication details: Boston : Thomson Course Technology, 2006.Edition: 2nd edDescription: xix, 431 p. : ill. ; 25 cmISBN: - 0534950973
- 9780619217648
- 511.35 22
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
Books
|
Main library General Stacks | 511.35 / SI.I 2007 (Browse shelf(Opens below)) | 1 | Available | 001165 |
Includes bibliographical references (p. 415-419) and index.
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
This market leading text on computational theory provides a mathematical treatment of computer science theory designed around theorems and proofs.
1
There are no comments on this title.