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

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

世界著名三角学经典著作钩沉 平面三角卷 1

本书共分四章，分别为第一章引论，第二章三角函数的几何理论，第三章加法以定理及其推论，第四章反三角函数。

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

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

皮书系列 长三角蓝皮书 2016年创新融合发展的长三角

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

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

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

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

解读红三角 粤赣湘红三角经济圈的打造

本书围绕“红三角”发展战略，辑录了霍吴东先生在各个场合就“红三角”的构想、设想、实施等方面发表的讲话稿，有关媒体的新闻稿，“红三角”涉及地市的背景介绍，以及专家、学者的理论分析与探讨文章。...

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

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

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

三角测量及水准测量计算细则 第1部 一、二、三、四等三角测量之计算