本书介绍了矩阵及其相关内容，共有17章，主要介绍了矩阵及其运算、高斯算法及其一些应用、n维向量空间中的线性算子、矩阵的特征多项式与最小多项式、矩阵函数、多项式矩阵的等价变换（初等因子的解析理论）、n维空间中线性算子的结构（初等因子的几何理论）、矩阵方程、U－空间中的线性算子、二次型与埃尔米特型等内容。书中配有相关的例题及解答，可供读者更好地了解相应的内容。 本书适合高等院校师生和数学爱好者参考阅读。

本书系统地阐述了以状态空间方法为主的线性系统的时间域理论。全书共12章：第1章介绍与本书密切相关的一些数学基础知识；第2章介绍线性系统的数学描述；第3-5章阐述线性系统的分析理论，分别介绍线性系统的运动分析、能控性和能观性分析以及稳定性分析；第6-10章阐述线性系统的设计理论，分别介绍线性系统的极点配置和特征结构配置、镇定与渐近跟踪、线性二次型最优控制、解耦控制、状态观测器等设计问题；第11章概括性地介绍离散线性系统理论；第12章介绍鲁棒性的概念和几个基本的鲁棒控制问题。

. 本书针对大数据决策理论中涉及的安全可靠风险问题，以及可靠性与精确性的制约折中优化的问题，将研究的重点主要集中于基于Bayesian统计推断的粒子滤波算法的研究和应用，在论述粒子滤波算法的同时，主要融入了作者新的研究思想，即点估计观测值 先验概率，同时将多尺度的概念融入粒子滤波中，形成了具有多尺度粒子滤波的算法，利用不同粗细尺度对动态系统状态空间中的一条马尔可夫链进行交替耦合采样，借助于传递和更新状态信息及参数信息来搜索状态和参数的最大联合后验分布似然函数。细尺度的重要采样能保持精度，粗尺度的重要采样能提高运算效率，粗细尺度交替耦合采样则能有效抑制粒子的退化现象。本书为深度学习人工智能并深入研究奠定坚实的理论基础。 本书适合对大数据、统计信号处理、数字孪生系统故障传播根因诊断以及人工智

本书介绍了多元统计分析的方法和理论，以及R语言计算，涵盖了经典多元统计分析的全部内容，包括：矩阵运算知识、数据可视化与R语言、多元正态分布、多元正态总体的抽样分布、多元正态分布的参数估计、置信域和假设检验、线性回归模型、多元多重回归分析、主成分分析、因子分析、判别分析、聚类分析和典型相关分析等内容，以及R语言的应用。本书除了重点介绍各种多元统计分析的思想、方法和理论外，使用R语言进行计算和数据可视化也是本书的特色，对书中所有的多元统计分析方法和理论都给出了R语言程序和应用，有大量翔实的应用案例可供参考，并配有相当数量的习题可供练习。 本书取材新颖、内容丰富、阐述严谨、推导详尽、重点突出、思路清晰、深入浅出、富有启发性，便于教学与自学。

本书分两部分，上部为堆垒素数论;下部为指数和的估计及其在数论中的应用。第一部分是关于堆垒素数论方面苏联维诺格拉陀夫院士的研究方法和作者自己的研究方法的总结性论著.在这部分中给予维诺格拉陀夫院士的中值定理以显著的中心地位，并且改进了它.作者把华林问题与哥德巴赫问题的研究方法结合起来，井把华林问题一方面推广到每一加数是整系数多项式的情形，一方面限制变数仅取素数值.作者把塔锐问题也加上了变数只取素数值的限制，同时又讨论到更广的素未知数的不定方程组。下部主要讨论了指数和的各种估计方法及其应用，特别讨论了这些方法对Waring问题及问题的应用.除此而外，也谈到了解析数论的其他一些问题与方法.这部分不仅综合了这几方面的结果与文献，更重要的是对其中绝大部分重要的结果都给出了较完各的提纲性的证明。

本书是作者在为研究生开设代数拓扑学课程的讲义基础上整理而成的，全书共九章，第零章为预备知识，前三章介绍单纯同调论，第四章为当前流行的范畴论，从第五章开始介绍在一般空间上的连续同调论。后四章是CW空间、一般系数的同调论、乘积空间的同调论和Steenrod运算。本书论述严谨，深入浅出，作者力图从较直观的几何概念出发引出极为抽象的概念。

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

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

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

《高等数学引论2（英文版）Introduction to Advanced Mathematics（2）》 是我国著名数学家华罗庚在上世纪60年代编写的教材，曾在中国科学技术大学讲授。全书包含了微积分、高等代数、常微分方程、复变函数论等内容。全书反映了作者的“数学是一门有紧密内在联系的学问，应将大学数学系的基础课放在一起来讲”的教学思想，还包括了作者的“要埋有伏笔”、“生书熟讲，熟书生温”等教学技巧，书中还介绍了数学理论的不少应用。这使得本套书不同于许多现行的教科书，是一套有特色、高水平的高等数学教材。 《高等数学引论2（英文版）Introduction to Advanced Mathematics（2）》 册包括实数极限理论、微分和积分及其应用、级数理论、方程的近似解等内容、多元函数的微积分、多重级数理论、曲线及曲面、场论、Fourier级数、常微分方程组等内容；第二册主要介绍复变函

全书基本涵盖了《高等数学》中所需的初等数学内容。本书按初等数学的学习顺序分八章进行编写，章代数式、第二章方程与不等式、第三章函数概念与二次函数、第四章指数函数与对数函数、第五章数列、第六章三角函数、第七章平面解析几何、第八章复数简介。每章后附有精选的习题，全书的最后给出了习题的答案和证明题的提示。本书的编写精简、扼要，能在较短的时间内补足学习《高等数学》所需的预备知识。 本书适合于各大专院校的学生复习；各类国家高等教育自学考试的学生、网络学院的学生、广播电大的学生自学补习或集体补习初等数学之用。

本书共24讲，主要包括数列与函数极限，函数的连续与间断，导数与微分的概念及法则，微分中值定理与洛必达法则，函数单调性与极值问题，不定积分，定积分的概念、理论与计算，定积分的几何应用与物理应用，向量及其运算，曲面与曲线，多元函数微分学，二重积分和三重积分，曲线与曲面积分，无穷级数，微分方程。 本书的主要特点是与教材同步，内容分级，以满足不同层次和不同类型读者的需要。本书各讲结构相同，包括内容提要、重点难点、典型方法与例题、习题四部分。 本书作为教学参考书，供高等学校师生参考，也可作为考研的辅导教材。

《高等数学疑难问题选讲》是“高等学校大学数学教学研究与发展中心”立项资助的教学研究项目成果。《高等数学疑难问题选讲》编写的主要目的是为了帮助从事“高等数学”教学的青年教师更深刻地领会教学内容，提高教学水平和教学能力。全书分章按问题编排，各问题之间相对独立，便于读者查阅。

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