大约有9,269项符合查询结果项。（搜索耗时：0.1045秒）
为您推荐： 绝对不在场证明系列1 2全 绝对不在场证明 不在场证明 破解 诡计 不在场 东亚文化与哲学 韩炳哲作品第2辑 500个目击者 绝对不在场证明 自选500个目击者 绝对不在场证明
-
交互式定理证明与程序开发 Coq归纳构造演算的艺术
YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
-
要件事实理论视角下民事案件证明责任分配实证分析
段文波著2014 年出版245 页ISBN：9787561552704本书以原理、案例、实证分析的模式，重点探讨了各类民事纠纷中的证明责任分配问题。主要包括知识产权纠纷中的证明责任分配实证研究、侵权纠纷中的证明责任分配实证研究、合同纠纷中的证明责任分配实证研究等...
-
不等式的分拆降维幂方法与可读证明
陈胜利著2016 年出版465 页ISBN：9787560357973本书系统地总结了作者及其合作者近十年来在不等式数学机械化领域的一系列研究成果及其软件（SCHUE01）实现。把本书与SCHUR01结合起来阅读使用可使读者对于不等式的机器证明过程及其理论依据有更为深入的理解。...
-
-
几何定理机器证明的几何不变量方法
张景中，高小山，周咸青著2015 年出版318 页ISBN：9787030440662用计算机自动证明某一类型几何定理，甚至某一种几何全部定理的原理和方法。从理论角度看，几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤，才能编制程序并在计算机上实现。可用机器证明的几何定...
-
刑事诉讼严格证明探究
罗海敏著2010 年出版212 页ISBN：9787301180631严格证明与自由证明的理论于20世纪20年代产生于德国，其后传至日本、我国台湾地区等地，成为刑事诉讼证明理论的重要组成部分。我国传统上属于大陆法系国家，但并没有形成严格证明的相关理论，也不存在就不同待证事...
-
有趣的哲学启蒙书 芝诺 推理与证明的故事
（韩）吴菜焕著2011 年出版120 页ISBN：7546119366金英俊，明智中学二年级学生，大名鼎鼎的“悖论队长”。可谁知道他以前却是全校有名的“电脑游戏队长”。而这一切都是一场电脑故障引发出来的。在电脑发生逻辑谬误之后，金英俊和弟弟柱浩回到了古希腊，在街头认识...
-
正奇数为素数的判断方程 哥德巴赫猜想的证明
乔鸿彬，乔应旭著2010 年出版106 页ISBN：9787502452810本书稿共5章。首先探讨、设置和寻找证明哥德巴赫猜想所需要的理论知识和理想研究数段，给出了正奇数为素数的必要条件和判断方程，接着提出了适合研究哥德巴赫猜想的数学模型--偶数等分对应模型，猜想的证明方法...
-
不等式机器证明与自动发现
杨路，夏壁灿著2008 年出版226 页ISBN：9787030207210本书主要介绍作者及其合作者近10年来在不等式机器证明与自动发现方面的工作，兼顾经典结果和方法。全书共分七章，分别介绍和论述：多项式的伪除与结式；相对单纯分解；多项式的实根；常系数半代数系统的实解隔离；参......
-
死刑案件证明标准研究
陈虎著2015 年出版186 页ISBN：9787513034630我国法定证明标准十分严格，但是在实践中却经常出现留有余地的判决，证明标准的表达与实践之间呈现出一种悖反关系。本书研究了留有余地判决方式产生的原因，并针对理论界修改死刑案件证明标准的几种思路进行了细...