论双生、对偶、三奇素数组分布 关于《哥德巴赫猜想》、《双生素数猜想》的初等证明

本书在研究分析素数分布规律基础上，运用一般数学（非高等数学），用埃拉多斯染尼氏筛法，即古典筛法，找到了双生、对偶、三奇素数组分布计算模式，获得了各精解、简化解及重要结论，对于一些素数组的实际分布情形，......

不完备性 哥德尔的证明和悖论

20世纪早期见证了经典物理和数学的基础假设遭受的几次打击。相对论颠覆了约定俗成的时空观念。量子世界的研究挑战因果效应的基本观念。最为惊人的是，对于一切科学的基础——数学，不完备性定理揭示了将数学理...

LAX定理和ARTIN定理

本书通过一道IMO试题研究讨论拉克斯定理和阿廷定理，并着重介绍了希尔伯特第十七问题的基本知识及内容以及其在数学其他领域的相关应用。全书共分2章及3个附录。本书可供从事这一数学分支或相关学科的数学工...

犯罪主观要件的证明问题研究

现代刑事司法虽然坚持无罪推定原则，崇尚谦抑精神，但司法实践中由于主观要件得不到认定而可能放纵犯罪的现实状况依然存在，这严重削弱了司法公信力，令人担忧和难以容忍。为克服司法实践的这一困境，理论界与实务界...

机器人引论:魅力无穷的机器人世界

刑事诉讼中的严格证明

本书对经典理论中的严格证明进行了系统化改造，力图建立起一个具有中国特色的层次分明、衔接有致的证明体系，以实现我国刑事证明制度的规范化、精密化发展。本书主要分为五大部分：第一章“严格证明概述”，对严格...

智能机器的革命-自动化与机器人

千古第一定理 勾股定理

勾股定理是人类文明史上光彩夺目、永不消逝的明珠。它是人类发现的第一个定理、第一个不定方程、证法第一多的定理。它引发了第一次数学危机，它开始把数学由计算与测量的技术转变为论证与推理的科学。本书介...

Beatty定理与Lambek-Moser定理

本书从一个拣石子游戏开始来介绍贝蒂定理与拉姆贝克—莫斯尔定理，并配有多道经典试题，内容包括：题目的证明、题目的加强、应用、互补序列与可逆序列、再谈数列的N—互补性、贝蒂定理的两个变形等。本书适合大...

解不等式及证明不等式的方法

本书以通俗的语言、简洁流畅的叙述，针对初等数学中涉及的各种解不等式及证明不等式的方法，分别介绍了解不等式（组）的方法及证明不等式的方法。解不等式的方法包括等价法、交集法、分区法、同底法、定义法、平方...