大约有160,696项符合查询结果项。（搜索耗时：0.3375秒）
为您推荐： 几何定理机器证明的案例 101个世界最著名的未解之谜 图利的猫 史上最著名的116个思想悖论 几何定理机器证明的基本原理 哲学与生活丛书 图利的猫 史上最著名的116个思想悖论 挑战思维极限 勾股定理的365种证明
-
叶兆言散文精选 婚姻证明之痒
叶兆言著2018 年出版259 页ISBN：9787209113687叶兆言先生的这套散文集大致从“自传”“亲友”“见闻”“阅读”“杂感”五个方面进行收集整理。其中，《婚姻证明之痒》侧重于“杂谈”，收录叶兆言先生关于生活见闻，周遭琐事的个人见解，有回忆，有感触，有答疑，......
-
-
证明力判定论 以刑事证据为视角
金钟著2010 年出版263 页ISBN：9787565301216本书是以刑事证据证明力判定问题为研究对象的法学理论专著。本书全面论述了刑事证据证明力判定的概念、特点、历史、原则、规则、方法，并在此基础上提炼出一系列具体应用规则和应对实务疑难问题的对策。...
-
-
素数分布方程理论与证明
刘长华著2017 年出版189 页ISBN：9787533774080本书是一本数学方面的学术专著。作者提出素数分布理论，总结、归纳了素数分布方程的特征与性质，证明了在八个等差数列中，素数的个数都是近似相等的，这一成果改进了埃氏筛法，建立了偶数的15种类型64个方程，为孪生.....
-
高中数理化生公式定理大全
朱建廉主编2011 年出版528 页ISBN：9787305088841本书将高中数学、化学、物理、生物四门课程的主要知识点和公式、定理分别列出，条理清楚，便于查询。并配以基础题、提高题、高考题，供学生举一反三。本书内容紧密贴合教材，强调知识的综合运用能力，注意解题方法的...
-
-
-
高阶逻辑辅助证明系统
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
-
费马大定理：解开一个古代数学难题的秘密
（美）阿米尔·艾克塞尔著2008 年出版84 页ISBN：9787543935518本书通过费马定理的介绍，对古老的数学难题做了深入的剖析，对了解费马定理，以及对古老的数学难题的解析均有具体指导意义。