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

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

橄榄又称白榄、青果、黄榄，原产中国南部地区，是我国南方的热带南亚特产水果和药用植物。橄榄在我国已有2000多年的栽培历史，以福建、广东种植最多，广西、中国次之，海南、四川、重庆、云南、贵州、浙江等地也有一定栽培面积。 ?? ?? ??橄榄味酸涩，香甜之味久嚼方得，所以民俗取其苦尽甘来的寓意，把它当作吉祥如意的象征；橄榄气味特别清香，能增进食欲，舒畅神志，为茶余酒后佳品。除鲜食外，还可以开发出多种蜜饯、果汁等食品。橄榄属于卫生部批准的既是食品又是药物的69种物品之一，药用价值很高。近年的研究成果表明：橄榄富含钙和有机铬，在水果中名列前茅；橄榄性味甘酸涩平，有解毒生津，清肺利咽之功效，还有减肥降脂的作用，其根、果、仁、核、叶、花粉等均可入药。因此，橄榄综合开发利用价值很高。 ??本书主要介绍了橄榄生

无

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

极限是从初等数学跨向高等数学的一座重要桥梁。在青少年阶段或更早吸收了解极限先进思想和概念，无疑对他们的人生发展有着不可估量的影响。本书图文并茂，根据青少年的思维特点，沿初涉极限、计算极限、研究极限和极限的主线，生动详尽地论述了古今无数大家对于极限的探索和认识过程、他们遇到的千难万阻、他们开辟的创新之路和他们给人类留下的巨大财富。有志青少年读者已经不满足道听途说或一知半解，他们所需要的不仅是有趣的轶事和数学典故，而且还要知道大师们的具体解决办法。本书限于用初等的方法给出开普勒计算酒桶体积、球堆积猜想、牛顿一般二项式定理和高斯的二乘法。这无疑是一个大胆的尝试，即使从高等数学角度来说还不够严格，但是作为满足青少年的求知欲望和进一步创新的动力还是非常值得做的。本书适合具有中学及以上

本书共分四章重积分、曲线积分、反常积分及依赖于参变量的积分，向量分析及场论，微分几何基础，傅里叶级数，理论部分叙述扼要，应用部分叙述详尽。

《先驱者的足迹—高等数学的形成》一书于2004年由东北大学出版社印刷出版，并于2005年第二次印刷。?现有的高等数学教材及习题集等书籍早已琳琅满目，单纯叙述数学史的书籍也日渐增多。但阐述高等数学主要概念的发展、演变历史以及其中包含的深刻思想的书籍并不多见。?版图书的出版目的在于为大学高等数学提供配套的读物作为课堂内容的补充，能够让学生了解到课本中所学内容的产生、发展、思想方法及相关发明者的奋斗过程。同时大学数学教师也需要这样的参考资料以丰富自己的教学内容。?在河北省科学技术厅科普原创资助专项（项目编号：15K56227D）的资助下，第二版图书得以出版。这次再版图书将读者范围从大学生、大学数学教师以及数学爱好者，扩展到了中学生以及年龄更小的数学爱好者。内容仍以?版图书为基础，从数学的起源与早期发展、初等