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

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

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

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

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

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

本书是作者多年来在大学生数学竞赛辅导和考研辅导经验的基础上编写而成的．全书共分为13 章，每章包括4 个模块，即知识要点、典型例题分析、深化训练以及深化训练详解．本书编写的目的主要有两个：一是帮助工科类、经管类本科生备考全国大学生数学竞赛，使学生能够在短时间内迅速掌握各种解题方法和技巧，提升学生综合分析问题、解决问题的能力；二是为了满足工科类、经管类本科生考研的需要. 在例题和习题选编方面，精选了部分有代表性的数学竞赛真题和考研真题，同时注重例题、习题的创新，按题型分类进行合理编排，使学生能够尽快地适应考研题型，从容应对考试.本书既可以作为普通高等院校工科类、经管类本科生参加全国大学生数学竞赛的辅导用书，也可以作为工科类、经管类本科生考研深化训练用书．

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

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

本“导论”是中国科学技术大学非数学专业通用的讲义，是在40年的使用过程中，经过不断的修订、充实而成的。 与同类书相比，其广度有所拓宽，论证定理、公式逻辑严谨，编排内容循序渐进，阐述概念联系实际，深入浅出。 为加深对概念、定理等的理解和掌握，书中编有丰富的例题，以及习题和总复习题。 本“导论”分三册出版。本册讲述单变量函数微积分，中册讲述空间解析几何、多变量函数微积分，下册讲述组数与常微分方程。 本书另配学习辅导一册。 本册内容包括函数的极限，单变量函数的微分学，单变量函数的积分学，可积常微分方程共四章。 本“导论”可作理工科院校非数学专业或师范类院校数学专业的教材或教学参考书，也可供具有数学基础的读者自学。

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、Lowenheim-Skolem定理等，并介绍了Alloy语言和NuSMV工具等内容。 本书适宜作为高等院校计算机及相关专业的数理逻辑/形式化方法课程的教材，也可供相关研究人员和专业人士参考。

索伯列夫函数和有界变差函数均具有弱收敛甚至不连续性质。这类函数在逼近理论、变分学、微分方程、非线性位势理论等诸领域占有很重要的地位。本书的讨论是建立在实分析的框架上，重点放在以实变函数方法为手段的实序空间的分析，讨论了上述两函数的点态特征。全书论述清晰、易于入门，是该方面较好的研究生教材。

本书是一本参赛的指导书，同时也是一本学习微积分的复习书。我们对微积分的内容进行整理归纳出知识要点，并通过典型例题的解法分析加以综合，使读者对微积分的每个知识点得以融会贯通。当前，我国从小学到高中都是围绕着升学的指标指挥棒转，学习为应试，其结果是：会套模式解题，不会尝试分析解决问题，长期的教育熏陶，使人形成了思维惯性。我们希望通过数学竞赛，通过本书的学习，能慢慢改变你的思维方式。数学需要运算能力、空间想象能力和抽象思维能力等，做习题对学好数学是重要的，在做运算难度大、步骤长及需要技巧的数学题的过程中有时最能获得数学知识，最能培养分析问题、解决问题的能力。看书和动手解题相结合必能使你学会如何去理解数学知识、如何去分析推理，从而对背景和题型稍新的数学问题不再束手无策，最终培养自己

本书论述当代统计方法和非线性时间序列分析，着重阐述过去十年发展起来的非参数和半参数技术。主要内容包括相空间、频域及时域中的建模技术；为说明参数方法和非参数方法在时间序列数据分析中的一体性，本书给出某些参数化非线性模型的*论述，如ARCH／GARCH模型和阈值模型；以及关于ARMA模型的一个简洁观点。本书始终使用实际应用中得到的数据，阐明如何借助非参数方法揭示高维数据的局部结构。本书还介绍了一些重要的技术工具。本书适合研究生，时间序列分析方面的实际工作者，该领域不同程度的研究人员。本书在统计界和诸如计量经济学、实证金融学、群体生物学及生态学之类的其他广泛领域都有其价值。阅读本书需要概率论和统计的基本知识。

《高等数学》是理、工、农、经、管、法等各专业大学生专升本的必考课程，但因专升本考试的特殊性，山东省教育厅没有规定对应的专升本使用教材，为了便于学生在备考专升本时有一本 性强、科学性强、实效性强、针对性强的书籍，编者编写了本书。 本书根据山东省专升本《高等数学》考试大纲规定的范围编写，紧扣考试要求，使学生在复习过程中清晰明了，准确把握知识点，快速提升专业知识。 本书包括《基础知识精讲》《考点解析与强化训练》《全真模拟试题及解析》三册。

本书以三维空间的向量运算和微分几何为理论基础，以几何学在生产实际中的一些应用为主要内容，论述了微分几何在机械设计和加工、船体的设计和制造等方面的一些应用。全书共分八章，第一、二、四章是基础知识，系统地介绍了曲线论和曲面论，第三章等距曲线是为解决凸轮型线设计问题而设的，第五章论述齿轮啮合问题，其余三章论述曲线的拟合与设计、曲面的相交与展开、曲面的拟合与设计．本书的着重点在于数学模型的建立。

本书针对具有人工智能的内容搜索产生的信息几何与几何不变量问题，探索一种新的内容搜索方法，从信息学角度出发，给出几何不变量，并研究其几何不变量的性质，为内容搜索问题提供有效的解决方案。本书包含高维信息几何的数据相似性度量、非标准同源连续性、图像夹角特征提取方法以及交互式图像内容信息几何搜索方法、基于高维信息几何的手势识别、图像特征提取方法、视频人脸检测与预处理、几何代数不变量、共形几何代数不变量、空间点元素结构的不变量和空间线元素结构的不变量。