本书共8章，以数理逻辑为基础，介绍命题逻辑、谓词逻辑、集合论基础、关系、函数、运算与代数系统、图和初等数论基础的相关内容，配套微课视频、电子课件、知识导图、部分习题解答等。本书内容不求大求全，根据工程教育的要求，着重介绍有应用价值的理论，避免理论上的缠绕，内容讲解通俗明了，同时还增加了相当数量的工程应用方面的简介，使学习者能够快速了解这些理论的实际工程用途。 本书可作为高等学校计算机科学与技术、软件工程、信息与计算科学以及其他信息领域相关专业离散数学课程的教材，也可供相关领域读者自学使用。

本书为“十二五”普通高等教育本科***规划教材，内容深度与广度符合高等院校经济类、农林类、管理类等各专业的本科数学基础课程教学基本要求. 全书共9章，内容包括函数与极限、导数与微分、微分中值定理与导数的应用、不定积分、定积分及其应用、多元函数微积分、微分方程与差分方程、无穷级数、高等数学实验. 每一节有习题，每章设置总习题(A)(B)两组, 书末附有习题答案与提示. 本书以二维码形式链接了知识点微课视频、习题精讲视频等视频资源和每章提升测试及解答、知识拓展或补充、数学家简介、综合试卷及解答、如何

本书为公共基础课《高等数学》配套用书，供学生课后训练作业之用。本书是根据一线教师多年的教学实践经验编写的，目的是使学生课后的学习训练更加合理，更加规范，使每届学生都能经过精心设置高水平的作业训练，尽可能保证每届毕业生都是标准化高质量的人才。
考虑到以前每节课不同老师给学生布置的作业都各不相同随意，题多题少也看当时心情，在课后作业布置上不科学不够合理。基于此，作者编写了本作业册。内容为各课课后合理布置的作业。本作业册下册内容包括：多元函数微积分、无穷级数、常微分方程、线性代

本书是国家级一流本科课程“数学建模”的配套教材，全书对数学建模中使用广泛的各种数学模型进行了介绍，内容包括 MATLAB 与 LINGO 编程、趣味数学建模问题、优化模型、图论模型、离散模型、线性回归模型、微分方程模型、排队论模型、数据处理方法、指标合成方法及大量竞赛实战建模案例。本书不但对每个问题都建立了数学模型，而且配有 MATLAB 或 LINGO 完整的实现程序。此外，本书还提供讲解和演示程序的配套视频，十分便于读者学习。本书可作为本科生数学建模教材，也可供数学建模爱好者参考。

本书根据应用型本科院校线性代数课程的最新教学大纲及考研大纲编写而成.本书的特点是,淡化了定理的推导和证明,采取学生容易理解的方式叙述并配有不同难度的习题,帮助学生巩固提升.本书包含行列式、矩阵、线性方程组、特征值与特征向量、二次型等内容，并特别加强了数学实验的教学环节.
本书作为立体化教材，包含线下的书和线上的服务两部分，其中线上的服务是指书封底的二维码，读者通过微信扫码即可使用.
本书可作为应用型本科院校非数学专业的线性代数课程教材，也可供对线性代数感兴趣的读者学习和参考.

本书参考教育部非数学类专业数学基础课程教学指导委员会制定的非数学类专业线性代数课程教学基本要求，以及高等农林院校的特点，并结合编者5年来的教学体会以及教材使用者的信息反馈，对教材第一版进行了修订。
全书共七章，包括行列式，矩阵及其运算，线性方程组，向量组的线性相关性，特征值、特征向量及矩阵的对角化，二次型，线性空间与线性变换等。教材中的附录Ⅱ给出了线性代数的若干应用实例。
本书是高等农林院校非数学类各专业线性代数课程的通用教材，也可作为其他高等院校非数学类各专业学生、

本书内容包括行列式、矩阵、矩阵的初等变换与线性方程组、向量组的线性相关性与向量空间、相似矩阵及二次型、线性空间与线性变换六章，各章均配有相当数量的习题。

本书细致、全面地介绍了身边的数学知识，共16章，包含一次函数、二次函数与方程、不等式，指数、对数，三角函数，导数，积分，高等微积分，数值分析，数列，图形与方程，向量，矩阵，复数，概率，统计学等在大多数行业中常用的数学知识。本书每一节分为3 个板块：首先，标明参考星级，指导读者按需掌握程度进行阅读；其后，列出知识点概述和公式、法则，用文字进行简单讲解并配以趣味小图画，非常易于理解；最后，具体介绍这个数学知识在实际生活或工作中的应用。

本书不仅可以帮助读者加深学习或巩固数

本书涉及有关自然数的本体论和认识论的基本问题。十九世纪后半叶，多位数学思考者、哲学思考者围绕自然数这一概念展开过一系列探索。其结果各有所长、各有千秋，但都不尽如人意。原因在于人们只注意到自然数的有限基数特点而疏忽了自然的实在的刚性的序特点。我国古代充满智慧的先人们则早已驾轻就熟地应用这种序结构来表达思想。 本书试图从自然界的序现象出发，结合我国古代先人应用序的智慧，阐明这种几乎无处不在的序结构如同到处可见的几何结构一样，是人类一种来自生活经验的认识之源，有关自然数及其运算律的认识也和有关几