机械工业出版社本书介绍了代数学的基本知识，内容包括预备知识、群、环、域、有限域、多元多项式代数简介等本书一方面讲解必要的基础知识，同时也力图使读者能够对抽象代数的主要思想方法有所体会，为进一步学习打下良好的基础本书文字简洁流畅，注重培养学生的逻辑推理能力和抽象思维能力本书各章末尾都附有相当数量的习题，便于教学与自
布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统.《公理化集合论机器证明系统》利用交互式定理证明工具Coq,实现Morse-Kelley公理化集合论形式化系统,包括对该体系中8个公理(含选择公理)和1个公理图示以及全部181条定义或定理的Coq描述,其
本书主要介绍Matlab、Mathematica、Python、Lingo等软件在数学建模、数学计算、数据挖掘、统计计算和智能优化等课程上的应用。介绍了各个软件的功能命令，并结合相关课程，通过具体实验题目和案例，给出软件的解决方法。
本书共分为五章，包括行列式、矩阵、微分中值定理与导数的应用、不定积分、定积分及其应用、微分方程，空间解析几何、多元函数微分学及其应用、重积分、曲线积分与曲面积分和无穷级数等。每章分四部分：精典范例、夯实基础、能力拓展、疑难解析，每一部分都配有知识点链接，精要明晰地对高等数学的重要知识点进行归纳总结。书中配有大量的例题和
《高等数学/高等职业教育十三五规划教材》是根据《高等数学课程教学基本要求》，结合编者多年的教学实践，以培养学生的专业素质为目的，充分吸收外教学改革成果编写而成的。全书内容包括函数与极限、导数与微分、中值定理与导数的应用、不定积分、定积分及其应用、微分方程、空间解析几何初步、多元函数微分学、二重积分与无穷级数等内容，每节
本教材根据高等院校理工专业和经济专业的数学基础课程教学大纲及专业任课老师历年教学实践经验编著而成，主要内容包括：行列式、矩阵、线性方程组、矩阵的特征值、二次型及线性空间和线性变换等六章内容，其中第六章线性空间和线性变换可作为选学内容。教材在内容选取、编写格式、例题选择、习题安排等方面，充分考虑了线性代数知识的完备性和非
本书主要介绍线性代数的基本概念及工程应用，包括矩阵、行列式、向量、线性方程组、几何应用、软件实现等内容。全书共六章，重要小节设有课堂练习，每章后设有大量习题，供学生课堂、课后巩固知识使用。本书的主要特点是在保持线性代数基本理论统一的同时，强调了线性代数的应用性。本书可供高职高专工科类师生及相关的数学工作者使用。
本书作为酒泉职业技术学院“目标导航工程”的主要载体，在引领学生树立正确的阶段目标环节发挥了重要的作用。该书使学生制定的大学目标全部记录在册，体现了导向性、约束性和可操作性，包括总体目标、学年目标、学期目标等不同阶段的规划，还包括价值目标、学业目标、能力目标和生活目标等不同方面的规划。 本书共分为7章，第1章为校园认知
通过数字看世界是一种怎样的体验呢？ 我们来数动物——多少只脚？多少根骨头？多少颗牙齿…… 我们来数植物——多少片叶子？多少粒种子？多少片花瓣…… 我们来数数自己——多少块肌肉？多少块骨头？一天的放屁量…… 动物、植物、建筑物、人类、地球、太空……你会发现数字无处不在，令人惊奇，有的甚至会颠覆你的认知！
本丛书为五年制高等师范学校基础阶段教材，适应小学教师专业化的需要，编写努力体现五年一贯的思想，基本构想是前三年以基础性为主，兼顾选择性，后两年以选择性为主，兼顾基础性，前后衔接，融为一体。对于专科层次培养而言，内容选取适当，难度适宜。
书目推荐 更多
