本书共有三角形、几何变换，三角形、圆，四边形、圆，多边形、圆，完全四边形，以及最值，作图，轨迹，平面闭折线，圆的推广十个专题。对平面几何中的500余颗璀璨夺目的珍珠进行了系统地、全方位地介绍，其中也包括了近年来我国广大初等几何研究者的丰硕成果。 本书中的1500余条定理可以广阔地拓展读者的视野，极大地丰厚读者的几何知识，可以多途径地引领数学爱好者进行平面几何学的奇异旅游，欣赏平面几何中的精巧、深刻、迷人、有趣的历史名题及近期新成果。 该书适合于广大数学爱好者及初、高中数学竞赛选手，初、高中数学教师和数学奥林匹克教练员使用，也可作为高等师范院校数学专业开设“竞赛数学”“中学几何研究”等课程的教学参考书。
《矩阵计算》是已故美国科学院院士、美国工程院院士吉恩 戈卢布（Gene H. Golub）等人的经典巨著，是矩阵计算领域的标准性参考文献。本书系统介绍了矩阵计算的基本理论和方法．内容包括：矩阵乘法、矩阵分析、线性方程组、正交化和*小二乘法、特征值问题、Lanczos 方法、矩阵函数及专题讨论等．书中的许多算法都有现成的软件包实现，每节后附有习题，并有注释和大量参考文献．第4 版增加约四分之一内容，反映了近年来矩阵计算领域的飞速发展。
本书是理工科、技术学科、经济与管理、医学、农林等类学生学习高等数学课程的学习辅导书。全书共八章：极限与连续，一元函数微分学，一元函数积分学、空间解析几何、多元函数微分学，多元函数积分学、级数和常微分方
本书是Springer《Graduate Texts in Mathematics》系列丛书第150卷。为了更好的理解交换代数，运用几何的观点去研究交换代数，也就是代数几何学观点，是本书的一大特色。作者从基本观点——局部化以及自分解理论出发，通过对维数理论、微分理论、同调方法、自由解理论和对偶性的研究，强调该理论的出发点以及它们与数学其他部分的联系，练习中大量的引用强化了对该理论的理解。本书的还专门运用了一章来讲述Grobner基本观点以及基于这个关点的对交换代数以及代数几何很有建设性的方法。
吉米多维奇高数 线代 概率论 微积分习题精选精解套装（共4本）,山东科技 【新华正版图书书籍】 作者 张天德//李勇 原价 ￥156.80 出版社 山东科技 出版时间 2010-10-01
该教材内容主要涵盖材料的基础知识介绍、原子的结构与键合、金属和陶瓷的结构、高分子结构、固体缺陷、扩散、力学性能、变形和强化机制、失效、相图、相变、电性能、材料类型及其应用、材料的合成制备与加工、复合材料、材料的腐蚀与降解、热性能、磁性能、光学性能、材料科学与工程所涉及的经济，环境和社会问题 。 本书内容全面、先进。不仅是材料学科的必修课教材，也是应用物理、化学工业、信息工程、生物工程、电子电工、车辆工程、航空航天等专业的必要补充教材。也可为专业人员提供参考价值。
本书是Springer《数学研究生教材》第142卷（GTM142），初版于1991年，这是第3版。本书内容包括现代实分析与泛函分析基础理论，全书分6部分，共23章。本书的读者对象为数学及有关专业的研究生和科研人员。
本书内容包含了曲线论、曲面论、张量分析、变分法和积分方程的理论和应用背景.曲线论与曲面论中介绍了微分几何基础知识，并对于它们如何用于工程和物理学研究做了一定的分析.张量分析中，针对专业特点，讨论了笛卡儿张量和一般张量，为了让读者深刻了解场论知识，作者详细地介绍了张量场的理论和计算方法，这些内容拓展了场论深度和广度.变分法和积分方程内容的重点是它们的基础理论和如何用它们直接求解实际工作中会遇到的微分方程，特别对于用变分法和积分方程解初始问题和边值问题的直接解法，有详细的介绍.本书提供了大量的例题和习题，以供学生课前和课后练习.读者只要具有高等数学、线性代数和微分方程的基础知识就可以顺利地阅读本书，本书介绍的内容是本科阶段所学数学物理方法的继续，是工程和应用物理类高年级本科生和研究
该教材内容主要涵盖材料的基础知识介绍、原子的结构与键合、金属和陶瓷的结构、高分子结构、固体缺陷、扩散、力学性能、变形和强化机制、失效、相图、相变、电性能、材料类型及其应用、材料的合成制备与加工、复合材料、材料的腐蚀与降解、热性能、磁性能、光学性能、材料科学与工程所涉及的经济，环境和社会问题 。 本书内容全面、先进。不仅是材料学科的必修课教材，也是应用物理、化学工业、信息工程、生物工程、电子电工、车辆工程、航空航天等专业的必要补充教材。也可为专业人员提供参考价值。
本书面向图论、组合数学和离散数学领域的研究生及研究人员，主要论述代数与图论之间的关系，阅读本书只需具备线性代数及群论方面的基础知识，因此本书也适用于高年级本科生。目次：图；群；传递图；反传递图；广义多项式和穆尔图；克内泽尔图；矩阵理论；交错；强正则图；二图；线图和本征值；图的拉普拉斯算子；切割与流量；秩多项式；纽结；纽结和欧拉循环。读者对象：数学专业的研究生及高年级本科生。
数理逻辑是计算机科学的基础之一，在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、二元决策图、模型检查和程序验证等内容。与传统数理逻辑教科书相比，它的主要特色就是紧紧围绕软硬件规约和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法，紧致性理论和Lowenhenm-Skolem定理，并介绍了Alloy语言和Nusmv工具。 本书自出版以来受到广泛好评，已经被包括美国普林斯顿、卡内基-梅隆、英国、德国汉堡、加拿大多伦多、荷兰 Vrije，印度理工学院在
本书根据*制定的“高职高专教育基础课教学基本要求”编写，内容包括一元函数微积分、多元函数微积分、微分方程、无究级数、线性代数等。围绕高职高专教育的培养目标，充分体现基础课以应用为目的，以必需、够用的原则，讲清基本概念，简化理论证明，注重对学生进行数学方法和数学知识运用意识的培养。 --此文字指本书的不再付印或绝版版本。
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、Lowenheim-Skolem定理等，并介绍了Alloy语言和NuSMV工具等内容。 本书适宜作为高等院校计算机及相关专业的数理逻辑/形式化方法课程的教材，也可供相关研究人员和专业人士参考。
本书通过图解的形式，在逻辑上穿针引线，讲解了大学公共课“线性代数”的相关知识点，也就是经典版本的《线性代数》中的 大多数知识点。这些知识点是相关在校学生的必修课程，也是从业人员深造的必要知识。本书引入了矩阵函数，从函数角度讲解了向量空间、线性方程组求解、矩阵的秩、行列式、相似变换、特征值特征向量、二次型等知识，逻辑上一以贯之，再辅以很多生活案例，大大降低了学习门槛。
本书是以大学理工科的《高等数学》的教学大纲为依据，结合大学教学大纲并参考最主流教材编写而成。内容简练明确，解决问题透彻明了，易学易用。本书的结构特点是，在每章的开头，首先列出本章的知识要点，然后扼要论述知识分析和学习要求，随后通过丰富的典型例题，详细讲述解析方法和答案，最后附有极具针对性的习题与自测。 本丛书具有三导合一的特点：集中知识要点导学，典型例题与习题导讲，知识点学习和自测紧密导练。 本书适合学习《高等数学》的大学理工科学生使用。
本书是作者根据多年从事高等代数与解析几何课程教学的经验编写而成的, 在编写中尽量站在学生的角度来合理地安排全书的结构体系, 将二次型及 其矩阵的特征值这一历史上的经典问题作为引入整个课程内容的一条叙述主 线, 真正将高等代数与解析几何有机地结合起来, 相得益彰. 本书对每一个重 要概念都尽可能地给出要引入的理由, 努力讲清楚抽象概念和理论的内涵(包括其思想来源与相关的几何意义等), 特别是对线性空间和线性变换这两个中 心概念就更是如此. 本书还比较细致地解说了各个主要定理的推理步骤, 并安 排了不少典型的例题和习题来指导学生理解和运用这些定理. 本书分上、下两册. 上册主要内容包括: 空间向量、平面与直线、矩阵 初步与 n 阶行列式、矩阵的秩与线性方程组、多项式、矩阵的相似与若尔 当标准形.
本书是一部适用于大学非数学类本科各专业（主要是工科及经济、管理类专业）的高等数学课程教材。全书分两册出版，分别标副标题：一元微积分、多元微积分。本册为多元微积分部分，主要由向量及空间解析几何、多元函数微分学、二重积分、平面曲线积分、多重积分、第二型曲面积分、傅里叶级数等7章组成，书末附练习与习题参考答案及主要参考书目。涉及内容的深广度符合工学、经济学各专业对相应课程内容的教学要求，也能达到全国硕士研究生入学统一考试数学考试大纲的相应要求。本书的编写比较注重教学法，并注意融入了编者们长期执教与研究这一课程教学的经验，以及对时代发展与高等教育大众化进程对高等数学课程提出新挑战的认识，因而对内容的展开、描述比较注意激发学生的学习兴趣，力求符合多数学生的认识规律。全书注重基本概念、基
