数理逻辑系统是形式语言、形式语义和证明的三位一体。《数理逻辑引论：计算机科学与系统的天然基础》讨论这类系统的核心思想、重要概念、组成部分、构建方法，以及它们与数学和计算机科学的紧密关系，解释数理逻辑系统中符号化语言、解释、模型等概念，研究递归、迭代、分解组合、模块化、等价替换等处理结构复杂性的方法和技术。正是这些概念、

《激波诱导分离的非定常效》围绕跨声速翼型、喷管流动、斜激波反射三种基本构型介绍激波／边界层干扰非定常问题的研究进展，给出大量的非定常压力、气动力实验数据，并与不同数值模拟方法结果进行比较，评估URANS、RANSLES、LES方法在该问题上的适用性。在此基础上，分析激波大尺度、低频振荡与声耦合、涡脱落、涡对流等现象的关

利用微机电技术制成的微流体芯片结合生物医学的特殊领域——生物微机电系统，已成为一种革命性的技术。微流控芯片具有体积小、试样及试剂消耗少、散热性好、灵活方便以及可重复使用等优点。本书探讨了基于流式细胞技术的微流控芯片的建模和制作工艺，建立了芯片的模型并通过仿真优化其内部结构，进行了用于微流体控制系统的微阀、微流量计的研制

本书共分为十章，包括函数、极限与连续、导数与微分、中值定理与导数的应用、不定积分、定积分及其应用、微分方程、向量代数与空间解析几何、多元函数微分法及其应用、多元函数积分学、无穷级数等内容。本书的特点是将功能强大的计算机和数学软件Mathematica融入高等数学教学之中，力图降低学生的学习负担，提高学生的数学能力。

本书内容括有机化学概述，开链烃及卤代烃，碳环化合物，立体异构，烃的含氧衍生物，含氮有机物，酯和脂类，杂环化合物和生物碱，糖类，以及氨基酸、蛋白质、核酸等10章内容。

本书共十二章，包括质点机械运动的描述、质点动力学、刚体的定轴转动、气体动理论初步、热力学基础、振动学基础、波动学基础、静电场、稳恒磁场等内容。

本书共12章，内容包括：质点的运动、牛顿运动定律、能量和动量、机械振动和机械波、恒定电流、电磁感应等。书中各章节习题与主教材同步，每章设有复习题一套，其中、期末测试题各两套。

本教材是编者在总结长期仪器分析理论及实验教学的基础上，根据仪器分析实验教学大纲的要求，结合化学与环境实验教学中心现代仪器分析实验室仪器实验条件和不同专业的教学要求整理编写而成的。以基础性、应用性为原则，对实验原理、仪器结构进行简单阐述，对实验步骤、仪器操作、注意事项进行详细叙述，以便学生预习和完成实验。本教材共9章，共

本书分为10章：极限与连续、导数与微分、导数的应用、不定积分、定积分及其应用、常微分方程、向量与复数、无穷级数、积分变换、数学建模入门，其中加入了数学建模和数学软件MATLAB的简单应用，体现数学的工具性、应用性。在内容的取舍上，适当减少了一些繁难的证明，尽可能借助具体生动的生活化案例及几何直观图形来阐述数学基本概念和

本书为中法卓越工程师培养工程"系列教材之一。全书共6章，主要内容为迭代估计理论和经典建模，包括状态、系统模型、观测模型、贝叶斯推理、卡尔曼滤波、串序蒙特卡罗方法以及迭代估计理论的应用等，每章都配有算例供读者参阅和练习，方便读者学习和理解相关知识。本书可作为具有一定英语和计算机基础的理工科学生的控制理论课程教学用书，也可