证明函数式相等的方法

本书以通俗的语言、简洁流畅的叙述，针对初等数学中涉及的各种证明函数式相等的方法，分别介绍了三角函数等式证明的方法及非三角函数等式证明的方法。前者包括归义法、变角法、变次法、变名法、裂项相消法、特...

他们曾嘲笑伽利略 伟大的发明家如何证明批评者错了

《他们曾经嘲笑伽利略——伟大的发明家是如何证明他们的批评者是错误的》叙说了许多发明和发现背后的故事。从无线电到计算机，从呼啦圈到星际旅行，它们中的每一个，最初由梦想家提出的时候，都是看似不可能的。但...

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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