本本书屋

 本本书屋 logo

数学机械化 2024 pdf epub mobi 电子书

数学机械化
☆☆☆☆☆
简体网页||繁体网页

数学机械化 2024 pdf epub mobi 电子书 著者简介

数学机械化 电子书 图书目录

下载链接在页面底部


点击这里下载
    
linkedin mastodon messenger pinterest reddit telegram viber vkontakte whatsapp 复制链接
想要找书就要到 本本书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2024-05-13

数学机械化 2024 pdf epub mobi 电子书

数学机械化 2024 pdf epub mobi 电子书

数学机械化 2024 pdf epub mobi 电子书


喜欢 数学机械化 电子书 的读者还喜欢


数学机械化 电子书 读后感

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

类似图书 点击查看全场最低价
出版者:科学出版社
作者:吴文俊
出品人:
页数:380
译者:
出版时间:2003-3
价格:58.00元
装帧:精装
isbn号码:9787030107640
丛书系列:数学机械化丛书

图书标签: 数学  数学机械化  吴文俊  数理逻辑  自动推理  机器证明  数学基础  自然科学   

数学机械化 2024 pdf epub mobi 电子书 图书描述

《数学机械化》是围绕作者命名的"数学机械化"这一中心议题而陆续发表的一系列论文的综述。《数学机械化》试图以构造性与算法化的方式来研究数学，使数学推理机械化以至于自动化，由此减轻繁琐的脑力劳动。《数学机械化》分成三个部分:第一部分考虑数学机械化的发展历史，特别强调在古代中国的发展历史。第二部分给出求解多项式方程组所依据的基本原理与特征列方法。作为这一方法的基础，《数学机械化》还论述了构造性代数几何中的若干问题。第三部分给出了特征列方法在几何定理证明与发现、机器人、天体力学、全局优化和计算机辅助设计等领域中的应用。

数学机械化 2024 pdf epub mobi 电子书
数学机械化 2024 pdf epub mobi 电子书
想要找书就要到 本本书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

数学机械化 2024 pdf epub mobi 用户评价

评分☆☆☆☆☆

不错的书，对古代中国的数学思想有了更深的体会。但是学术应该是去民族话的，整个机械化的思想还是非常值得借鉴的

评分☆☆☆☆☆

不错的书，对古代中国的数学思想有了更深的体会。但是学术应该是去民族话的，整个机械化的思想还是非常值得借鉴的

评分☆☆☆☆☆

吴文俊先生说过，从事数学研究，要有良好的思维方式，在思想观念上要有所突破。

评分☆☆☆☆☆

不错的书，对古代中国的数学思想有了更深的体会。但是学术应该是去民族话的，整个机械化的思想还是非常值得借鉴的

评分☆☆☆☆☆

不错的书，对古代中国的数学思想有了更深的体会。但是学术应该是去民族话的，整个机械化的思想还是非常值得借鉴的

数学机械化 2024 pdf epub mobi 电子书

分享链接

linkedin mastodon messenger pinterest reddit telegram viber vkontakte whatsapp 复制链接




相关图书



服务条款
联系我们
关于我们
隐私政策

本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等

友情链接

中国国家图书馆
国立台湾图书馆
美国国会图书馆
开放图书馆 openlibrary.org

© 2024 onlinetoolsland.com All Rights Reserved. 本本书屋 版权所有