野性的证明

森村诚一，1933年生于东京郊区的崎玉县，青山学院大学英美系毕业后，在新大谷等几家五星级饭店从事服务台管理工作。1967年以《大都会》走上文坛，成名作《高层的死角》获1969年“江户川乱步文学奖”，《腐蚀的构造》...

初等不等式的证明方法

本书介绍初等不等式证明中的有效方法，共分15章，选取300余个国内外初等不等式的典型问题，以解析的方法解题，并对部分问题加以拓展，不少例题都配有较大篇幅的注解。本书适合相关专业师生阅读和使用，也可供专业人员....

数学四色问题证明

本书详细地介绍了四色问题的证明方法，即在证明了三次平面图形成定理、边二色回路定理和面二色通路定理的基础上，进而证明了四色问题成立，这些证明的思路和方法，对于启发人们数学思考的多样化和推动基础数学研究...

民事诉讼证明妨碍制度研究

本书从民事诉讼证明妨碍制度的内涵与法理出发，通过对民事诉讼证明妨碍制度的比较法考察，分析了民事诉讼证明妨碍制度的构成要件，并阐述了民事诉讼证明妨碍制度的法律效果，为我国民事诉讼证明妨碍制度的构建提供...

民事诉讼证明权研究

民事诉讼证明权是一种内涵极其丰富的权利，是一种保障其他权利实现的权利。在一些国家和地区的民事诉讼中，它具有宪法地位，在立法上有充分的规定，在实践中有可靠的保障。但是，在我国，不仅理论研究尚浅，而且立法......

数理逻辑 证明及其限度

本书针对对逻辑和数学基础有兴趣的的读者。相对于其他同类书,本书把逻辑与元数学联系在一起，更多地介绍语义部分并强调语法语义的统一。此外，本书的另一个重要目的是为了后继课程做准备，因此也是引学习者入数...

分角线相等的三角形 初等几何机器证明问题

职务犯罪案件证明规范及实例指导

书稿对刑事案件证明规范的相关问题以及贪污贿赂案件、渎职案件、国家机关工作人员利用职权实施的侵犯公民人身权利案件的证明规范等问题进行了全面而深刻地阐释。...

民事诉讼证明的方法论 以事实证明为中心

诉讼证明既是一种运用理性和逻辑进行思维的认识活动，也是一种实践活动；既从属于法律论证活动，又有自己独特的实践性特征；诉讼证明既是一种对话性、论辩性、交涉性的活动，又是一种说服性的活动，诉讼证明既有当事.....

科学证明炭的效能：炭是地球的救世主