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