本书主要介绍利用三个函数（完整二次函数、负高次幂函数、时间累计函数）求解现实曲线（数据）相应函数的方法，即解决现实函数的建立问题。前三章分别讨论三个函数的基本性质，为函数求解及函数使用提供基础性依据。后三章分别介绍现实中可能的三类函数，即理论函数、近似函数、经验函数的求解方法。每章均分别以充实的例子演示各类函数的具体求

本书介绍了验证、确认和不确定度量化的定义、研究范畴和主要方法途径。并对不确定度和误差中的重要内容进行了具体讨论，归纳了误差和不确定度的来源。从代码验证和解验证以及近似计算模型的代理模型方法，讨论了输入不确定性通过计算模型的传播问题，以及相应敏感性分析内容。从而进一步对模型确认和预测相关的一系列问题展开介绍。

本书涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。本书特点是：内容可读性强；组织结构更灵活，授课教师可根据教学需要节选本书的内容；反映了近几年来理论计算机科学对逻辑学产生的影响；包含较多的示例和说明。本书既能适用于计算机专业又能满足数学系基础数学专业，为了适

本书主要前三章主要介绍引进集合论的基本公理、基本概念、基本方法以及建立起典型的可数集合的例子，包括自然数集合、整数集合、有理数集合以及彻底有限集合的集合。第四章主要是引进选择公理以及由此建立起来的基数运算律和一些典型组合实例。第五章专门引进实数集合并展开对它的系统分析。本书既能适用于计算机专业又能满足数学系基础数学专业

本书内容包括复数与复变函数，解析函数，复变函数的积分，级数，留数，保形映射等，共分六章。 本书在编写过程中力求做到条理清晰，层次分明，通俗易懂，注重解题方法的训练和能力的培养。为巩固正文内容，在每一章的末尾都配有小结和测验作业，以使读者易于抓住每一章的重点并测试自己对本章基本内容的掌握情况。 本书可供高等工科院校各

本书根据课程教学目标和知识点，以“知识主导、能力驱动”为中心编写。书中以数学建模实际案例为切入点，通过对一个个生动案例进行分析、讨论、建模、求解的一整套过程，帮助学生掌握一大类问题的求解方法，达到“以点扩面”的效果。每个案例后均配备有思考题，让学生能够做到学有所思、学有所获。书中还注重挖掘课程知识点与社会主义核心价值观

本书重在培养学生解决实际问题的数学思维，内容包括函数、极限与连续，一元函数微分学，一元函数积分学，微分方程与拉普拉斯变换，线性代数和MATLAB数学实验。每章节后有复习题，复习题还有相应的参考答案。本书适当降低了高等数学的教学要求，删去了一些要求较高的理论内容，努力揭示数学概念的本质，注重数学思想方法的讲授和应用能力的

本书是大学本科阶段线性代数课程的专用教材，适用于需要学习线性代数这门公共课程的本科各类(非数学专业)学生，共有六章内容：第一章矩阵及其基本概念，第二章矩阵的行列式，第三章线性方程组，第四章向量，第五章特征值、特征向量，第六章二次型。每章都配有习题，书后给出了习题答案。本书在编写中力求重点突出、由浅入深、通俗易懂，努力体

初等数论是大中专数学专业、师范类专业理科方向的专业必修课程，但已经有将近20年没有新的教材出版，且经典的教材都已经历史年代久远，知识结构体系和知识内容方法没有得到及时更新，已经不能很好地适应新时代发展的需要。本书根据当前要求吸收了本方向的最新研究成果，融进了课程思政元素，优化了知识结构，主要内容包括整除理论、同余理论、

这是一本学术专著图书，讲述的内容是新时代背景下大学数学教学改革与实践。本书立足于新时代的大背景下，从改革与实践的视角研究大学数学教学模式改革，探讨了数学教育教学的维度以及改革视角下的大学数学教学方法，构建学生容易理解的数学教育形态，并试图探讨如何通过知识的传授启迪思维、培养能力，在大学数学教育中渗透数学改革策略，以期对