Structures of Computing: A Guide to Practice-Oriented Theory
暫譯: 計算結構：實務導向理論指南
Börger, Egon, Gervasi, Vincenzo
- 出版商: Springer
- 出版日期: 2024-03-02
- 售價: $2,190
- 貴賓價: 9.5 折 $2,081
- 語言: 英文
- 頁數: 270
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3031543572
- ISBN-13: 9783031543579
-
相關分類:
Algorithms-data-structures、程式語言
海外代購書籍(需單獨結帳)
相關主題
商品描述
Structures of Computing explains the behavioral meaning of fundamental concepts of computing from a practical viewpoint and in generic terms, unrestricted by specific computing devices or programming languages. To compute is understood as processing structures by a set of cooperating agents each of which executes an algorithm assigned to it and interacts with the other agents.
Part I of the book defines the conceptual constituents of interactive processes: (i) data, i.e. structured objects with associated properties, relations and functions the algorithmic processes operate upon, (ii) basic operations that affect the data in single execution steps, and (iii) control mechanisms that determine the combination of single steps in multi-agent computations where the interaction happens via communication or other forms of data sharing.
Part II analyses these constituents concerning (i) methods to achieve process correctness (inspection, experimental validation, reasoning), (ii) principal computational paradigms (architectures, programming styles, communication structures, control patterns from sequential and reflective to concurrent, mixed synchronous/asynchronous and data flow control), and (iii) complexity (power and limits of computing structures).
The book is mainly addressed to students and professionals who want to understand the conceptual foundation of computing. It does not assume any specific programming experience but only a basic understanding of what are mechanically executable processes and their descriptions. Any unnecessary formalism is thus avoided, and definitions are formulated as much as possible in natural language, using common mathematical notation only where needed to prevent ambiguities. Numerous examples and exercises serve as comprehension checkpoints.
商品描述(中文翻譯)
《計算結構》從實務的角度和一般性的術語解釋了計算的基本概念的行為意義，並不受特定計算設備或程式語言的限制。計算被理解為由一組合作的代理處理結構，每個代理執行分配給它的演算法並與其他代理互動。
本書的第一部分定義了互動過程的概念組成部分：(i) 數據，即具有相關屬性、關係和函數的結構化對象，演算法過程在其上運作；(ii) 影響數據的基本操作，這些操作在單次執行步驟中進行；(iii) 控制機制，決定在多代理計算中單步的組合，這些互動通過通信或其他形式的數據共享發生。
第二部分分析了這些組成部分，涉及到：(i) 實現過程正確性的方法（檢查、實驗驗證、推理）；(ii) 主要的計算範式（架構、程式設計風格、通信結構、控制模式，從順序和反思到並行、混合同步/非同步和數據流控制）；(iii) 複雜性（計算結構的能力和限制）。
本書主要針對希望理解計算概念基礎的學生和專業人士。它不假設任何特定的程式設計經驗，只需對機械可執行過程及其描述有基本的理解。因此，避免了任何不必要的形式主義，定義儘可能用自然語言表述，僅在必要時使用常見的數學符號以防止歧義。大量的例子和練習作為理解的檢查點。
作者簡介
Egon Boerger has worked since 1972 as professor of computer science at the Universities of Salerno, Muenster, Dortmund, Udine and Pisa (since 1985). He spent sabbatical years with IBM, Siemens, Microsoft, SAP and ETH Zürich. He is the author of seven books on logic, computer science and modeling business processes. In 2007 he received the Humboldt Research Award for his work in logic and computer science. His current interest is in rigorous design and analysis methods for concurrent software-intensive systems.
Vincenzo Gervasi is an Associate Professor with the Computer Science Department of the University of Pisa, Italy. His main research interests lie in the cognitive aspects of the construction and comprehension of software. His current work areas include requirements engineering, software engineering, formal specifications, natural language processing, distributed algorithms and applications, and AI for biomedical applications. On these subjects he has published over 120 contributions in international venues. He is a member of IFIP WG 2.9 (Requirements Engineering).
作者簡介(中文翻譯)
Egon Boerger 自1972年以來擔任計算機科學教授，曾在薩萊諾大學、明斯特大學、多特蒙德大學、烏迪內大學及比薩大學（自1985年起）任教。他曾在IBM、西門子、微軟、SAP及蘇黎世聯邦理工學院度過學術休假。他是七本有關邏輯、計算機科學及商業流程建模的書籍的作者。2007年，他因在邏輯和計算機科學方面的工作獲得洪堡研究獎。他目前的研究興趣是針對並行軟體密集系統的嚴謹設計和分析方法。
Vincenzo Gervasi 是意大利比薩大學計算機科學系的副教授。他的主要研究興趣在於軟體的建構和理解的認知方面。他目前的工作領域包括需求工程、軟體工程、形式規範、自然語言處理、分散式演算法及應用，以及用於生物醫學應用的人工智慧。在這些主題上，他在國際會議上發表了超過120篇的貢獻。他是IFIP WG 2.9（需求工程）的成員。
