Models of Computation pdf epub mobi txt 電子書下載2025

簡體網頁||繁體網頁

☆☆☆☆☆

出版者:Addison-Wesley Pub (Sd)

作者:John E. Savage

出品人:

頁數:672

译者:

出版時間:1998

價格:USD 80.00

裝幀:Hardcover

isbn號碼:9780201895391

叢書系列:

圖書標籤:

計算機科學
計算機
可計算性
hn
e
Savag
Jo
E.
計算模型
計算理論
形式語言
自動機
圖靈機
可計算性
復雜度理論
算法
離散數學
計算機科學

下載連結在頁面底部

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 複製連結

想要找書就要到小美書屋

book.quotespace.org

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

具體描述

In Models of Computation: Exploring the Power of Computing, John Savage re-examines theoretical computer science, offering a fresh approach that gives priority to resource tradeoffs and complexity classifications over the structure of machines and their relationships to languages. This viewpoint reflects a pedagogy motivated by the growing importance of computational models that are more realistic than the abstract ones studied in the 1950s, '60s and early '70s.

Assuming only some background in computer organization, Models of Computation uses circuits to simulate machines with memory, thereby making possible an early discussion of P-complete and NP-complete problems. Circuits are also used to demonstrate that tradeoffs between parameters of computation, such as space and time, regulate all computations by machines with memory. Full coverage of formal languages and automata is included along with a substantive treatment of computability. Topics such as space-time tradeoffs, memory hierarchies, parallel computation, and circuit complexity, are integrated throughout the text with an emphasis on finite problems and concrete computational models.

著者簡介

圖書目錄

I. Overview of the Book
Preface
Chapter 1: The Role of Theory in Computer Science
II. General Computational Models
Chapter 2: Logic Circuits
Chapter 3: Machines with Memory
Chapter 4: Finite-State Machines and Pushdown Automata
Chapter 5: Computability
Chapter 6: Algebraic and Combinatorial Circuits
Chapter 7: Parallel Computation
III. Computational Complexity
Chapter 8: Complexity Classes
Chapter 9: Circuit Complexity
Chapter 10: Space-Time Tradeoffs
Chapter 11: Memory-Hierarchy Tradeoffs
Chapter 12: VLSI Models of Computation
Bibliography
Index
· · · · · · (收起)