The Science of Computing: Shaping a Discipline (Paperback)
暫譯: 計算科學:塑造一門學科 (平裝本)

Matti Tedre

買這商品的人也買了...

商品描述

The identity of computing has been fiercely debated throughout its short history. Why is it still so hard to define computing as an academic discipline? Is computing a scientific, mathematical, or engineering discipline?

 

By describing the mathematical, engineering, and scientific traditions of computing, The Science of Computing: Shaping a Discipline presents a rich picture of computing from the viewpoints of the field’s champions. The book helps readers understand the debates about computing as a discipline. It explains the context of computing’s central debates and portrays a broad perspective of the discipline.

 

The book first looks at computing as a formal, theoretical discipline that is in many ways similar to mathematics, yet different in crucial ways. It traces a number of discussions about the theoretical nature of computing from the field’s intellectual origins in mathematical logic to modern views of the role of theory in computing.

 

The book then explores the debates about computing as an engineering discipline, from the central technical innovations to the birth of the modern technical paradigm of computing to computing’s arrival as a new technical profession to software engineering gradually becoming an academic discipline. It presents arguments for and against the view of computing as engineering within the context of software production and analyzes the clash between the theoretical and practical mindsets.

 

The book concludes with the view of computing as a science in its own right—not just as a tool for other sciences. It covers the early identity debates of computing, various views of computing as a science, and some famous characterizations of the discipline. It also addresses the experimental computer science debate, the view of computing as a natural science, and the algorithmization of sciences.

商品描述(中文翻譯)

計算的身份在其短暫的歷史中一直受到激烈的辯論。為什麼將計算定義為一個學術學科仍然如此困難?計算是一門科學、數學還是工程學科?

透過描述計算的數學、工程和科學傳統,計算科學:塑造一門學科 從該領域的倡導者的觀點呈現了計算的豐富圖景。這本書幫助讀者理解有關計算作為一門學科的辯論。它解釋了計算中心辯論的背景,並描繪了該學科的廣泛視角。

本書首先將計算視為一門正式的理論學科,在許多方面與數學相似,但在關鍵方面又有所不同。它追溯了有關計算理論性質的多次討論,從該領域在數學邏輯中的智識起源到現代對計算中理論角色的看法。

接著,本書探討了計算作為一門工程學科的辯論,從中心技術創新到現代計算技術範式的誕生,再到計算作為一種新技術職業的出現,以及軟體工程逐漸成為一門學術學科的過程。它在軟體生產的背景下提出了支持和反對將計算視為工程的觀點,並分析了理論與實踐思維之間的衝突。

本書最後以計算作為一門獨立科學的觀點作結——不僅僅是其他科學的工具。它涵蓋了計算早期身份辯論、計算作為科學的各種觀點以及一些著名的學科特徵。它還討論了實驗計算機科學的辯論、計算作為自然科學的觀點,以及科學的演算法化。