证明评价原理 兼及对民事诉讼方法论的探讨

证明评价是法官确定待证事实并通过对当事人证明活动的检验而对待证事实之存在与否做出判断的活动，此一概念由德国学者提出，我国学界在此方面研究不多。民事诉讼中的证明评价问题涉及四个方面的内容：证明评价主...

数学天书中的证明：35个著名的数学问题

本书介绍了35个著名数学问题的极富创造性和独具匠心的证明。其中有些证明不仅想法奇特、构思精巧，作为一个整体更是天衣无缝。难怪，西方有些虔诚的数学家将这类杰作比喻为上帝的创造。这不是一本教科书，也不是...

数学与现代科学技术丛书 可证明安全算法与协议

本书以作者及其课题组多年的研究成果为主体，结合国内外学者在可证明安全算法与协议方面的代表性成果，系统介绍了可证明安全性理论和技术，主要内容包括可证明安全理论的基本思想及相关的数学、密码学基础（第一部...

数学天书中的证明 原书第4版 英文

作为一门历史悠久的学问，数学有她自身的文化和美学，就像文学和艺术一样。一方面，数学家们在努力开拓新领域、解决老问题；另一方面他们也在不断地从不同的角度反复学习、理解和欣赏前辈们的工作。的确，数学中有许...

诉讼认识 证明与真实 以刑事诉讼为主要研究对象

本书试图探讨的是诉讼中有关真实的几个至关重要的问题：在诉讼尤其是刑事诉讼中，是否应当追求真实、能否追求到真实以及能否以真实作为认定事实标准。解决这些问题，涉及一系列基本概念和理论。所以，在探讨以上三...

计算机密码学 通用方案构造及安全性证明

本书阐述计算机密码方案与密码协议的安全性证明理论，包括基于计算复杂度概念的计算密码学方法和基于符号演算的形式分析与验证方法。安全性证明是一个技术复杂而思想活跃的领域，作者并不打算对此做面面俱到式...

证明的教学 从幼儿园到大学的视角 中小学数学教育论著译丛

《证明的教学：从幼儿园到大学的视角》，它从一个广阔的视角阐述了数学证明的涵义，为大家提供了促进学生能力发展的具体做法，也提供了激发学生进行数学思考的机会，展现了证明教学的发展趋势、课堂使用的数学问题和...

消失的天才：完美的数学证明、舍弃的百万美元大奖，一位破解百年难题的数学家神秘遁逃的故事

人性的证明

本书讲述了红极一时的家庭问题专家八杉恭子为了掩盖自己早年和一个美国黑人同居的经历，保住自己和丈夫的地位及名誉，竟然向千里迢迢从美国来寻母的混血儿子约翰尼下了毒手。儿子对母亲的眷恋与失去母爱之后的...

非法证据排除的证明问题研究

本书的研究对象限定于非法证据排除规则中的证据规则，即审查证据合法性程序中遵循的证据能力限制规则以及包括证明责任分配和证明标准设定的证明机制。对于非法证据的内涵和外延、相应的排除方式以及排除非法...