数理逻辑是思维科学的一个分支，也是数学的一个分支。本书包括：命题逻辑、谓词逻辑、命题演算、谓词演算四章内容。

本书是为了帮助高职、高专学生解决学习“一元微积分”的困难而编写的。全书紧扣大纲，共分六章，包括一元微积分和微分方程。每章按基本要求、内容精述、疑难解答、范例选讲、自我检查题五部分编写，自我检查题附有参考答案。为配合教学，还配备了单元自测题和期末综合测试题。本书立足课本，着重揭示教材内容的内在联系，详细介绍解题思路，同时着眼提高，尽可能给出较多的分析方法和解题技巧，便于学生自学，开阔学习思路，提高解题能力，纠正常见错误。本书可作为高职、高专学生学习的辅导书，也可作为专升本的应试指导书，还可作为工科大学生、成人高校学生学习及教师教学的参考书。

暂缺简介...

代数、分析、几何是数学的核心内容。无论是远古时期，还是近现代，数学这棵根深叶茂的大树就是以分析、代数、几何为其主干。一方面，随着时间的推移，现代数学的内容在不断地发展，另一方面，现代数学的思想又在不断地渗透到经典数学的研究中。如何用现代数学的知识来充实自己，用高等数学的观点去理解初等数学的内容，从而提高自己的数学素养，并进一步指导中学数学的教学工作，这是每一位高等师范院校数学系学生与中学数学教师面临的问题，只有很好地解决了这个问题，才能在现在或将来的中学数学教学中，真正做到居高临下，游刃有余。

本书是全国高等职业、高等专科教育高等数学系列教材之一的“线性代数”基础课的教材，本书依照教育部颁布的高职、高专高等数学教学大纲，并结合作者多年来为高职班学习生讲授“线性代数”课所积累的丰富教学经验编写而成。全书共分五章，内容包括：矩阵、行列式、线性方程组、矩阵的特征值和特征向量、二次型等。根据使用本书的院校的建议，为了适用不同专业的教学要求，我们对原书内容的院校的建议，为了适用于不同专业的教学要求，我们对原书内容做了修订，在第三章增加了3.6“投入产出数学模型”实用性较强的内容；增加了第五章“二次型”；对增加的内容配置了练习题并给出解答。本书针对高职、高专学生的接受能力、理解程度讲述“线性代数”课的基本内容，叙述通俗易懂、简明扼要、富有启发性、便于自学；本书注重对学生基础知识的训练和综合能力的培养，每节配置了适量的习题，书末附有参考答案与提示，便于教师和学生使用。本书可作为高等职业、高等专业科学生“线性代数”课的教材或教学参考书，对成人教育、自学考试专科段学生及参加学历文凭考试者本书也是一本较好的自学教材。

暂缺简介...

中国矿业大学新世纪教材建设工程资助教材 创新教育系列教材。本书介绍了数学模型基本概念，古典模型，微分方程模型，随机性模型，运筹与优化模型，建模范例等内容。

本书主要包括稳定性概念及辅助工具，线性系统稳定性基本理论，Lyapunov直接法的基本理论，稳定性的迭代分析，部分变元的稳定性等内容。

本书介绍了一元函数微积分以及极限的基本概念、基本性质和应用，导数和不定积分、积分的概念和应用。为方便学生学习，各章后还配有总结和习题。

暂缺简介...