计算机与信息技术基础(第版)第一章精要.ppt

0 1.1 信息与信息技术概述 1.2 信息素养与知识产权保护 信息素养内涵： 美国图书馆协会和美国教育传播与技术协会1998年制定的学生学习的九大信息素养标准为： ⑴能够有效地、高效地获取信息 ⑵能够熟练地、批判性地评价信息 ⑶能够精确地、创造性地使用信息 ⑷能够探求与个人兴趣有关的信息 ⑸能够欣赏作品和其他对信息创造性表达的内容 ⑹能够力争在信息查询和知识创新中做得更好 ⑺能够认识信息对民主化社会的重要性 ⑻能够履行与信息和信息技术相关的符合伦理道德的行为规范 ⑼能够积极地参加活动来探求和创建信息 1.3 计算机发展简史及展望 中国最早的计算工具——算筹 算筹 算盘 对数计算尺 契克卡德 帕斯卡（1623──1662年） 莱布尼茨（1646年──1716年） 查尔斯·巴贝奇（1792年──1871年） 楚泽 （1910年──1995年） 霍华德·艾肯（1900年──1973年） 图灵与图灵机 冯·诺依曼（1913年──1957年） 1.4 计算机应用 数值计算 数据处理 过程控制 数据库应用 人工智能 计算机网络 计算机辅助设计和教学 计算机模拟 1、 科学计算 　　 数学经典问题·四 色 猜 想 世界近代三大数学难题之一。众所周知，地图上相邻的国家或地区，应该用不同的颜色加以区别。但是，在一幅完整的地图上，这种色彩的区别，至少需要几种颜色才行呢？１８５２年，英国年轻而又聪明的绘图员古特里在给英国地图涂绘颜色时发现，只需四种颜色就可以了。但能否从数学上证明这个猜想呢？ 世界上许多一流的数学家都纷纷参加了四色猜想的大会战，但一无所获。人们开始认识到，这个貌似容易的题目，其实是一个可与哥德巴赫猜想相媲美的难题。到1960年，用传统的数学方法只能证明，50国以下的地图可以只用四种颜色着色. 到了近代，电子计算机问世以后，有识之士建议用电子计算机来解开“四色问题”。１９７０年，几位精干的电子计算机专家上机编码后宣称：用电子计算机来求证“四色问题”，至少要连续不停地工作１０万个小时才有结果，而这恐怕连计算机也吃不消。于是问题又被搁置了起来。 然而，随着科学技术的飞速发展，在每秒亿次以上的高速电子计算机问世后的１９７６年，美国数学家阿佩尔与哈肯在美国伊利诺斯大学的两台不同的电子计算机上，用了1200个小时，作了100亿次逻辑判断，终于完成了四色定理的证明。四色猜想的计算机证明，轰动了世界。它不仅解决了这一道当初人力无法解决而被延续了１２４年的数学难题。而且有可能成为数学史上一系列新思维的起点。 数学机械化 2001年2月19日， 81岁高龄 的数学家吴文俊从江泽民主席手 中接过国家最高科学奖的证书。 他的主要贡献之一，就是数学机械化思想的提出和成果。 1977年，吴文俊证明初等几何主要一类定理的证明可以机械化（即刻板化、程序化、算法化）。1978年，吴文俊又证明初等微分几何中的一些主要定理的证明也可以机械化。其后，他把机器定理证明的范围推广到非欧几何、仿射几何、圆几何、线几何、球几何等领域。 继机器定理证明之后，吴文俊把研究重点转移到数学机械化的核心问题———方程求解上来，得出了作为机械化数学基础的整序原理及零点结构原理，它不仅可用于代数方程组，还可以解代数偏微分方程组，开创了机器定理证明的时代，国际上称为“吴文俊方法”和“吴消元法”。 1984年，年轻的中国数学家周咸青去美国丹佛参加“全美定理机器学术会议”，在会上他提交了一篇《用吴方法证明几何定理》的论文，同时在现场用电脑进行演示，短短的十几分钟证明了几百条几何定理，整个会场顿时哗然。 ??? ?“吴方法”的神奇之处在于，可以让电脑代替人脑去进行几何定理的证明，这样对于人脑来说，原本很复杂和繁琐甚至不太可能的计算和推理就变得轻而易举了。把这一方法运用到各种科研和技术领域中，就能显著提高工作效率。 “把质的困难转化为量的复杂” 吴文俊对数学机械化方法有这么一番说明：这种方法就是把要证明的问题转化成代数，编成程序，用计算机进行进一步计算。把原来要挖空心思拐弯抹角穷思冥索的人工演算转化成量的反复，尽管计算量再大计算机也不在乎，这样很困难的问题便变得容易了。有了计算机，人们可以从事更高层次的创新性研究。他说，机器证明是很适合笨人的，我是笨人。 对于数学机械化方法，吴文俊有这么一段描述来说明它的前程无量：中世纪是骑士的时代，骑士仗剑横行，有了手枪骑士便消失了，因为再会用剑的骑士也抵不住一个弱女子的一粒子弹。