证明方法与理论

本书阐述数学证明的基本原理，主要包括：证明方法；证明理论（关于证明的定理）；专门知识的表示和转换方法（实现几何、代数等专业领域命题证明的通用方法和定理）。作者对数学证明的普遍性问题给与阐述，力图解决：......

高等数学证明题解题方法与技巧

本书是高等数学证明题习题解析。给出了历年考试中出现的证明题解析，以及相关类型习题的解析方法，旨在加强学生对证明题这一类型习题的解答能力。...

数学奥林匹克不等式证明方法和技巧 下

数学奥林匹克不等式证明方法和技巧 上

刑事证明方法与技巧

本书理论联系实际，总结了作者从事刑事办案工作二十多年来运用“证据联结点”解决疑难复杂案件独特、成功的实践经验。书中归纳了司法实践中大量的刑事证明技巧，并通过近200个生动的司法实例予以阐述，是广大司...

司法证明方法与推定规则

本书包括司法证明的难题、司法证明的历史、司法证明的方法、司法证明的规则、司法证明的责任、司法证明的标准、推定概念的解析、推定种类的重述、推定规则的范式、推定规则的创设、推定规则的适用、司法错...

解不等式及证明不等式的方法

本书以通俗的语言、简洁流畅的叙述，针对初等数学中涉及的各种解不等式及证明不等式的方法，分别介绍了解不等式（组）的方法及证明不等式的方法。解不等式的方法包括等价法、交集法、分区法、同底法、定义法、平方...

裁判思维与证明方法

本书将理论研究与审判实践结合，形成一套操作性强的审判指导方法。研究证明对象确定的具体程序，包括如何从诉讼标的（诉讼请求）中推导出当事人之间假设存在的某种法律关系；如何从假设存在的某种权利义务法律关系找...

程序正确性证明方法

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

刑事证明方法与技巧 修订版

本书是综合证据理论与证据运用实践的应用型著作。本书中提出了一种学说，介绍了三种方法，阐释了二个法则，总结了多条技巧，对促进司法工作者尽快掌握刑事证明技巧，保障办案成功具有很大帮助。...