?? 28.txt
字號:
發信人: strawman (獨上江樓思渺然), 信區: DataMining
標 題: [轉載] 作為學科的計算科學(5.1)
發信站: 南京大學小百合站 (Wed Dec 25 17:15:07 2002)
【 以下文字轉載自 D_Computer 討論區 】
【 原文由 nude 所發表 】
==================================
Translated by MIN Yinghua
Inputed by nude.bbs@bbs.nju.edu.cn
First posted @ bbs.nju.edu.cn
===================================
計算的描述
要求
形成一個定義有許多方式。我們提出五個要求:
(1)定義應該能為本領域以外的人所理解。
(2)定義應該是本領域以內人們的著力點。
(3)定義必須是明確的。
(4)它必須闡明本學科的數學、邏輯和工程的歷史淵源。
(5)它必須指明本學科的基本問題和已有的重要成果。
在形成描述的過程中.我們考慮了原有的幾個定義,并且得出結論,滿足這些要求
的描述必須按復雜程度分層次。這里,簡單地綜述一下其他的定義。
1967年.Newell,Perlis和Simon[5]主張,計算機科學是研究計算機及圍繞它的主
要現象的科學,而且說,反對這個定義就無異于表明其他科學都不是科學。但不管怎么
爭辯,許多人認為,這是一個循環定義,而且對外行人過于簡略。不過,它仍是一個好
的出發點,因為我們的定義可以看作是列出了圍繞汁算機的主要現象。
計算科學資格審查部(Computing Sciences Accreditation Board,CSAB)精心修改
了上述想法,用了一個如下定義:“計算機科學是關于計算機和計算的知識的總體。它
有理論、實驗和設計三部分,并且包括(1)理解計算裝置、程序和系統的理論;(2)為概
念的發展和測試所進行的實驗;(3)設計方法論,算法和實現工具;以及(4)驗證這些實
現滿足要求的分析方法。”
第三個定義說,“計算機科學是研究知識表達及其實現的科學”。這個定義過于抽
象,很少人能夠對知識表達有相同的理解。具有同樣一個問題的另一個定義是,“計算
機科學是關于抽象和復雜性控制的研究”。是一個對物理、數學或哲學也適用的定義。
Abelson和Sussman說過,“計算機革命是思維方法和思維表達方法的革命”。這種
變化的本質是所謂過程性認識論的出現——它是從命令性的觀點來研究知識的結構,而
不是象經典數學那樣用陳述性的觀點來研究。數學提出一個精確處理“是什么”的問題
的框架,而計算則提出精確處理“怎樣做”的問題的框架[1]。
--
New email address: Li.Zheng@gmx.net
※ 來源:.南京大學小百合站 bbs.nju.edu.cn.[FROM: 172.16.2.105]
--
※ 轉載:.南京大學小百合站 bbs.nju.edu.cn.[FROM: 202.119.36.111]
?? 快捷鍵說明
復制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -