Introduction to the Theory of Computation
Michael Sipser
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.
"Intended as an upper-level undergraduate or introductory graduate text in computer science theory," this book lucidly covers the key concepts and theorems of the theory of computation. The presentation is remarkably clear; for example, the "proof idea," which offers the reader an intuitive feel for how the proof was constructed, accompanies many of the theorems and a proof. Introduction to the Theory of Computation covers the usual topics for this type of text plus it features a solid section on complexity theory--including an entire chapter on space complexity. The final chapter introduces more advanced topics, such as the discussion of complexity classes associated with probabilistic algorithms.
Thể loại:
Năm:
1997
In lần thứ:
1
Nhà xuát bản:
PWS Publishing Company
Ngôn ngữ:
english
Trang:
410
ISBN 10:
053494728X
ISBN 13:
9780534947286
File:
DJVU, 3.50 MB
IPFS:
,
english, 1997