证明
-
不完备性 哥德尔的证明和悖论
（美）丽贝卡·戈德斯坦著2008 年出版227 页ISBN：753575245420世纪早期见证了经典物理和数学的基础假设遭受的几次打击。相对论颠覆了约定俗成的时空观念。量子世界的研究挑战因果效应的基本观念。最为惊人的是，对于一切科学的基础——数学，不完备性定理揭示了将数学理...
-
-
-
不等式机器证明与自动发现
杨路，夏壁灿著2008 年出版226 页ISBN：9787030207210本书主要介绍作者及其合作者近10年来在不等式机器证明与自动发现方面的工作，兼顾经典结果和方法。全书共分七章，分别介绍和论述：多项式的伪除与结式；相对单纯分解；多项式的实根；常系数半代数系统的实解隔离；参系数...
-
-
-
-
计算机密码学 通用方案构造及安全性证明
田园著2008 年出版314 页ISBN：9787121066580本书阐述计算机密码方案与密码协议的安全性证明理论，包括基于计算复杂度概念的计算密码学方法和基于符号演算的形式分析与验证方法。安全性证明是一个技术复杂而思想活跃的领域，作者并不打算对此做面面俱到式...
-
数学难题探索：费尔马大定理和四色问题证明
徐俊杰著2007 年出版106 页ISBN：9787561222003本书详细地介绍了费尔马大定理的初等证明问题的数学证明方法，同时还运用数学推理方法证明了三次平面图形成定理和边二色回路定理，并进一步证明了四色问题也是成立的。这些证明的思路和方法，对于启发人们数学思...
-
-
论初等几何定理的机器证明与消去法
朱望规著2016 年出版257 页ISBN：9787118105155本书介绍初等几何的机器证明，重点是消去法。本书详细且细微地介绍了初等几何定理，如何通过坐标系将已知条件转化为公式组。由公式组形成消去法所必需的三角阵列公式组；同时本书也提出了在公式推导过程中可能出...
-
事实证明，人民永远是最可爱的
马伯庸著2017 年出版339 页ISBN：7020117236本书精选马伯庸曾发表在《看天下》杂志、观察者网上的一系列随笔作品。此次是马伯庸随笔作品第一次结集出版，内容涉及广泛，读史、生活、经历，方方面面充分体现了作者丰富广博的知识背景和作为一个现代人的生存...
-
邢.民诉讼证明制度比较研究
李丽峰著2016 年出版362 页ISBN：9787511896391本书立足刑、民证明制度现行法律规定，梳理现有规则，对刑、民证明制度予以比较分析，以利制度的理解与适用，并对未来的制度完善进行探讨。力求为相关专业学生学习、以及各法律职业岗位的人员学习、研讨和运用我国...
-
-
-
犯罪主观要件证明问题研究
王彪著2016 年出版376 页ISBN：9787511894021本书的思路是简要论述犯罪主观要件的证明困难，在此基础上探讨克服证明困难的一般方法和特殊方法。本书是在作者的博士学位论文基础之上整理完善而成，该论文曾被评为西南政法大学2014年度优秀博士学位论文、重...
-
密码学中的可证明安全性
杨波著2017 年出版216 页ISBN：9787302467229本书全面介绍可证明安全性的发展历史及研究成果，分为五章，第1章介绍可证明安全性用到的一些数学知识和基本工具，第2章介绍语义安全的公钥密码体制的定义，第3章介绍几类常用的语义安全的公钥机密体制，第4章介绍基...
-
数学写真集 无需语言的证明 第3季
范兴亚，管涛，程晓亮编著2016 年出版110 页ISBN：9787111536499本书由一百多个“无需语言的证明”的图片组成，每一个都非常精彩。当从一个图片中悟出为何该图片证明了相应的数学结论时，读者便能够体会到数学绝妙的美，所以这本书叫做数学写真集。书中的素材选取自国际顶尖数...
-
-
Mbook随身读 用结果证明自己的能力
梁素娟，廉勇编著2013 年出版240 页ISBN：9787508071886每一个员工都要在证明自己的能力后，才能在企业中立足并发展。那么如何证明呢？在现代企业管理中，结果的价值导向异常明显，那么我们也就只能以结果来证明自己的价值。本书通过大量的实例与操作方法，向我们详细解析...