本书叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。本书在选材时考虑了逻辑系统的特征，并且适应计算机科学的要求。本书研究各种逻辑的背景、语言、语义、形式推演，以及可靠性和完备性等问题。本书大部分章节附有习题。

全书共分六章，以不可压缩流动为主，在流体力学经典理论的基础上，分别介绍流动的稳定性与混沌、流体中的波、流体的旋涡运动、复杂流体介质流动，最后一章介绍分数阶微积分在流体力学的应用。另外，附录介绍了谱方法及其应用。

本书阐明了透射法实验获取液态碳氢化合物透射光谱及其热辐射性反演的基础知识，介绍了传热传质理论和电磁理论在液态碳氢化合物辐射特性测量系统及其光学测量工程中的应用，具有一定的深度和广度。

本书详细介绍金属材料的普通疲劳、应变疲劳、静态疲劳、腐蚀疲劳以及蠕变疲劳中的寿命评价公式的导出过程及其应用，也简单介绍新理论在具有应力集中或奇异点的疲劳以及界面疲劳中的应用。

本书介绍了初等数学研究方法，对初等代数中几个重要专题（三角、初等函数、不等式、数列、排列组合、导数等）作了探讨。

在学校教育中，数学对发展学生的智力、培养学生的能力，特别是培养人的思维能力方面，是其他任何一门学科都无法代替的。但是从长期的教学中发现，尽管许多人都知道数学的重要性，很多学生却学得并不轻松，甚至很多学生会认为数学枯燥、艰深、难学。这极大地制约了学生学习数学的主动性，影响了他们的学习效果。《超好玩的600个数学游戏》精选

本书共分为三大部分，第一部分是生物学专业英语基础阅读，选编的17篇文章涵盖了生物学的主要分支学科的基本内容，通过这部分的学习，学生能够掌握该领域的基本词汇和写作方法；第二部分是生物学专业英语提升篇，选编的30篇文章是生物学主要分支学科的研究进展和研究方向，通过这部分的学习，不仅能够提高学生的阅读能力，而且能够使学生了解

本书主要研究了非柱状区域上一维波动方程的能控性。这个方程刻画了一段有限长度的绳振动的位置。我们分别对这个系统施加不同类型的控制，得到了边界精确能控性和内部精确能控性。

本书研究了混沌时间序列智能预测方法及其应用，构建了不同类型的混沌时间序列智能预测模型，并用实际数据进行了实证分析。主要内容包括混沌理论基本原理、常用混沌时间序列预测方法、混沌时间序列的神经网络预测方法等。

本书共十二章，内容包括两个层面：一是关于化学教育研究方法论的基础知识，简要介绍化学教育研究的基础认识，化学教育文献综述与开题报告，着力于化学教育研究范式及化学教育研究方法的研究与实践，突出化学教育研究成果表达，进一步阐明化学教师的专业发展；二是在此基础上，结合化学学科特点，提供经典的研究案例及典型的研究文献，以便读者在