语文
小学语文
初中语文
高中语文
数学
小学数学
初中数学
高中数学
英语
小学英语
初中英语
高中英语
物理
初中物理
高中物理
化学
初中化学
高中化学
生物
初中生物
高中生物
政治
小学道德与法治
初中道德与法治
高中政治
历史
历史
历史
地理
初中地理
高中地理
音乐
小学音乐
初中音乐
高中音乐
体育
小学体育
初中体育
高中体育
美术
小学美术
初中美术
高中美术
科学
小学科学
书法
小学书法
日语
初中日语
高中日语
俄语
初中俄语
高中俄语
其他
高中信息技术
高中通用技术
首页
>
高中数学·人教B版·选修1－2
> 数学证明的机械化——机器证明
《数学证明的机械化——机器证明》资源列表
数学证明的机械化——机器证明
课文目录
第一章 统计案例
1.1 独立性检验
1.2 回归分析
本章小结
阅读与欣赏
“回归”一词的由来
附表 相关性检验的临界值表
第二章 推理与证明
2.1 合情推理与演绎推理
2.1.1 合情推理
2.1.2 演绎推理
2.2 直接证明与间接证明
2.2.1 综合法与分析法
2.2.2 反证法
本章小结
阅读与欣赏
《原本》与公理化思想
数学证明的机械化——机器证明
第三章 数系的扩充与复数的引入
3.1 数系的扩充与复数的引入
3.1.1 实数系
3.1.2 复数的引入
3.2 复数的运算
3.2.1 复数的加法和减法
3.2.2 复数的乘法和除法
本章小结
阅读与欣赏
复平面与高斯
第四章 框图
4.1 流程图
4.2 结构图
本章小结
阅读与欣赏
冯·诺伊曼
附录 部分中英文词汇对照表
