本书覆盖了"粒子物理学"的基本理论框架。重点讲授基本粒子的结构、性质，基本相互作用，各种整体、内部和规范对称性，夸克模型理论，电弱标准模型理论，量子色动力学基本内容。重点介绍目前国际上正在运行的高能物理对撞机实验，高能物理实验数据分析的基本方法。

本书从实用的角度出发，选择系统级的FPGA实现为书写对象，全书详细介绍了从双核FFT算法的基本原理到双核FFT核心的FPGA实现，从单纯FFT处理器的实现过渡到FFT应用实例的开发，从简单的数字系统的设计到复杂数字系统的设计。全书共分8章，从简单的数字系统到复杂数字系统的开发，帮助读者快速入门，同时提高读者嵌入式系统开发的能力。

本书主要内容包括：运动控制系统结构、基本原理；数控机床主要部件介绍、选型方法；低压电器与机床电气控制方法；数控机床的机床本体、电气控制柜的安装和接线；数控系统软硬件开发、功能实现；数控机床的维修、保养。针对数控系统的开发，详细介绍了运动控制技术在机械、电气、计算机控制、软件开发方面的基础理论。

本书从逻辑学的两个核心概念“命题”和“论证”出发，论述了符号逻辑学的两套推理(命题逻辑和谓词逻辑）使用的两种规范语言，以及相应的推导规则。命题逻辑系统具有可判定性，真值表方法和真值树方法都能够为命题，命题集和论证的所有可能赋值提供完整的且图表化的表征表；命题逻辑语言并不能完全充分表达所有有效论证和语义关系，谓词逻辑语言则弥补了其缺陷。谓词逻辑系统具有不可判定性，真值树方法只可为谓词逻辑提供部分决策过程。命题逻辑的整套推导规则都可引入谓词逻辑的推导中。

导语_点评_推荐词