本书围绕当代高校数学教学的现状与挑战，深入探讨了创新教学与学生能力培养的紧密结合。首先论述了数学教育与教学的基础理论，分析了不同教学方法的应用，并通过理论与实践相结合，其次阐述了创新方法在实际教学中的可操作性和有效性，针对教学方法论与现代信息技术下的高等数学教学模式创新路径进行了探讨，最后对数学思维、创新能力和应用能力

本书从高职教育的实际情况出发，根据高职高专院校学生的特点，精心设计、安排和组织了相关内容.全书共9章，分别为函数、极限与连续，导数与微分，导数的应用，不定积分与定积分，向量代数与空间解析几何，多元函数微积分，微分方程初步，无穷级数以及线性代数初步。本书在在保证数学概念准确的前提下，尽量借助几何图形使一些抽象的数学概念形

离散数学是计算机专业课程的理论基础，这些课程涵盖从算法和自动机理论到组合学和图论。本书结构严谨，涵盖计算机科学专业的学生必须学习的离散数学基础，包括离散数学的基本概念、逻辑、有向图和无向图、自动机和正则语言、阶的表示法和计数问题、离散概率，以及模运算和公钥密码学的内容。本书通过问题讨论对离散数学的分析证明方法进行阐述，

本书内容包括：绪论、基于H-Hk结构的算子型最小范数解析解、基于Kriging插值模型的最小范数插值解、基于高斯过程回归模型的最小范数正则解、基于高斯过程回归模型的有限维逼近解、Burgers方程算例分析。

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、通过模型检测进行验证、程序验证、模态逻辑与代理、二叉判定图这些内容。本书主要讨论有关软硬件规范和验证这一主题的内容，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、Lowenheim-Skolem定理，并介绍了Alloy语言和

数理科学的发展史是和人类物质文明和精神文明的发展史交融在一起的，要学好数理化，就要着重领会数理科学的思想和精神实质，了解数理科学在人类文明发展中所起的关键作用。本书主要包括两篇，第一篇介绍数学的萌芽与发展，包括数与形的概念的发展总结，对古埃及、古巴比伦、古希腊、古印度、古阿拉伯及古代中国的数学的介绍；第二篇讲述数学之美

本书是与《高等数学》同济大学数学科学学院编相配套的同步习题册，根据应用型本科院校的实际情况，结合理工类专业“高等数学”课程的教学及考试大纲要求，为配合教学需要，方便学生课后巩固基本概念和掌握基本解题方法为主要目的而编写的配套练习册。主要包括微分方程、向量代数与空间解析几何、多元函数微分法及其应用、重积分、曲线积分与曲面

本书介绍泛函分析的基础知识，包括距离空间与赋范空间、有界线性算子、Hilbert空间、有界线性算子的谱和拓扑线性空间。 本书旨在提供一本教师易于使用、学生易于阅读的本科生教材。为此，本书在内容编排上注重理论展开的条理性和清晰性，在文字叙述上力求可读性强，定理的证明过程较为详细。本书的第5章不是本科生必须学习的内容，仅

本书介绍了欧氏空间上的Lebesgue测度和Lebesgue积分理论，也附带简要介绍抽象测度论的基础知识。 本书旨在提供一本教师易于使用，学生易于阅读的教材。为此，本书在内容编排上注重理论展开的条理性和清晰性，将基础的部分和较难的部分适当分开，便于在教学上根据情况作取舍，也便于初学者在学习上循序渐进。在文字叙述上力求

本书是普通高等院校工科各专业研究生基础课教材，主要内容包括泛函分析、定性理论、生物数学、网络动力学、随机分析和积分变换等六部分，具体内容为线性赋范空间、内积空间与Hilbert空间、定性理论简介、生物数学导论、网络动力学、随机分析基础、随机微分方程及应用、积分变换等。章后习题的设置便于读者检查自己对本章内容的掌握情况。