哈佛的证明

本书是纪实文学。

能力是证明出来的 组织用人的8种理由

本书产品类型属于企业组织成员自我管理图书，人人都认为自己拥有某种能力，人人都想让组织知道自己的超强能力，这时候怎么办？就得拿出真本领，比试比试、证明证明。本书将告诉广大企业组织成员中需要自我培养、证明...

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

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

正奇数为素数的判断方程 哥德巴赫猜想的证明

本书稿共5章。首先探讨、设置和寻找证明哥德巴赫猜想所需要的理论知识和理想研究数段，给出了正奇数为素数的必要条件和判断方程，接着提出了适合研究哥德巴赫猜想的数学模型--偶数等分对应模型，猜想的证明方法...

邦丁先生的不在场证明

《邦丁先生的不在场证明》是英国著名侦探小说大家奥斯汀·弗里曼7个经典推理短篇的结集。包括：1.首饰盒的秘密；2.邦丁先生的不在场证明；3.都市里的巨象；4.废墟中的启示；5.绿上衣；6.伯纳比夫妇；7.神秘的访客等篇目...

交互式定理证明与程序开发 Coq归纳构造演算的艺术

Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...

书证收集与程序保障 以当事人证明权的实现为中心

本书阐述了民事诉讼中书证收集模式的沿革以及制度运行的国际趋势，探讨了文书在证据领域限制适用的情形以及在收集过程中的程序保障制度，重点对我国书证收集的现状作了实证分析，并就在我国当前的证据交换制度下...

没有完美的个人 只有完美的团队 向狼群学习团队法则

狼的精神代表了一种生存精神，代表了一种处世哲学，狼是群居动物中最有秩序、最有纪律的族群。本书从狼的性格、精神、习惯、理念、思维、智慧、胆量、秉性、态度、谋略、步调、狼群经验等方面，联系职场和社会实...

完美婚姻的智慧

本书通过对现代人的婚姻状况的梳理、揭示了幸福婚姻的密码。

伊波丽塔 完美的女孩