机器人制作原理及实践

本书是全国中学生机器人竞赛的指导教材，重点讲述了机器人制作的基本原理，所选择的制作案例来自竞赛项目要求，实践操作性强,。本书从机器人运作原理、工具和材料准备、装配方法、设计思路到制作过程都有详细说...

程序正确性的证明

证明与反驳 数学发现的逻辑

爱神的相似定理

赛博战基础 从理论和实践理解赛博战的基本原理

本书是Syngress出版社出版的安全系列丛书中的一本，从理论和实践两方面阐述了网电战的基本知识。书中探索了今天数字化冲突中的战场、参与者以及使用的方法及技术。本书向读者介绍网电战的基本原则和理论，包括...

司法证明的逻辑

本书对司法证明的逻辑路径、语言逻辑、图式逻辑、模糊逻辑、司法证明的思想谱系、威格莫尔论证明等内容做了全面论述。

北航高研院·法政文丛 代议制的基本原理

北航人文与社会科学高等研究院在2011年举办“代议制工作坊”第一期系列活动，集中研读和讨论了代议制思想史上几个重要思想文本，以便首先在思想层面上澄清代议制的思想基础。通过这些文本，大致可以梳理出代议制...

统计力学的基本原理

统计力学是力学的一个分支，源于用力学原理解释热力学定律的需求。本书作者J. W. Gibbs是美国物理化学家、数学物理学家，朗道认为吉布斯“对统计力学给出了适用于任何宏观物体的最彻底、最完整的形式”。本书...

刑事证明中的事实研究

现代数学四大猜想的直接证明