大约有513,735项符合查询结果项。(搜索耗时:0.5971秒)
为您推荐:
几何定理机器证明的基本原理
挑战思维极限 勾股定理的365种证明
证明的故事 从勾股定理到现代数学
几何最著名24个定理证明及应用
几何定理的机械化证明
分析基础机器证明系统
-
-
-
(苏)克立毕西(П.В.Крепиш)撰;孙怀仁译1953 年出版183 页ISBN:
-
-
邱福军著2012 年出版303 页ISBN:9787565307867
本书是以有罪判决证明标准为主线首先搞清楚大陆法系、英美法系及我国刑事证明标准的历史沿革、产生原因、实践把握等客观情况。然后以历史研究的方法、比较研究的方法、实证研究的方法及案例研究的方法对我...
-
李玉新,鲍小宁编著2007 年出版362 页ISBN:9787801719768
本书收录初中教材中涉及的概念、定理、公式等,有助于学生系统地掌握所学知识。
-
李玉新,鲍小宁编著2007 年出版371 页ISBN:9787801719768
本书收录初中教材中涉及的概念、定理、公式等,有助于学生系统地掌握所学知识。
-
(苏)亚历山大罗夫(П.С.Александров)著;江嘉禾译1959 年出版112 页ISBN:13031·1020
-
刘培杰数学工作室编2017 年出版175 页ISBN:9787560360911
本书主要介绍了毕克定理、毕克定理和黄金比的无理性、格点多边形和数、闵嗣鹤论格点多边形的面积公式、空间格点三角形的面积、从施瓦兹到毕克到阿尔弗斯等内容。本书适合高中生、大学生及数学爱好者广泛阅...
-
刘培杰数学工作室编译;王梓坤丛书主编2018 年出版376 页ISBN:9787560366883
本书详细地介绍了有关Ramsay的基本理论,并论述了组合学家、图论学家、概率学家眼中的Ramsay定理,最后讨论的Ramsay定理的应用和未来。本书可供从事这一数学分支的相关学科的数学工作者、大学生以及数学爱好者...