经侦部门管辖的刑事案件证明规范及实例指导

本书对公安机关经济犯罪侦查部门管辖的刑事案件的证明规范问题做了全面而深刻地阐释，同时结合相关案例做了分析和指导。

4CC和1+1的证明 兼及关于宇宙和生命的思索

本书由两部分组成，一部分是对两个世界数学难题哥德巴赫猜想（“1+1”）和四色定理（“4CC”）的证明，另一部分是作者对宇宙奥秘生命起源和心灵问题进行的思索。...

牛津逻辑手册布尔值模型及集合论中独立性的证明

人性的优点 人性的弱点

暂缺《人性的优点，人性的弱点》简介

证明四色定理的新数学 图论中的锁阵运筹

四色问题又称四色猜想

素数定理的初等证明

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

几何定理机器证明的基本原理 初等几何部分

1984年，吴文俊的学术专著《几何定理机器证明的基本原理》由科学出版社出版，这部专著遵循机械化思想引进数系和公理，依照机械化观点系统地分析了各类几何体系，明确建立了各类几何的机械化定理，着重阐明几何定理机...

诉讼证明中的推定研究

本书是一本对诉讼证明中的“推定”进行研究的专业性学术著作。全书分十章，从“推定的概念与属性”、“推定的学术分类与学科体系”、“推定适用的要素与效果”、“推定的结构机理与适用机理”、“推定的证明...

人性的优点和人性的弱点全集

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

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