發信人: 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]