证明标准问题研究

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

程序正确性证明方法

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

民事诉讼中的证据和证明

本书是研究民事诉讼中的证据及证据规则的学术专著。全书共八章，系统阐述了证据的证明力，证据的种类，证据的收集、调查与保全，证明对象，证明责任以及证明标准等。...

高中数学讲公式定理讲练双拼

本书紧扣新课标教材，涵盖高中阶段不可不知数学定理，并选配经典例题，以近年高考题为主，附注精彩点评，后附答案，全面突破高中数学公式定理。...

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

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

泽肯多夫定理

本书从数学奥林匹克中的几道斐波那契数列试题解法谈起，介绍了泽肯多夫定理，给出了该定理的证明及应用，然后对斐波那契切数列中的若干初等问题进行了举例与解答，讲授了斐波那契数列产生的学科背景，和广泛的应用，.....

高中数理化生公式定理大全

本书将高中课标规定的代数、几何、物理、化学、生物等理科的定理、公式进行了梳理和整理，旨在帮助学生纵向、横向多方式理解和记忆这些内容，更利于日常查找。...

多面形的欧拉定理和闭曲面的拓扑分类

高中数理化公式定理随身备 高中版

强化工具书的查阅功能，兼具教辅书的提分效力。

费马最终定理

青春题材。27岁的河西白天在书店当签约职员，晚上在居酒屋打工，在阅读过关于费马最终定理的书籍之后，开始认真考虑进入大学研读数学。这个想法却遭到他的朋友、客人香织的反对。为了让香织也能明白数学的魅力，河...