面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems 【数理化】

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...

基础化学实验操作技术 【数理化】

药学、中药学是一门以化学为主，同时又与医学、中医学、生物学以及工程学等交叉结合的学科，实践性很强。学生在学习的过程中，不仅需要掌握扎实的理论基础，还需要具有良好的动手能力和实践能力。多年来，我们的实验...

解耦热化学转化基础与技术 【数理化】

本书预计共分为13章，首先在第1章阐述解耦热转化的原理、方法及思想的形成历程，进而通过第2~10章较全面地归纳分析了基于解耦原理的一些典型的新型预处理、热解、气化和燃烧技术，比如有煤拔头燃烧多联产技术、...

工程电磁场基础及应用 【数理化】

本教材在阐述电磁场基本理论的基础上，阐明电磁理论对高新技术发展的作用，重点放在电磁场工程问题的提出和应用电磁场分析计算去解决实际问题。全书共分八章：电磁场的数学基础、静电场、恒定电场、静磁场、动态...

RecurDyn多体动力学仿真基础应用与提高 【数理化】

本书主要内容有：多体动力学的基本理论；柔性多体动力学建模理论；RecurDyn专业模块的基本使用方法；并在此基础上介绍了其本身几个独具特色的和常用的专业模块：RFLEX、FFLEX两个柔性多体建模模块和振动、齿轮、带传...

经济应用数学基础 1 微积分 第2版 习题解答 【数理化】

本书是与《经济应用数学基础（一）微积分（第二版）》相配套的学习辅导书。全书按原教材的章节编排，每章包括基本要求、内容要点和习题解答三部分。本书不仅对微积分课程中的重要定义、方法给出归纳总结，对主教材的.....

Polyflow软件基础及其在双螺杆挤出仿真过程中的应用 【数理化】

本书结合双螺杆挤出机过程数值模拟，讲述了polyflow软件的使用方法和使用该类软件的思维方式。从网格划分开始，讲述数值模拟设定、流场特征分析、混合任务设定、混合评价指标体系创建等内容。不仅涉及到稳态、...

高等数学基础与应用 【数理化】

本书是根据士官职业技术教育实战化改革要求，为适应士官数学教学“理实一体”化教学模式，由空军预警学院黄陂士官学校、空军第一航空学院和武汉军械士官学校的资深数学教师合作编写而成的。内容设计注重打好知...

线性代数习题解答 经济应用数学基础 第2版 【数理化】

本书是与“高等学校经济管理类数学基础课程系列教材”《经济应用数学基础（二）线性代数（第二版）》相配套的学习辅导书。全书按原教材的章节编排，每章包括基本要求、内容要点和习题解答三部分。本书不仅对线性代数...

配合教育部高职高专规划教材 应用数学基础学习辅导 下 五年制高等职业教育适用 【数理化】