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

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

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

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

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

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

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

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

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

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

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

人性的证明

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

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

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

驰名商标认定和保护规定 集体商标、证明商标注册和管理办法 马德里商标国际注册实施办法

新修订的《中华人民共和国道路交通安全法》对常见道路交通违章处罚加大了力度。使我国道路交通法规更趋完善。

FARMAT'S LAST THEOREM证明并7进复平面数阵求解素数

本书通过对恒差数阵中基素数倍数、素数与非基素数倍数并存的数位循环周期形成复平面数阵数理的研究，进一步证明法国数学家高斯提出的“复平面猜想” 的正确性，阐明了运用复平面破解素数数位排列的数理，开拓复...