当前位置：首页 > TAG信息列表 > 证明
证明
-
-
-
刑事程序性证明理论系统研究
石浩旭著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本书是高等数学证明题习题解析。给出了历年考试中出现的证明题解析，以及相关类型习题的解析方法，旨在加强学生对证明题这一类型习题的解答能力。...
-
高阶逻辑辅助证明系统
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
-
逆光赢家 刘子健的青春证明
刘子健著2014 年出版182 页ISBN：9787807691624本书的作者刘子健是一位脑瘫后遗症患者，从看病到学习文化知识，他没有一天放弃过自己。他在金融方面有着扎实的专业知识功底和优秀的实战业绩，2011年参加东方第一财经《股市天天向上》的比赛，获得了全国十强的好...
-
-
-
民事诉讼中的证据和证明
郭小冬，姜建兴著2009 年出版282 页ISBN：9787561533031本书是研究民事诉讼中的证据及证据规则的学术专著。全书共八章，系统阐述了证据的证明力，证据的种类，证据的收集、调查与保全，证明对象，证明责任以及证明标准等。...
-
正当程序中的实现真实 民事诉讼证明法理之现代阐释
邵明著2009 年出版471 页ISBN：9787503694622本书根据现代法治原理，运用民事诉讼原理，对民事诉讼证明问题做出体系阐释和专项研讨，并对我国现行民事诉讼证明制度及其运作状况做出评析且提出建言。...
-
-
-
-
-
-
-
-
-
