本书是作者根据多年从事高等代数与解析几何课程教学的经验编写而成的。本书分上、下两册。上册主要包括：空间向量、平面与直线、矩阵初步与n阶行列式、矩阵的秩与线性方程组、多项式、矩阵的相似与若尔当标准形；下册主要包括：常用曲面、二次型与矩阵的合同、线性空间、线性变换、欧氏空间。本书在编写中将二次型及其矩阵的特征值这一历史上的经典问题作为引入整个课程内容的一条叙述主线，将高等代数与解析几何有机地结合起来。本书合理地引入了每一个重要概念，给出了主要定理的推理步骤，设置了不少经典例题和习题来指导学生理解和运用这些定理。

本书通过图解的形式，在逻辑上穿针引线，讲解了大学公共课“线性代数”的相关知识点，也就是经典版本的《线性代数》中的 大多数知识点。这些知识点是相关在校学生的必修课程，也是从业人员深造的必要知识。本书引入了矩阵函数，从函数角度讲解了向量空间、线性方程组求解、矩阵的秩、行列式、相似变换、特征值特征向量、二次型等知识，逻辑上一以贯之，再辅以很多生活案例，大大降低了学习门槛。

本书是Springer《Graduate Texts in Mathematics》系列丛书第150卷。为了更好的理解交换代数，运用几何的观点去研究交换代数，也就是代数几何学观点，是本书的一大特色。作者从基本观点——局部化以及自分解理论出发，通过对维数理论、微分理论、同调方法、自由解理论和对偶性的研究，强调该理论的出发点以及它们与数学其他部分的联系，练习中大量的引用强化了对该理论的理解。本书的还专门运用了一章来讲述Grobner基本观点以及基于这个关点的对交换代数以及代数几何很有建设性的方法。

本书是沙法列维奇代数几何基础教程的第1卷。本书作者是当代著名的苏联/俄罗斯代数几何学家，是一位有性，知识极为渊博的数学家。作者的代数几何基础教程问世（俄文版1972年初版，英文版1977年初版）40多年来，一直被视为一部重要的代数几何经典名著。与同类书相比，本书内容全面，详尽，注重给出抽象理论的几何背景和起源，并配有充分反映几何本质的实例和图解。本书所需预备知识仅限于代数基础，是高年级本科生和研究生学习代数几何的优选教材。

本书是沙法列维奇代数几何基础教程的第2卷。本书作者是当代著名的苏联/俄罗斯代数几何学家，是一位有性，知识极为渊博的数学家。作者的代数几何基础教程问世（俄文版1972年初版，英文版1977年初版）40多年来，一直被视为一部重要的代数几何经典名著。与同类书相比，本书内容全面，详尽，注重给出抽象理论的几何背景和起源，并配有充分反映几何本质的实例和图解。本书所需预备知识仅限于代数基础，是高年级本科生和研究生学习代数几何的优选教材。

本书首先介绍MATLAB语言程序设计的基本内容，在此基础上系统介绍各个应用数学领域的问题求解，如基于MATLAB的微积分问题、线性代数问题的计算机求解、积分变换和复变函数问题、非线性方程与*化问题、常微分方程与偏微分方程问题、数据插值与函数逼近问题、概率论与数理统计问题的解析解和数值解法等；还介绍了较新的非传统方法，如模糊逻辑与模糊推理、神经网络、遗传算法、小波分析、粗糙集及分数阶微积分学等领域。本书可作为一般读者学习和掌握MATLAB语言的教科书，高等学校理工科各类专业的本科生和研究生学习计算机数学语言的教材或参考书，可供科技工作者、教师学习和应用MATLAB语言解决实际数学问题时参考，还可作为读者查询某数学问题求解方法的手册。

本书是Springer《数学研究生教材》第142卷（GTM142），初版于1991年，这是第3版。本书内容包括现代实分析与泛函分析基础理论，全书分6部分，共23章。本书的读者对象为数学及有关专业的研究生和科研人员。

《青少年信息学奥林匹克竞赛实战辅导丛书:信息学奥赛之数学一本通》的适用对象包括：中学信息学奥林匹克竞赛选手及辅导老师、大学ACM程序设计比赛选手及教练、高等院校计算机相关的师生、程序设计爱好者等。数学是计算机程序设计的灵魂。利用数学方面的知识、数学分析的方法以及数学题解的技巧，可以使得程序设计变得轻松、美观、高效，而且往往能反映出问题的本质。在外各项程序设计比赛（比如，ACM、NOI）活动中，越来越多地用到各种复杂的数学知识，对选手的数学修养要求越来越高。编写《青少年信息学奥林匹克竞赛实战辅导丛书:信息学奥赛之数学一本通》的目的就在于给广大ACM队员、NOI选手以及编程爱好者，分析一些程序设计中常用的数学知识和数学方法。

该教材内容主要涵盖材料的基础知识介绍、原子的结构与键合、金属和陶瓷的结构、高分子结构、固体缺陷、扩散、力学性能、变形和强化机制、失效、相图、相变、电性能、材料类型及其应用、材料的合成制备与加工、复合材料、材料的腐蚀与降解、热性能、磁性能、光学性能、材料科学与工程所涉及的经济，环境和社会问题 。 本书内容全面、先进。不仅是材料学科的必修课教材，也是应用物理、化学工业、信息工程、生物工程、电子电工、车辆工程、航空航天等专业的必要补充教材。也可为专业人员提供参考价值。

本书是一本新颖、实用的线性代数教材，给出线性代数基本介绍和一些有趣应用，目的是帮助学生掌握线性代数的基本概念及应用技巧，为后续课程的学习和工作实践奠定基础。与以前的版本相比，第6版根据线性代数的新应用

该教材内容主要涵盖材料的基础知识介绍、原子的结构与键合、金属和陶瓷的结构、高分子结构、固体缺陷、扩散、力学性能、变形和强化机制、失效、相图、相变、电性能、材料类型及其应用、材料的合成制备与加工、复合材料、材料的腐蚀与降解、热性能、磁性能、光学性能、材料科学与工程所涉及的经济，环境和社会问题 。 本书内容全面、先进。不仅是材料学科的必修课教材，也是应用物理、化学工业、信息工程、生物工程、电子电工、车辆工程、航空航天等专业的必要补充教材。也可为专业人员提供参考价值。

数理逻辑是计算机科学的基础之一，在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、二元决策图、模型检查和程序验证等内容。与传统数理逻辑教科书相比，它的主要特色就是紧紧围绕软硬件规约和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法，紧致性理论和Lowenhenm-Skolem定理，并介绍了Alloy语言和Nusmv工具。 本书自出版以来受到广泛好评，已经被包括美国普林斯顿、卡内基-梅隆、英国、德国汉堡、加拿大多伦多、荷兰 Vrije，印度理工学院在

《从整数谈起》共5章，包括：整数和它的表示，同余，方程的整数解，整点与逼近，整数的应用。《从整数谈起》主要介绍整数的各种性质和由整数引申出来的各种数学问题和故事。《从整数谈起》适合数学爱好者参考阅读。

本书内容包括：集合、关系、运算与映射；群、环、域的基本概念；线性空间与内积空间；线性映射；矩阵代数等内容。

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、Lowenheim-Skolem定理等，并介绍了Alloy语言和NuSMV工具等内容。