精华区文章阅读

发信人: JJason (菜鸟), 信区: Programming
标  题: [转载] 作为学科的计算科学(5.3)
发信站: 哈工大紫丁香 (2003年01月08日15:16:08 星期三), 站内信件

发信人: enjoy (null), 信区: Computer_Book
标  题: [转载] 作为学科的计算科学(5.3)
发信站: 南京大学小百合站 (Mon Dec 23 22:41:55 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)重要的设计和实现。
并且，每一个分文必须被一个研究群体或几个相关的研究该分支的群体所确认。

    理论包括发展本分支数学基础的过程。这些过程又由其他领域的理论来支持。例
如，算法和数据结构分支包括复杂性理论，它本身又需要图论支持。抽象处理潜在实
现的模型化。这些模型忽略—些技术细节，而保存本质特性，服从分析的需要，提供
计算被模型化系统行为的预言所需的工具。设计的过程是给定问题、把问题变换为设
计的技术条件，然后，反复设想和考察各种各样的解，直到一个可靠的、可维护的、
有详细资料的、经过验证的、付出的代价大小也符合要求的设计做比来为止。

    我们认为本领域可以分为几个分支领域：
    (1)算法和数据结构
    (2)程序设计语言
    (3)体系结构
    (4)数值和符号计算
    (5)操作系统
    (6)软件方法学和工程
    (7)数据库和信息检索系统
    (8)人工智能和机器人学
    (9)人机通信

--
New email address: Li.Zheng@gmx.net

※ 来源:．南京大学小百合站 bbs.nju.edu.cn．[FROM: 172.16.2.105]
--

--

        一年多没有回家了
        挺怀念老家卖的牛肉
        与哈尔滨的酱牛肉有点像
        吃了几次,但怎么都不是老家那味~~

※ 来源:·哈工大紫丁香 bbs.hit.edu.cn·[FROM: 202.118.229.69]
※ 修改:·JJason 於 01月08日15:16:34 修改本文·[FROM: 202.118.229.69]

Programming 版 (精华区)