数理逻辑 证明及其限度

本书针对对逻辑和数学基础有兴趣的的读者。相对于其他同类书,本书把逻辑与元数学联系在一起，更多地介绍语义部分并强调语法语义的统一。此外，本书的另一个重要目的是为了后继课程做准备，因此也是引学习者入数...

分角线相等的三角形 初等几何机器证明问题

职务犯罪案件证明规范及实例指导

书稿对刑事案件证明规范的相关问题以及贪污贿赂案件、渎职案件、国家机关工作人员利用职权实施的侵犯公民人身权利案件的证明规范等问题进行了全面而深刻地阐释。...

民事诉讼证明的方法论 以事实证明为中心

诉讼证明既是一种运用理性和逻辑进行思维的认识活动，也是一种实践活动；既从属于法律论证活动，又有自己独特的实践性特征；诉讼证明既是一种对话性、论辩性、交涉性的活动，又是一种说服性的活动，诉讼证明既有当事.....

科学证明炭的效能：炭是地球的救世主

用结果证明自己 做一流员工的不二法则

本书通过实例与理论的结合，从沟通、执行力等方面阐述了成为一名优秀的员工所需要具备的素质、能力和特质，以及如何用结果证明自己的价值。...

思考机器探案集 完美的不在场证明 第2版

证明达尔文进化和生物创造性的一个数学理论

证明标准问题研究

本书为目前国内专门研究诉讼证明标准的学术专著。本书运用历史分析方法、对比方法和实证的方法，对证明标准的内在特征和外在特征进行深入分析，同时本书并不仅仅拘泥于理论，还对现实中各种证明标准的弊端与缺陷...

程序正确性证明方法

本书主要介绍程序正确性证明的主要理论和方法。主要包括程序正确性的定义，程序正确性证明的发展历程，程序部分正确性证明的不变式断言法、子目标断言法和公理化方法，程序终止性证明的良序集方法和不动点方法，以...