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