该窗口仅用于预约该书电子版,如后续有匹配资源将进行回复并报价。(扫描页面二维码添加微信好友代寻更高效)
张寅生, 著
出版社:国防工业出版社
年代:2015
定价:52.0
本书阐述数学证明的基本原理,主要包括:证明方法;证明理论(关于证明的定理);专门知识的表示和转换方法(实现几何、代数等专业领域命题证明的通用方法和定理)。作者对数学证明的普遍性问题给与阐述,力图解决:什么是数学证明,证明的通用方法是什么,关于数学证明取得了哪些重要认识(定理或命题)。
证明方法与理论是国防工业出版社于2015.11出版的中图分类号为 O141.2 的主题关于 证明论-研究 的书籍。
萧文强, 著
(美) 蔡汀, 著
(英) 波斯特, 著
肖忆雪, 张锰霖, 卢玮, 著
陈为钢, 张少林, 著
卞建林, 主编
王思聪, 编著
何家弘, 著