补充:程序设计的发展
24页1、程序设计的发展庄朝晖 厦门大学计算机系计算科学的起源从逻辑开始 中文的“逻辑”显然音译自英文的“logic”。logic又来 自中古拉丁文的logica,logica又源自希腊文logos( )。logos一般翻译为“逻格斯”,接近于中文里 的“道”。 中文的“道”和希腊文“logos”都有以下两层意思: 1 各种事物的定义或者各种活动的规则(西方各门学科 的名字都以 -logy缀后的习惯) 2 言说,言谈 这两层意思也是相互关联的。言谈是为了揭示事物的 道理,道理一般也通过言谈得以开显。通用计算的设想 “万一发生争执,正像两个会计 员之间无须乎有辩论,两个哲学 家也不需要辩论。 因为他们只 要拿起石笔,在石板前坐下来, 彼此说一声(假如愿意,找个朋 友作证):我们来算算,也就行 了。” 莱布尼兹通用计算的几种模型 面对着生活世界,人类发展出三种推理模型: a、自然语言的推理:使用语言和概念来表示命题与 知识,通过交谈与辩论来进行推理。 b、符号逻辑的推理:使用符号来表示命题与知识, 使用逻辑规则来进行推理。 c、数字计算的推理:使用数字来表示命题与知识, 使用计算来进行推理。 这三种
2、推理模型都可以归结为逻辑系统。然而所有的 逻辑系统,皆有其局限性与适用性,所以不要拘泥于 任何逻辑系统之中,要敢于超越现有的逻辑系统。 理性精神则勇于质疑,分析和超越这些预设和成见。 这就是爱智慧。图灵机的出现 在第三次数学危机中,数 学中的构造部分得到了重 视。 在剑桥大学的图灵观察到 人类的纸笔运算,他设想 :能否有这样一台机器, 通过某种一般的机械步骤 ,能够解决所有可以解决 的数学问题。 以上机器就是他提出来的 图灵机。图灵机可以计算 的问题,就称为图灵机可 计算。控制器的命令可表示为:(状态,符号)(写符号,移动,状态); 控制器输入:图灵机运行前,工作带上的内容就是输入。(输入 之前用一个空格隔开,连续遇到两个空格表示结束)输出:图灵机运行后进入结束状态,那么,图灵机就停机 ,此时带上的内容就是计算的输出结果。算法(Algorithm) 解决问题的大致流程:分析问题 确定算法 选择语言并编码 调试运行 解决问题 所谓算法是对计算过程步骤(或状态)的一种刻 划,是计算方法的一种能行实现方式。 (Knuth对算法的定义)算法是对特定问题求 解步骤的一种描述。此外,算法的规则序列
3、 须满足如下五个条件: (1) 有穷性。算法必须总是在执行有穷步之 后结束; (2) 确定性。算法的每一个步骤必须是确切 地定义的; (3) 输入。算法有零个或多个输入; (4) 输出。算法有一个或多个输出,即与输 入有某个特定关系的量; (5) 能行性。算法中有待执行的运算和操作 必须是相当基本的,即是说,它们原则上都 是能够精确地进行的,而且用笔和纸做有穷 次就可以完成。 算法设计的要求 评价一个好的算法有以下几个标准: (1) 正确性(Correctness ) 算法应满足具体问题的需 求。 (2)可读性(Readability) 算法应该好读。以有利于阅 读者对程序的理解。(3)健状性(Robustness) 算法应具有容错处理。当输入 非法数据时,算法应对其作出反应,而不是产生莫名其妙 的输出结果。 (4)效率与存储量需求 效率指的是算法执行的时间;存 储量需求指算法执行过程中所需要的最大存储空间。一般 ,这两者与问题的规模有关。算法的表示1、自然语言描述; 2、程序流程图描述 ; 3、N-S图描述;例如:求12+100之和算法的自然语言描述1. sum赋初值为0;变量i赋初
《补充:程序设计的发展》由会员kms****20分享,可在线阅读,更多相关《补充:程序设计的发展》请在金锄头文库上搜索。
高三文科数学(长方体模型1)
高一生物:必修2 1.1孟德尔的豌豆杂交实验
遗传学第1章 绪言
高等代数课件--第三章 线性方程组§3.3 线性相关性
高二数学(1.1-1空间几何体及棱柱、棱锥的结构特征)
递回关系与演算法分析
过程是vb的基本组成单位
营养器官的生长
细菌真菌在生物圈中的作用课件(济南版七年级上)
自动化-ab变频器的原理及其应用
网络操作系统-第16章 windows server 2003安全管理
网络安全+第4讲+防火墙
素材-接触网施工技术-双线隧道吊柱安装
系统结构第5章
计算机体系结构实验2008
计算机系统安全
高考词汇总常用词v
软件测试tmap
电脑文件被删除怎么恢复图文教程
电子教案--第9章
2023-10-12 28页
2022-07-12 126页
2022-06-07 89页
2022-06-07 158页
2022-06-07 60页
2022-06-07 122页
2022-06-07 76页
2022-06-07 79页
2022-06-06 38页
2022-06-06 47页