语文
小学语文
初中语文
高中语文
数学
小学数学
初中数学
高中数学
英语
小学英语
初中英语
高中英语
物理
初中物理
高中物理
化学
初中化学
高中化学
生物
初中生物
高中生物
政治
小学道德与法治
初中道德与法治
高中政治
历史
历史
历史
地理
初中地理
高中地理
音乐
小学音乐
初中音乐
高中音乐
体育
小学体育
初中体育
高中体育
美术
小学美术
初中美术
高中美术
科学
小学科学
书法
小学书法
日语
初中日语
高中日语
俄语
初中俄语
高中俄语
其他
高中信息技术
高中通用技术
首页
>
高中数学·湘教版·选修3-1
> 第8章 算法与机器证明
《第8章 算法与机器证明》资源列表
第8章 算法与机器证明
8.1 算法
8.2 计算机证明
8.3 机器证明领域中国数学家的重要突破
课文目录
第1章 中国古今数学的瑰宝
1.1 勾股定理
1.2 《九章算术》
1.3 中国古代数学泰斗刘徽
1.4 祖家父子
1.5 唐宋数学三杰
1.6 李治、朱世杰的天元术
1.7 中国现代数学家的杰出代表
第2章 希腊古代数学的伟业
2.1 万物皆数和第一次数学危机
2.2 三大几何作图问题
2.3 柏拉图学派和亚历山大学派
第3章 数形结合的结晶——解析几何诞生
第4章 划时代的成就——微积分诞生
4.1 微积分诞生的社会需要和数学准备
4.2 牛顿、莱布尼兹创立微积分
第5章 代数方程求解的历程
5.1 二次、三次和四次方程的解法
5.2 韦达定理和代数基本定理
5.3 近世代数的双子星座——阿贝尔和迦罗瓦
5.4 近代数学的两位巨人——欧拉和高斯
第6章 第五公设的困惑和非欧几何的光辉
6.1 《原本》及其第五公设
6.2 非欧几何的光辉
第7章 集合论的成就和是非
7.1 康托集合论的成就
7.2 罗素悖论和哥德尔不可判定性定理
第8章 算法与机器证明
8.1 算法
8.2 计算机证明
8.3 机器证明领域中国数学家的重要突破
课程总结报告参考题
附录 外国数学家中英文对照表
