高等数学证明题解题方法与技巧

本书是高等数学证明题习题解析。给出了历年考试中出现的证明题解析，以及相关类型习题的解析方法，旨在加强学生对证明题这一类型习题的解答能力。...

不要大惊小怪 一些“荒唐”观点的数学证明

本书包括14章，讲述了14个与常识相悖、但在数学上可予严格证明的观点。如：每月的13号比其他日子更可能是星期五；又如，一名网球高手在获得局点时拿下这局的概率竟比开局时还要低。通过证明这些似非而是的数学结论...

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

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

文化香奈儿 《一幅布景与五幕传奇》展览

诉讼证明原理研究

集的是作者近10年来对民事诉讼法中有关诉讼证明的研究论文。这些论文被分为5编一是民事诉讼证明的本质；

一般平衡态的理论与证明 英文

存在感 如何证明你来过，活过，爱过

证据证明力研究

本书是一本法学专著，是《法大诉讼法学博士文丛》之一。本书全面论述了证据证明力的基本范畴、评价模式、外部规则、程序保障、体系构建，在充分吸收国内外研究成果的基础上，以点带面，广开思路，运用历史、比较、实...

民事诉讼证明权研究

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

高阶逻辑辅助证明系统

本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...