大约有20,000项符合查询结果项。（搜索耗时：0.0170秒）
为您推荐： 几何定理机器证明的基本原理 挑战思维极限 勾股定理的365种证明 证明的故事 从勾股定理到现代数学 几何最著名24个定理证明及应用 几何定理的机械化证明 分析基础机器证明系统
-
几何定理机器证明的几何不变量方法
张景中，高小山，周咸青著2015 年出版318 页ISBN：9787030440662用计算机自动证明某一类型几何定理，甚至某一种几何全部定理的原理和方法。从理论角度看，几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤，才能编制程序并在计算机上实现。可用机器证明的几何定...
-
素数分布定理与哥德巴赫猜想的证明
谢必成著2015 年出版158 页ISBN：97875647333842000年夏天，作者发现了素数一系列从始至终（多重地、彻底地）按同余均匀分布的规律性。作者能证明这些，是取得了又一系列重大的发现（在2005年冬天）：在数轴上，随着各种奇合数不断被抽出，所有剩下的奇数分成各种“......
-
-
清扫机器人咕咚 图形与几何·立体图形
（韩）杨承炫著；（韩）宋香兰绘；俱可欣译2015 年出版31 页ISBN：9787122212948波罗的爸爸是一个伟大的科学家，能研制出各种各样的机器人。这天，波罗偷偷地来到爸爸的实验室，看到了各种各样的机器人，其中有个爱清扫的机器人，总是会把不同的东西“咕咚”一下吸到自己肚子里。在有趣的故事里，.....
-
工业机器人应用案例入门
余任冲编著2015 年出版308 页ISBN：9787121266157“工业机器人应用案例入门”一书主要介绍了目前五种机器人（三菱、爱普生、ABB、库卡、FANUC）的使用方法，通过任务式的教学方法，让读者能掌握每种机器人的基本使用方法。教学应用案例从简到繁，读者学完本书基本上...
-
管理学智慧 为人的定理
张智光著2015 年出版136 页ISBN：9787305147074如何做人、做事、做官？张智光教授用管理科学的观点、简洁生动的语言和富有哲理的思考深度诠释了为人、为官的“定理”。“定理”是一种科学文体，本书以精炼准确的语言描述被理论证明了的客观事物的法则和规律...
-
管理学智慧 为官的定理
张智光著2015 年出版214 页ISBN：9787305147067如何做人、做事、做官？张智光教授用管理科学的观点、简洁生动的语言和富有哲理的思考深度诠释了为人、为官的“定理”。“定理”是一种科学文体，本书以精炼准确的语言描述被理论证明了的客观事物的法则和规律...
-
民事诉讼证明的方法论 以事实证明为中心
常宝莲著2015 年出版351 页ISBN：9787561553992诉讼证明既是一种运用理性和逻辑进行思维的认识活动，也是一种实践活动；既从属于法律论证活动，又有自己独特的实践性特征；诉讼证明既是一种对话性、论辩性、交涉性的活动，又是一种说服性的活动，诉讼证明既有当事.....
-
拉格朗日中值定理 从一道北京高考试题的解法谈起
佩捷主编2015 年出版124 页ISBN：9787560355283本书从一道北京高考试题的解法谈起，详细介绍了拉格朗日中值定理的意义、应用、证明及推广。读者可以较全面地了解这一类问题的实质，并且还可以认识到它在其他学科中的应用。本书内容全面，知识点丰富。本书适合...
-
数学分析中的重要定理
杨艳萍，明清河著2015 年出版344 页ISBN：9787121255625本书是为学习数学分析课程的学生、从事数学分析教学与研究的读者而编写的。全书共分为七章，系统地把数学分析中的重要定理总结和归纳为微积分基本定理、微分中值定理、积分中值定理、积分关系定理、极限关系...