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

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

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

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

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

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

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

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

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

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

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

逻辑学是研究思维形式的结构及其规律以及认识事物的简单逻辑方法的科学。逻辑学作为思维科学，与人的智能的培养与提高联系极其密切。逻辑学具有全人类性、基础性、工具性与规范性，被称为人类成员都得学习与掌握的“思维的语法”。学习逻辑学，有助于培养和提高认知自学能力，有助于培养与提高理论素养，有助于培养和提高科学研究能力，有助于培养和提高思维素质。逻辑学在智力开发、思维素质的培养与提高方面，具有其他学科与课程不可替代的重要作用。当今世界，逻辑学已渗透到许多学科领域，诸如哲学、心理学、计算机科学、语言学、物理学、法学、伦理学等。许多国家，尤其是欧美发达国家对逻辑的研究和普及倾注了巨大的人力、财力、物力。20世纪80年代，联合国教科文组织正式将逻辑学列为数、理、化、天、地、生同等重要的基础学科。