《基谢廖夫立体几何》介绍了平面几何的相关知识及问题，共分4章，主要包括直线和平面、多面体、旋转体、向量与几何基础等相关内容，同时收录了相应的习题。《基谢廖夫立体几何》按照知识点分类，希望通过对习题的实践训练，可以强化学生对平面几何基础知识的掌握，激发读者的兴趣，启迪思维，提高解题能力。《基谢廖夫立体几何》适合中学师生、数学相关专业学生及几何爱好者参考使用。

本书提出了一种创新设计理论的综合体系，能够提升设计中所必需的创新思维和创造力。该理论构建了设计中各元素以及设计过程的模型和算法，能够帮助收集和量化概念设计阶段中可用的较为模糊的设计信息，通过推动创造性的思维和抽象性思考，促进设计的逻辑性和结构化的进程。该理论应用可拓学探索设计问题的重构和设计思维的发散，并应用公理化设计理论指导功能需求和设计参数的迭代分解，在此过程中促进创新思维和创新设计方案的产生。可拓学与公理化设计理论的协同作用，是跨专业、跨学科的协同研究和发展，同时融合了中国哲学中的抽象思维模式和西方理论中的迭代设计流程。 本书能够帮助学生以及工程、自然和社会科学、商业等多领域的从业人员建立解决设计问题的创造性和创新性的思维及方式。

化归，就是通过某种转化，将复杂的问题转化成某一类已解决或较容易的问题，是数学方法论中重要的思想之一。本书所有的数学知识都被限制在中学范围以内，能使一般读者以很高的视角去看待数学，并掌握化归这种在生活中十分重要的思维方式。

本书共分为三章， 分别是直线与圆的方程，简单几何体，概率与统计初步。本书例题、习题适中，可操作性强，材料新颖、注重原创；讲解精当、注重启发。力求方法和讲解与技能的训练、能力的提升逐步到位。本书配有单元检测试卷和期中、期末检测试卷，方便师生使用。书末提供了第四部分中课堂小测试题和单元检测试卷与期中期末检测试卷的答案或解析，便于学生自学，以 学生形成良好的学习习惯。本书针对河北省对口高考数学的培养目标设定主要内容，坚持“低起点，高品位”的统一。全书紧扣新教材和新教学大纲，突出了职教特点，比较全面、详细地讲解了教材中所有的知识点，突出了重点，突破了难点。

AlainChillès为上海交通大学教授，主要研究领域为数学和计算科学。本书为“中法 工程师培养工程丛书”之一。本书主要内容为高等数学数列与级数理论，包括数列的定义、分类，数列与函数，级数的概念与性质，运算法则，特殊级数展开等。全法语地向读者展示法国工程师预科基础阶段的高数教学。本书适合有一定法语及高数基础的理工科学生使用。书中的每部分内容都配有大量的例题。对某些重要的例题，除了给出传统的计算或证明之外，编者还结合数学计算软件Wxmaxima进行了数值验算或图像说明。这样做的目的在培养学生将理论知识转化为实际应用的能力。鼓励学生通过自己的努力求解问题，而不是做题之前先看答案。本书作者均为巴黎高科学院 老师，是自2012年来8年中法合作教学经验的成果累积，具有很强的专业性和推广可行性。

本书是与《随机过程》主教材配套使用的学习指导书，主要目的是进一步让非数学专业、工科背景的本科生、研究生轻松地学习和熟练掌握随机过程的基本概念、基本理论和基本方法，并运用随机过程知识来分析和解决实际问题。全书共六章，内容包括概率论基础、随机过程的基本概念、随机过程的均方微积分、泊松过程、平稳过程和马尔可夫过程。每章分为四部分，依次为内容提要、例题详解、习题指导、基于R语言的随机过程实验指导。本书可作为高等学校通信工程、电子信息工程和其他相关专业本科生的学习指导书，也可以作为报考硕士研究生的复习辅导书，还可作为有关教师的教学参考书。

本书共分为8章， ～5章为复变函数内容，包括复数、复变函数、复变函数的积分、级数、留数；第6、7章为积分变换内容，包括傅里叶变换、拉普拉斯变换；第8章为复变函数的MATLAB基本操作。每节配有相关的实际应用问题；每章配有相应习题及数学文化赏析，数学文化赏析主要介绍对本章内容有突出贡献的数学家；书后配有习题答案和3个附录，附录分别为区域变换表、傅里叶变换简表和拉普拉斯变换简表，方便读者查阅。本书可作为高等院校“复变函数”“复变函数与积分变换”课程的本科教材或参考书，建议学时为48学时。

本书主要研究了可靠超矩形的设计问题，并将提出的算法应用于复杂系统——综合传动装置变速器控制系统，主要内容和结果如下：1.以可靠超矩形的体积 为目标提出了可靠超矩形算法。2.提出了寻找体积 的可靠超矩形的全局算法。3.研究了多目标可靠超矩形设计的问题。4.研究了系统存在不确定性时，如何以 小的代价把一个不可靠的设计点转换成可靠的设计点。

本书以数理逻辑和算法理论的进化为主线，并结合计算机与人工智能学科的发展为其主要特色进行论述。本书共分8章，主要内容包括算法化和公理化矛盾统一的数学史观，逻辑的数学化，集合论公理化，数学基础问题三大派之争，数理逻辑主要内容的形成，丘奇-图灵论题的创立和计算机的出现，计算机科学与算法，人工智能与算法。其中后两章介绍了计算机科学、人工智能与算法的关系。本书适合作为高等院校人工智能、计算机科学、数学、哲学等本科专业学生及研究生对应课程的学习教材，也适合作为从事计算机科学和人工智能应用与开发的科技人员的参考用书。

本书主要讨论高维时间序列的白噪声检验方法和条件异方差检验方法。由于高维时间序列的一个特点是其内部结构往往十分复杂，构造的白噪声检验和条件异方差检验的统计量的渐近分布形式通常十分复杂，同时包含一些难以直接估计的参数，这就导致其临界值难以获得。针对上述问题的一个解决方法是构造适当的bootstrap方法获得统计量的临界值，bootstrap方法的优点是可以避免对渐近分布中的复杂参数的估计，直接获得统计量的渐近分布。本书分为三章。 章介绍一元和多元时间序列的白噪声检验方法和条件异方差检验方法，同时介绍一些用于时间序列上的bootstrap方法；第二章介绍高维时间序列的白噪声检验方法；第三章介绍高维时间序列的条件异方差检验方法。