本书结合高等数学、线性代数和概率论与数理统计3门课程，以MATLAB为平台，较为系统地介绍了数学软件及其在大学数学中的应用。全书分为4个部分，第1部分介绍MATLAB的基础知识、MATLAB作图等内容，后面3个部分涉及MATLAB在极限、微分、积分、级数、常微分方程、优化、方程（组）、矩阵变化和二次型、随机数、数字特征、概率密度、概率分布函数、参数估计、假设检验等方面的应用。本书提供了大量实例供读者参考。

本书严格按照《高等数学》（同济七版）章节顺序，并参照教育部制订的“考研数学考试大纲” 和“中国大学生数学竞赛大纲”，分为函数与极限、导数与微分、微分中值定理与导数的应用、不定积分、定积分、定积分的应用、微分方程、向量代数与空间解析几何、多元函数微分法及其应用、重积分、曲线积分与曲面积分、无穷级数等12章，每章分ABC三份试卷。其中，A卷是基础难度，夯实基础；B卷是考研难度，强化训练；C卷是竞赛难度，拓展提升。

本书内容分为三篇：基础实验篇主要包括如何使用MATLAB软件进行简单的数值运算和符号运算，以及如何使用MATLAB软件辅助理解高等数学、线性代数和概率论与数理统计等课程中的一些抽象内容；综合实验篇以具有实际应用背景的问题为实验示例，介绍一些常用的数值计算方法；简单建模实验篇精选几个简单的建模案例，为学生将来参加数学建模竞赛打下基础。

本书是“逻辑与形而上学教科书系列”中的一本。书中从零起点开始，介绍了数理逻辑的基本知识。全书共10章:第一章是预备知识，主要介绍书中所需要的集合论的初步知识:第二至第六章是一阶逻辑的基本内容，重点介绍哥德尔的完全性定理;第七章是递归论的基本知识，也是为后面内容所做的准备;第八章介绍一阶算术的一些片段;第九和第十章是哥德尔的两个不完全性定理。本书主要面向对数学基础感兴趣的读者。与其他数理逻辑教材相比，本书更加强调逻辑与元数学的联系，更多介绍语义部分，更加强调语法与语义的统一。书中除了讲解各

主要内容涵盖数理逻辑的历史起源、命题逻辑语言、主要系统及其元性质、谓词逻辑语言、主要系统及其元性质、逻辑在数学与哲学中的运用（包括不完全性定理及技术发展过程中衍生的语言分析技术）

本书以培养数学建模思想、突出应用为重点, 以技能训练为主线, 使学生通过本课程的学习, 在数学建模能力的提高上有所收获, 为处理实际问题和参加全国数学建模竞赛打好基础。本书中的例题、能力训练题多数选自与实际生活贴近的应用案例, 以培养学生的数学建模意识, 充分体现高职教育的应用性和实用性。为拓展学生建模能力, 挖掘学生的建模潜力, 还在附录中展示了我院获得全国一等奖并刊登于中国工业与应用数学学报的优秀论文, 供学生参考学习。

　　《数学建模实用教程（第二版）》共收录了76个应用案例分析，其中包含16个全国竞赛题的案例，60个实际问题的应用练习。该书结合高职高专数学课程的教学实际和参加全国大学生数学建模竞赛培训的需要，从内容的选择、组织编排、难易取舍都考虑到高职高专院校教师的使用和学生的学习实际，力求做到有用、适用、能用、够用和方便使用。
　　《数学建模实用教程（第二版）》可以用作高职高专院校数学建模课程的教材，也可以用作数学建模竞赛的培训教材。根据实际教学需要，从20学时至60学时都可以选择相应的内容实施教

本书简明扼要、由浅入深地介绍了矢量和张量的定义、性质及运算，并结合具体应用实例帮助读者更好地理解矢量和张量，同时可以帮助读者运用矢量和张量解决实际问题.本书的主要内容：第1章介绍了矢量的基本定义、表示方法；第2章介绍了矢量的运算，包括乘法和求导运算；第3章介绍了矢量在斜面运动、曲线运动、电场及磁场中的具体应用；第4章介绍了不同类型的矢量分量及矢量在坐标系之间的变换，为介绍张量做好准备；第5章介绍了张量的定义、表示方法及张量运算；第6章介绍了张量在力学、电磁学和广义相对论中的具体应用.
本书

这是一套很好的关于折纸设计的书，本书是第1册。书中从折纸的各种符号、术语和基本折叠方法开始，由浅入深，通过作者原创的各种折纸模型来展示不同的折叠技巧和设计方法，同时初步涉及折纸设计的原理，能够吸引新手入门。本书内容浅显易懂，适合所有折纸爱好者阅读使用。

这是本套书的第二册，适合具备一定折纸基础的研究者和折纸爱好者阅读使用，本书介绍与数学相结合的设计，通过严密的数学计算，探究一些更为复杂的折叠方法，其中包括树杈理论，描述折纸设计中树形折法所应用的数学知识以及蛇腹折纸、单轴形、多边形组合和混合基本型等。