方程求解与机器证明 基于MMP的问题求解

证明方法与理论

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

中学数学学习丛书之一 如何证明几何题

证据证明力研究

本书是一本法学专著，是《法大诉讼法学博士文丛》之一。本书全面论述了证据证明力的基本范畴、评价模式、外部规则、程序保障、体系构建，在充分吸收国内外研究成果的基础上，以点带面，广开思路，运用历史、比较、实...

证明标准研究 以民事诉讼为中心

本书以民事诉讼为中心，对证明标准问题进行了阐述，分析了证明标准的内涵、裁判因素等。

中意刑事诉讼证明制度比较

本书是国内首部关于中意刑事诉讼证明制度方面的法律专著，提出一些作者研究的新观点，具有一定学术价值，已获得上海市哲学社会科学出版基金审定通过。...

司法证明原论

本书分上下两卷，共九章：司法裁判场域中的事实、为什么需要事实、需要什么样的事实、争诉事实为什么需要证明、事实证明的可能与本质、事实证明的有效性、事实命题学说述评、证明标准与两种真实、四种哲学观点...

刑事证明标准研究

本书是以有罪判决证明标准为主线首先搞清楚大陆法系、英美法系及我国刑事证明标准的历史沿革、产生原因、实践把握等客观情况。然后以历史研究的方法、比较研究的方法、实证研究的方法及案例研究的方法对我...

证明与反驳 数学发现的逻辑

本书主要研究数学方法论问题。数学知识如何增长？是靠一成不变地增加千真万确的定理的数目，还是按照证明与反驳的逻辑不断改进等。

不等式的证明与解不等式

本书为中学生教辅用书。