最后的不在场证明

本书为引进版小说。原著中，一名自称是詹姆斯的男子陷害律师詹森是连环杀手。为了保护爱人萨伍娜，詹森甘愿成为头号嫌疑人，接受警方和法庭的审讯，最终在萨伍娜的帮助下赢得官司，并让真凶受到应有的惩罚。值得一读...

素数分布方程理论与证明

本书是一本数学方面的学术专著。作者提出素数分布理论，总结、归纳了素数分布方程的特征与性质，证明了在八个等差数列中，素数的个数都是近似相等的，这一成果改进了埃氏筛法，建立了偶数的15种类型64个方程，为孪生.....

司法证明的逻辑研究

彭江 2016-08-17 11:13:08诉讼证明是整个诉讼活动的核心环节，起诉方和应诉方为了各自的立场展开论辩，案件事实得以在双方理性的论辩交锋下越辩越明，它促使案件事实得到最大限度的发现与展示并最终促成判决。本...

实定理的复证明=COMPLEX PROOFS OF REAL THEOREMS

素数定理的初等证明

本书主要介绍素数定理的7个初等证明以及与之相关的切比雪夫不等式、Mertens定理、素数定理的等价命题、Riemann Zeta函数、几个Tanber型定理、L空间中的Fourier变化、Wiener定理、素数定理的推广等。通过学...

可信计算远程证明与应用

可信计算是信息安全的一种新技术和新的体系结构，远程证明是可信计算平台的重要功能之一。本书在国内外学者部分研究成果的基础上，介绍了作者在可信计算中的远程认证及其应用方面多年的研究成果。本书主要介绍...

事实证明，人民永远是最可爱的

本书精选马伯庸曾发表在《看天下》杂志、观察者网上的一系列随笔作品。此次是马伯庸随笔作品第一次结集出版，内容涉及广泛，读史、生活、经历，方方面面充分体现了作者丰富广博的知识背景和作为一个现代人的生存...

我无法证明岁月有脚 西方经典随感诗

《我无法证明岁月有脚：西方经典随感诗》共收录布莱克、彭斯、华兹华斯、拜伦、济慈、叶芝、狄金森、惠特曼、艾吕雅等自莎士比亚以降西方著名诗人的经典随感诗近40首，情感澎湃，文字隽永，带给读者艺术的享受和生...

密码学中的可证明安全性

本书全面介绍可证明安全性的发展历史及研究成果，分为五章，第1章介绍可证明安全性用到的一些数学知识和基本工具，第2章介绍语义安全的公钥密码体制的定义，第3章介绍几类常用的语义安全的公钥机密体制，第4章介绍基...

逻辑研究.第二卷.第一部分