数理逻辑引论：计算机科学与系统的天然基础 刘志明,裘宗燕 编著.pdf
数理逻辑系统是形式语言、形式语义和证明的三位一体。本书讨论这类系统的核心思想、重要概念、组成部分、构建方法，以及它们与数学和计算机科学的紧密关系，解释数理逻辑系统中符号化语言、解释、模型等概念，研究递归、迭代、分解组合、模块化、等价替换等处理结构复杂性的方法和技术。正是这些概念、
刘志明
轨道车辆控制实验与实践教程.pdf
本书作为机械类国家级实验教学示范中心系列规划教材之一，用于指导车辆工程专业“轨道车辆传动与控制”“轨道车辆牵引与制动”“轨道车辆检测技术”及“轨道车辆装备”等课程的实践环节，是卓越工程师培养教学环节中的重要组成部分。本书分5章，包括轨道车辆控制实验与实践教程总论、可编程控
轨道车辆装备.pdf
本书主要介绍轨道车辆电气系统的组成和车内电气装备原理；以25T型客车和动车组为例，介绍了轨道车辆供电系统的组成和工作原理；分别介绍了轨道车辆的控制电器、照明系统、火灾探测系统、广播系统、给水卫生系统、网络控制与信息系统、空调系统。