本书主要介绍基本的集合论，拓扑结构，代数结构，偏序结构这些“数学常识”，为读者继续学习打基础。在内容的选择上，注重概念的基本性和常用性，在内容的表述上，注重语言的标准性与严谨性，防止读者误入歧途，走弯路。
图论导引（原书第2版）典藏版
离散数学及其应用（英文精编版·原书第8版）
机械工业出版社本书介绍了代数学的基本知识，内容包括预备知识、群、环、域、有限域、多元多项式代数简介等本书一方面讲解必要的基础知识，同时也力图使读者能够对抽象代数的主要思想方法有所体会，为进一步学习打下良好的基础本书文字简洁流畅，注重培养学生的逻辑推理能力和抽象思维能力本书各章末尾都附有相当数量的习题，便于教学与自
布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统.《公理化集合论机器证明系统》利用交互式定理证明工具Coq,实现Morse-Kelley公理化集合论形式化系统,包括对该体系中8个公理(含选择公理)和1个公理图示以及全部181条定义或定理的Coq描述,其
本书主要介绍Matlab、Mathematica、Python、Lingo等软件在数学建模、数学计算、数据挖掘、统计计算和智能优化等课程上的应用。介绍了各个软件的功能命令，并结合相关课程，通过具体实验题目和案例，给出软件的解决方法。
本书共分为五章，包括行列式、矩阵、微分中值定理与导数的应用、不定积分、定积分及其应用、微分方程，空间解析几何、多元函数微分学及其应用、重积分、曲线积分与曲面积分和无穷级数等。每章分四部分：精典范例、夯实基础、能力拓展、疑难解析，每一部分都配有知识点链接，精要明晰地对高等数学的重要知识点进行归纳总结。书中配有大量的例题和
《高等数学/高等职业教育十三五规划教材》是根据《高等数学课程教学基本要求》，结合编者多年的教学实践，以培养学生的专业素质为目的，充分吸收外教学改革成果编写而成的。全书内容包括函数与极限、导数与微分、中值定理与导数的应用、不定积分、定积分及其应用、微分方程、空间解析几何初步、多元函数微分学、二重积分与无穷级数等内容，每节
本教材根据高等院校理工专业和经济专业的数学基础课程教学大纲及专业任课老师历年教学实践经验编著而成，主要内容包括：行列式、矩阵、线性方程组、矩阵的特征值、二次型及线性空间和线性变换等六章内容，其中第六章线性空间和线性变换可作为选学内容。教材在内容选取、编写格式、例题选择、习题安排等方面，充分考虑了线性代数知识的完备性和非
本书主要介绍线性代数的基本概念及工程应用，包括矩阵、行列式、向量、线性方程组、几何应用、软件实现等内容。全书共六章，重要小节设有课堂练习，每章后设有大量习题，供学生课堂、课后巩固知识使用。本书的主要特点是在保持线性代数基本理论统一的同时，强调了线性代数的应用性。本书可供高职高专工科类师生及相关的数学工作者使用。
书单推荐 新书推荐
