数学机械化 pdf epub mobi txt 电子书 下载 2024
简体网页||繁体网页
图书标签: 数学 数学机械化 吴文俊 数理逻辑 自动推理 机器证明 数学基础 自然科学
喜欢 数学机械化 的读者还喜欢
-
不等式 pdf epub mobi txt 电子书 下载 -
数论教程 pdf epub mobi txt 电子书 下载
-
数学问题 pdf epub mobi txt 电子书 下载
-
微分几何讲义 pdf epub mobi txt 电子书 下载
-
数学的统一性 pdf epub mobi txt 电子书 下载
-
数论 pdf epub mobi txt 电子书 下载
-
数学及其历史 pdf epub mobi txt 电子书 下载
-
经典力学的数学方法 pdf epub mobi txt 电子书 下载
-
图论导引 pdf epub mobi txt 电子书 下载
-
算术基础 pdf epub mobi txt 电子书 下载
点击这里下载
发表于2024-11-21
数学机械化 epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2024
数学机械化 epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2024
数学机械化 pdf epub mobi txt 电子书 下载 2024
图书描述
《数学机械化》是围绕作者命名的"数学机械化"这一中心议题而陆续发表的一系列论文的综述。《数学机械化》试图以构造性与算法化的方式来研究数学，使数学推理机械化以至于自动化，由此减轻繁琐的脑力劳动。《数学机械化》分成三个部分:第一部分考虑数学机械化的发展历史，特别强调在古代中国的发展历史。第二部分给出求解多项式方程组所依据的基本原理与特征列方法。作为这一方法的基础，《数学机械化》还论述了构造性代数几何中的若干问题。第三部分给出了特征列方法在几何定理证明与发现、机器人、天体力学、全局优化和计算机辅助设计等领域中的应用。
著者简介
图书目录
数学机械化 pdf epub mobi txt 电子书 下载
用户评价
不错的书，对古代中国的数学思想有了更深的体会。但是学术应该是去民族话的，整个机械化的思想还是非常值得借鉴的
评分不错的书，对古代中国的数学思想有了更深的体会。但是学术应该是去民族话的，整个机械化的思想还是非常值得借鉴的
评分不错的书，对古代中国的数学思想有了更深的体会。但是学术应该是去民族话的，整个机械化的思想还是非常值得借鉴的
评分吴文俊先生说过，从事数学研究，要有良好的思维方式，在思想观念上要有所突破。
评分吴文俊先生说过，从事数学研究，要有良好的思维方式，在思想观念上要有所突破。
读后感
评分
评分
评分
评分
数学机械化 pdf epub mobi txt 电子书 下载 2024
分享链接
相关图书
-
中医基础理论 pdf epub mobi txt 电子书 下载
-
剑桥世界人类疾病史 pdf epub mobi txt 电子书 下载
-
中国科学技术史·第五卷第六分册 军事技术：抛射武器和攻守城技术 pdf epub mobi txt 电子书 下载
-
第三次数学危机 pdf epub mobi txt 电子书 下载
-
不可思议的物理 pdf epub mobi txt 电子书 下载
-
趣味数学三百题 pdf epub mobi txt 电子书 下载
-
近世代数三百题 pdf epub mobi txt 电子书 下载
-
制冷原理与技术 pdf epub mobi txt 电子书 下载
-
中国奇技淫巧 pdf epub mobi txt 电子书 下载
-
代数特征值问题 pdf epub mobi txt 电子书 下载
-
千金食治 食疗方 pdf epub mobi txt 电子书 下载
-
中国数学史大系(1) pdf epub mobi txt 电子书 下载
-
剑桥插图医学史 pdf epub mobi txt 电子书 下载
-
自然科学史 pdf epub mobi txt 电子书 下载
-
细胞培养 pdf epub mobi txt 电子书 下载
-
细节决定健康 pdf epub mobi txt 电子书 下载
-
几何学在文明中所扮演的角色 pdf epub mobi txt 电子书 下载
-
马克思数学手稿 pdf epub mobi txt 电子书 下载
-
妊娠 pdf epub mobi txt 电子书 下载
-
医学史十五讲 pdf epub mobi txt 电子书 下载
