讲授数学分析发展历史上一个重要的反例：处处连续处处不可导的函数，以及这 一反例对数学学科发展的影响；介绍德国数学家 Weierstrass 的生平与对数学分析 所作的贡献

1940年，应二战需要而开发的第一台电子计算装置问 世，人们才开始使用术语“计算机”的现代定义。 1945年，一组工程师开始进行一项秘密工程—建造 “电子离散变量自动计算机”，简称为EDVAC。此 前，在美国只建造一台能够运行的计算机。约 翰·冯·诺依曼—一位杰出的数学家在一个报告中对E D VA C计划进行了描述。冯·诺依曼的报告被称为“在 计算机科学史上最具影响力的论文”。该报告是最早 专门定义计算机部件并描述其功能的文档。在该报告 中，冯·诺依曼使用了术语“自动计算系统

介绍前苏联数学家Korovkin关于用多项式逼近连续函数的定理（Weierstrass第一逼近定理）的一种证明

• 形式化设计方法和过程 • 系统描述方法 – 基于模型的方法 – 基于语言的方法 • SystemC – PetriNet，1960 • 德国数学家Petri发明 • 形式化验证 – Model Checking • 属性分析 – 正确性、性能、可靠性？

讲授数学分析发展历史上一个重要的反例：处处连续处处不可导的函数，以及这一反例对数学学科发展的影响；介绍德国数学家Weierstrass的生平与对数学分析所作的贡献

介绍前苏联数学家 Korovkin 关于用多项式逼近连续函数的定理（Weierstrass 第 一逼近定理）的一种证明。 指导思想 用多项式逼近连续函数，是经典分析学中重要的结果，以往教材中介绍的证明都 比较艰深，学生难以理解

1、（火柴盒问题）波兰数学家巴拿赫（Banach）随身带着两盒火柴，分别放在左右 两个衣袋里，每盒有 n 根火柴.每次用时，便随机地从其中一盒中取出一根.试求他发现 其中一盒已空，而另一盒中剩下的火柴根数的分布律

一、近代氢原子观的回顾 1氢原子光谱的实验规律 1885年瑞士数学家巴耳末发现氢原子光谱可见光部分的规律:

据公元前一世纪成书的《周髀算经》记载，我国古代杰出的数学家陈子（公元前 6-7 世 纪）对太阳的高和远进行了测量，这就是人们所乐于称道的“陈子测日”。他的测量方法原理 如图 1 所示

毕达哥拉斯 Pythagoras (572BC~497BC) 毕达哥拉斯（Pythagoras）古希腊数学家、哲学家。生于公元前 572 年，卒于公元前 497 年