传统文化与数学机械化扫描版[PDF]

游客，本帖隐藏的内容需要积分高于 1 才可浏览，您当前积分为 0

资源信息： 中文名: 传统文化与数学机械化 作者: 傅海伦 图书分类: 文学理论 资源格式: PDF 版本: 扫描版 出版社: 科学出版社 书号: 703011397 发行时间: 2003年1月 地区: 大陆 语言: 简体中文 概述:

内容简介： 《传统文化与数学机械化》从传统文化角度探讨中国的数学机械化思想,阐述数学机械化的算法程序、发展过程和应用价值,着重分析了齐鲁文化的特点及其对数学机械化的影响等。 作者命名的“数学机械化”这一中心议题而陆续发表的一系列论文的综述。本书试图以构造性与算法化的方式来研究数学，使数学推理机械化以至于自动化，由此减轻繁琐的脑力劳动。 全书分成三个部分:第一部分考虑数学机械化的发展历史，特别强调在古代中国的发展历史。 内容截图：

代码 电子书不利于健康，请购买纸质书籍，版权归原作者所有，请支持正版。 目录: 第1章 导论 第2章 数学机械化思想的产生和发展 2.1 机械化、数学机械化及其特征 2.2 数学机械化思想的起源 2.3 数学机械化思想的产生和发展 第3章 中国传统数学机械化思想的基础 3.1 中国传统数学机械化的“硬件系统” 3.2 中国传统数学机械化的“软件系统” 第4章 经典《九章算术》中的数学机械化思想 4.1 分数运算法则中的机械化程序 4.2 “方程”之模型构造及演算程序 4.3 开方算法程序系统 4.4 从RMI原理看盈不足的构造及算法程序 4.5 盈不足算法的现代教育意义 第5章 齐鲁文化与数学家刘徽 5.1 刘徽对数学机械化程序的贡献 5.2 圆面积公式与圆周率究竟是怎样推求的 5.3 刘徽的几何构造与数学证明 5.4 “为数学而数学”——刘徽科学价值观 5.5 刘徽成长的思想文化背景 5.6 齐鲁文化造就了刘徽 第6章 贾宪的数学机械化思想 6.1 “贾宪三角”的构造程序和开高次方法 6.2 增乘开方法——累乘累加的机械化算法 6.3 贾宪数学机械化思想的地位 6.4 “贾宪三角”的现代教育价值 第7章 秦九韶对数学方法程序化的追求 7.1 对一般数字高次方程解法程序的完备 7.2 建立一般线性方程组严整规范的算法 7.3 秦九韶一次同余式组完整解法程序的建立 7.4 明代数学家黄宗宪对求乘率程序的改进 第8章 中国位置化代数与天元开方运算程序 8.1 中国位置化代数的确立 8.2 李冶对天元术一般化程度的提高 第9章 多元高次方程组解法程序的机械化 9.1 四元筹式布列的有向化方法 9.2 四元术的消法程序的机械化 9.3 对四元消法程序的几点讨论 9.4 一般高次方程组消法程序框图及意义 第10章 从筹算文化到珠算文化 10.1 中国的珠算文化的兴起 10.2 从数学的机械化特征看珠算及其发展 10.3 电子计算机是珠算模型的发展 第11章 儒家文化与数学机械化 11.1 “经世致用”与数学机械化 11.2 《周易》筮法对传统数学机械化程序的影响 11.3 《周易》与中国古算机械化的文化启示 第12章 中国传统思维与数学机械化 12.1 位置思维与数学机械化 12.2 构造性的思维方式与数学机械化 第13章 从中西文化传统比较看数学机械化 13.1 中西古代数学文化史的意义比较 13.2 中国传统数学机械化的文化价值观 13.3 评价模式和价值标准