Dòng Nội dung
1
Introduction to the theory of computation / Michael Sipser
Boston : Thomson Course Technology, 2006.
xix, 431 pages. : illustrations ; 24 cm.
Ký hiệu phân loại (DDC): 511.35
"Michael Sipser's philosophy in writing this book is simple: make the subject interesting and relevant, and the students will learn. His 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 - a noted authority on the theory of computation - 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. INTRODUCTION TO THE THEORY OF COMPUTATION provides a mathematical treatment of computation theory grounded in theorems and proofs. Proofs are presented with a "proof idea" component to reveal the concepts underpinning the formalism. Algorithms are presented using prose instead of pseudocode to focus attention on the algorithms themselves, rather than on specific computational models. Topic coverage, terminology, and order of presentation are traditional for an upper-level course in computer science theory. Users of the Preliminary Edition (now out of print) will be interested to note several new chapters on complexity theory: Chapter 8 on space complexity; Chapter 9 on provable intractability, and Chapter 10 on advanced topics, including approximation algorithms, alternation, interactive proof systems, cryptography, and parallel computing."
 Số bản sách: (1) Tài liệu số: (0)
2
Introduction to the theory of computation / Michael Sipser
Boston : PWS Pub. Co., 1997.
xv, 395 pages. : illustrations ; 24 cm.
Ký hiệu phân loại (DDC): 511.35
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.
 Số bản sách: (1) Tài liệu số: (0)
3
Introduction to the Theory of Computation / Michael Sipser
Singapore : Cengage Learning, 2012
504 p. : illustration ; 24 cm.
Ký hiệu phân loại (DDC): 511
A new first-of-its-kind theoretical treatment of deterministic context-free languages is ideal for a better understanding of parsing and LR(k) grammars. You gain a solid understanding of the fundamental mathematical properties of computer hardware, software, and applications with a blend of practical and philosophical coverage and mathematical treatments, including advanced theorems and proofs.
 Số bản sách: (0) Tài liệu số: (1)