Mendeley出力
＜図書＞
Elements of the theory of computation
| 責任表示 | Harry R. Lewis, Christos H. Papadimitriou |
|---|---|
| データ種別 | 図書 |
| 版 | 2nd ed |
| 出版情報 | Upper Saddle River, N.J. : Prentice-Hall , c1998 |
| 本文言語 | 英語 |
| 大きさ | 361 p. : ill. ; 25 cm |
| 概要 | As with the 1973 edition, Lewis (computer science, Harvard U.) and Papadamitriou (computer science, U. of California, Berkeley) provide an undergraduate text introducing the classical and contemporary...theory of computation. While the treatment is mathematical, the viewpoint is that of computer science. Taking into account the generations of changes in computer science in the interim, their treatment of Turing machines, algorithm analysis, NP-completeness, and finite automata have been revised. Other topics covered are: sets, relations, and languages; context-free languages; undecidability; and computational complexity. Annotation c. by Book News, Inc., Portland, Or. Lewis and Papadimitriou present this long awaited Second Edition of their best-selling theory of computation. The authors are well-known for their clear presentation that makes the material accessible to a a broad audience and requires no special previous mathematical experience. In this new edition, the authors incorporate a somewhat more informal, friendly writing style to present both classical and contemporary theories of computation. Algorithms, complexity analysis, and algorithmic ideas are introduced informally in Chapter 1, and are pursued throughout the book. Each section is followed by problems. 続きを見る |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
中央図 4A | 007.1/L 59 | 1998 |
|
003212007001003 |
|
|||
|
|
|
中央図 自動書庫 | 007.1/L 59/19991246 | 1998 |
|
017211999012461 |
|
書誌詳細
| 一般注記 | Includes bibliographical references and index |
|---|---|
| 著者標目 | *Lewis, Harry R. Papadimitriou, Christos H. |
| 件 名 | LCSH:Machine theory LCSH:Formal languages LCSH:Computational complexity LCSH:Logic, Symbolic and mathematical |
| 分 類 | LCC:QA267 DC21:511.3 |
| 書誌ID | 1000250922 |
| ISBN | 0132624788 |
| NCID | BA3593873X |
| 巻冊次 | ISBN:0132624788 : [pbk.] ; ISBN:0132727412 |
| 登録日 | 2009.09.11 |
| 更新日 | 2009.09.18 |