大约有507,957项符合查询结果项。（搜索耗时：0.5935秒）
为您推荐： 几何定理机器证明的案例 几何定理机器证明的基本原理 挑战思维极限 勾股定理的365种证明 证明的故事 从勾股定理到现代数学 几何最著名24个定理证明及应用 几何证明
-
-
-
靠谱心理学 怎样证明你是最靠谱的！
朱文波，冯俊杰著2014 年出版244 页ISBN：9787553443782聚焦现代人在社会生活中最需要面对的问题，著名作家冯俊杰精选热门案例，联手著名心理专家朱文波，为大众解读日常最容易陷入的心理学误区。本书倡导科学实证心理学，致力于普及靠谱的心理学，澄清社会流传的各种“非...
-
符号逻辑 语法语义和证明
（美）大卫·W.安格勒著；陈素艳，张绣蕊译；魏屹东审校2016 年出版333 页ISBN：9787030480392本书从逻辑学的两个核心概念“命题”和“论证”出发，论述了符号逻辑学的两套推理（命题逻辑和谓词逻辑）使用的两种规范语言，以及相应的推导规则。命题逻辑系统具有可判定性，真值表方法和真值树方法都能够为命题、...
-
刑事程序性证明理论系统研究
石浩旭著2013 年出版227 页ISBN：9787513024686长期以来，我国的刑事司法中均存在“重实体、轻程序”的倾向，使我们制度性地忽视了程序在阻却权力违法方面的功能及相关的制度建构。本书运用经济学与社会学的分析方法研究了刑事程序性证明的发生机制，并运用类...
-
-
费马大定理 一个困惑了世间智者358年的谜 002
（英）辛格著；薛密译2013 年出版262 页ISBN：9787549526178本书叙述了历代数学家寻求费马大定理证明的进程。从古希腊的毕达哥拉斯定理说起，每一个重要的概念、阶段性成果，都成为作者讲述数学知识的契机。书中两条线索互相交织，一条是定理证明者怀尔斯的成长和工作进程...
-
Thue定理 素数判定与大数分解 2015数学基金
孙琦，旷京华编著2018 年出版68 页ISBN：9787560373607本书主要介绍了Thue定理的相关理论及应用，阐明了它在纯数学研究和应用数学研究中的地位及在当代科学中的实用价值。全书内容丰富，论述严谨。论述深入浅出，简明生动，读后有益于提高数学修养，开阔知识视野。本书可...
-
广义Tellegen定理与电力系统潮流计算
关维国等著2015 年出版126 页ISBN：9787551710275本书较系统地介绍了关于广义Tellgen定理的理论进展以及该定理在电力系统潮流计算中的应用研究成果。主要内容：广义Tellegen定理及相关定理；广义Tellegen定理与电力系统牛顿-拉夫逊法潮流计算；广义Tellegen定理...
-
玩不够的数学 算术与几何的妙趣
（法）让·保罗·德拉耶著；路遥译2015 年出版235 页ISBN：9787115405647本书展现了数学在日常生活、游戏、计算机技术、设计等领域的丰富创意，包含对悖论图形、七巧板、益智积木和魔方等游戏的全新剖析，对切披萨饼和悬挂画框等日常问题的数学演绎，揭示了隐藏在字典和文学作品中的数...