计算机科学的起源绪论.pptVIP

VB程序设计及数据库应用 庄朝晖 厦门大学计算机系 计算科学的起源－从逻辑开始 中文的“逻辑”显然音译自英文的“logic”。logic又来自中古拉丁文的logica，logica又源自希腊文logos（λóγｏｓ）。logos一般翻译为“逻格斯”，接近于中文里的“道”。 中文的“道”和希腊文“logos”都有以下两层意思： 1 各种事物的定义或者各种活动的规则（西方各门学科的名字都以 -logy缀后的习惯） 2 言说，言谈 这两层意思也是相互关联的。言谈是为了揭示事物的道理，道理一般也通过言谈得以开显。 通用计算的设想 “万一发生争执，正像两个会计员之间无须乎有辩论，两个哲学家也不需要辩论。 因为他们只要拿起石笔，在石板前坐下来，彼此说一声（假如愿意，找个朋友作证）：我们来算算，也就行了。” －－莱布尼兹 通用计算的几种模型 面对着生活世界，人类发展出三种推理模型：数据表示+数据处理。 a、自然语言的推理：使用语言和概念来表示命题与知识，通过交谈与辩论来进行推理。 b、符号逻辑的推理：使用符号来表示命题与知识，使用逻辑规则来进行推理。 c、数字计算的推理：使用数字来表示命题与知识，使用计算来进行推理。 这三种推理模型都可以归结为逻辑系统。然而所有的逻辑系统，皆有其局限性与适用性，所以不要拘泥于任何逻辑系统之中，要敢于超越现有的逻辑系统。 理性精神则勇于质疑，分析和超越这些预设和成见。这就是爱智慧。 图灵机的出现 在第三次数学危机中，数学中的构造部分得到了重视。 在剑桥大学的图灵观察到人类的纸笔运算，他设想：能否有这样一台机器，通过某种一般的机械步骤，能够解决所有可以解决的数学问题。 以上机器就是他提出来的图灵机。图灵机可以计算的问题，就称为图灵机可计算。 控制器的命令可表示为： （状态，符号）→（写符号，移动，状态）； ┬─┬─┬─┬─┬─┬─┬─┬─┬─┬─┬─┬── │０│０│０│１│１│１│０│１│１│１│ ┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴── ↑ ┌─┐ │ │ ┌┘ └┐ │控制器│ └───┘ 输入：图灵机运行前，工作带上的内容就是输入。（输入之前用一个空格隔开，连续遇到两个空格表示结束） 输出：图灵机运行后进入结束状态，那么，图灵机就停机，此时带上的内容就是计算的输出结果。 算法（Algorithm） 解决问题的大致流程：分析问题 ? 确定算法 ? 选择语言并编码 ? 调试运行? 解决问题 所谓算法是对计算过程步骤（或状态）的一种刻划，是计算方法的一种能行实现方式。