2008 年出版227 页ISBN：7535752454
20世纪早期见证了经典物理和数学的基础假设遭受的几次打击。相对论颠覆了约定俗成的时空观念。量子世界的研究挑战因果效应的基本观念。最为惊人的是，对于一切科学的基础——数学，不完备性定理揭示了将数学理...
2008 年出版354 页ISBN：7801858743
本书理论联系实际，总结了作者从事刑事办案工作二十多年来运用“证据联结点”解决疑难复杂案件独特、成功的实践经验。书中归纳了司法实践中大量的刑事证明技巧，并通过近200个生动的司法实例予以阐述，是广大司...
2008 年出版226 页ISBN：9787030207210
本书主要介绍作者及其合作者近10年来在不等式机器证明与自动发现方面的工作，兼顾经典结果和方法。全书共分七章，分别介绍和论述：多项式的伪除与结式；相对单纯分解；多项式的实根；常系数半代数系统的实解隔离；参系数...
2006 年出版450 页ISBN：7563363114
本书对刑事诉讼法学领域的证据和证明程序的研究，体系宽广，语言简明，可以作为学生学习刑事诉讼法学的教材及学科研究者的参考文献。
2008 年出版263 页ISBN：7561140711
本书首先提出了数学的定义及其研究对象，然后就数学的本性，数学的价值以及教学方法，对数学的评价等进行了阐述。
2008 年出版314 页ISBN：9787121066580
本书阐述计算机密码方案与密码协议的安全性证明理论，包括基于计算复杂度概念的计算密码学方法和基于符号演算的形式分析与验证方法。安全性证明是一个技术复杂而思想活跃的领域，作者并不打算对此做面面俱到式...
2007 年出版106 页ISBN：9787561222003
本书详细地介绍了费尔马大定理的初等证明问题的数学证明方法，同时还运用数学推理方法证明了三次平面图形成定理和边二色回路定理，并进一步证明了四色问题也是成立的。这些证明的思路和方法，对于启发人们数学思...
2016 年出版257 页ISBN：9787118105155
本书介绍初等几何的机器证明，重点是消去法。本书详细且细微地介绍了初等几何定理，如何通过坐标系将已知条件转化为公式组。由公式组形成消去法所必需的三角阵列公式组；同时本书也提出了在公式推导过程中可能出...
2017 年出版339 页ISBN：7020117236
本书精选马伯庸曾发表在《看天下》杂志、观察者网上的一系列随笔作品。此次是马伯庸随笔作品第一次结集出版，内容涉及广泛，读史、生活、经历，方方面面充分体现了作者丰富广博的知识背景和作为一个现代人的生存...
2016 年出版362 页ISBN：9787511896391
本书立足刑、民证明制度现行法律规定，梳理现有规则，对刑、民证明制度予以比较分析，以利制度的理解与适用，并对未来的制度完善进行探讨。力求为相关专业学生学习、以及各法律职业岗位的人员学习、研讨和运用我国...
2017 年出版269 页ISBN：9787561560211
本书收录五篇关于民事证据法学之学术论文，包括：消极事实之举证责任分配、举证责任转换、证明度之研究、释明之研究、表见证明之研究。学说及实务上对于消极事实举证责任之分配向存在一误解，亦即以为主张消极事...
2016 年出版376 页ISBN：9787511894021
本书的思路是简要论述犯罪主观要件的证明困难，在此基础上探讨克服证明困难的一般方法和特殊方法。本书是在作者的博士学位论文基础之上整理完善而成，该论文曾被评为西南政法大学2014年度优秀博士学位论文、重...
2017 年出版216 页ISBN：9787302467229
本书全面介绍可证明安全性的发展历史及研究成果，分为五章，第1章介绍可证明安全性用到的一些数学知识和基本工具，第2章介绍语义安全的公钥密码体制的定义，第3章介绍几类常用的语义安全的公钥机密体制，第4章介绍基...
2016 年出版110 页ISBN：9787111536499
本书由一百多个“无需语言的证明”的图片组成，每一个都非常精彩。当从一个图片中悟出为何该图片证明了相应的数学结论时，读者便能够体会到数学绝妙的美，所以这本书叫做数学写真集。书中的素材选取自国际顶尖数...
2016 年出版279 页ISBN：9787511897756
本书将理论研究与审判实践结合，形成一套操作性强的审判指导方法。研究证明对象确定的具体程序，包括如何从诉讼标的（诉讼请求）中推导出当事人之间假设存在的某种法律关系；如何从假设存在的某种权利义务法律关系找...
2013 年出版240 页ISBN：9787508071886
每一个员工都要在证明自己的能力后，才能在企业中立足并发展。那么如何证明呢？在现代企业管理中，结果的价值导向异常明显，那么我们也就只能以结果来证明自己的价值。本书通过大量的实例与操作方法，向我们详细解析...
