2014 年出版650 页ISBN：9787100100632
本书分上下两卷，共九章：司法裁判场域中的事实、为什么需要事实、需要什么样的事实、争诉事实为什么需要证明、事实证明的可能与本质、事实证明的有效性、事实命题学说述评、证明标准与两种真实、四种哲学观点...
2013 年出版227 页ISBN：9787513024686
长期以来，我国的刑事司法中均存在“重实体、轻程序”的倾向，使我们制度性地忽视了程序在阻却权力违法方面的功能及相关的制度建构。本书运用经济学与社会学的分析方法研究了刑事程序性证明的发生机制，并运用类...
从切比雪夫到爱尔特希 上 素数定理的初等证明 1 the elementary proof of the prime number theorem
2013 年出版221 页ISBN：9787560339177
本书主要介绍素数定理的七个初等证明以及与之有关的切比雪夫不等式、Mertens定理、素数定理的等价命题、Riemann Zeta函数、几个Tanber型定理、L空间中的Fourier变化、Wiener定理、素数定理的推广等。通过...
2013 年出版202 页ISBN：9787313095800
本书是高等数学证明题习题解析。给出了历年考试中出现的证明题解析，以及相关类型习题的解析方法，旨在加强学生对证明题这一类型习题的解答能力。...
2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
2014 年出版182 页ISBN：9787807691624
本书的作者刘子健是一位脑瘫后遗症患者，从看病到学习文化知识，他没有一天放弃过自己。他在金融方面有着扎实的专业知识功底和优秀的实战业绩，2011年参加东方第一财经《股市天天向上》的比赛，获得了全国十强的好...
2009 年出版282 页ISBN：9787561533031
本书是研究民事诉讼中的证据及证据规则的学术专著。全书共八章，系统阐述了证据的证明力，证据的种类，证据的收集、调查与保全，证明对象，证明责任以及证明标准等。...
2009 年出版471 页ISBN：9787503694622
本书根据现代法治原理，运用民事诉讼原理，对民事诉讼证明问题做出体系阐释和专项研讨，并对我国现行民事诉讼证明制度及其运作状况做出评析且提出建言。...
2009 年出版479 页ISBN：9787562035893
本书的研究范围主要包括：证明标准的概念、特征、目的、地位和宗旨；各种证据制度及其证明标准；域外证据制度及其证明标准；我国证明标准的历史发展和现状；我国证明标准的研究情况综述；我国证明标准的理论基础；我国三...
