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

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

编写此书，是希望为我国的大学生和数学爱好者提供一本提高数学素质(特别是分析问题和解题能力)的有益读物，同时也为高校数学教育提供一本很有特色的教学参考书。 本书共有三篇：篇，汇集了北京市大学生数学竞赛届至第二十一届的全部试题，并给出了解题思路及较详细的参考解答；第二篇，选编了我国部分省市和高校的大学生竞赛的试题，对其中大部分给出了较详细的参考解答、答案或提示，有的给出了解题思路；第三篇，编入了、第二届全国大学生数学竞赛及国外一些大学生数学竞赛的试题，并给出了解题思路及较详细的参考解答。

自上世纪20～30年其出现开始，群的上同调就成为了代数与拓扑学的交叉领域，并且促成了重要的新数学研究领域的创建，诸如同调代数和代数K-理论。该书是本综合论述有限群的上同调的书。书中介绍了最重要也是最有用的代数和拓扑方法，研究了有限群的上同调与同伦论、表示论和群作用之间的关系。书中的各理论与实例的结合，连同各种重要的经典群（对称群、交错群、李型极限群以及各种散在单群）的上同调的计算方法

序玩转智力的魔方

本书较为系统地论述了基础教育数学课程和教学理论，为方便读者学习，特别注意全书内容自成系统。全书共六章，分别论述了数学课程与教学的涵义，数学课程与教学的研究对象、研究方法；数学课程与教学的目标；数学课程内容与教学方法的选择；数学课程与教学的组织和实施；数学课程与教学的评价；数学课程与教学研究的发展趋势等。本书在编写上注意数学课程和教学理论与数学教学实践的联系，注意精选案例，力争做到理论与实践的较好结合。

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

本书从数理逻辑模型论的基本知识开始，循序渐进地给出近十几年来在稳定性和单纯性理论中涌现出来的新成果、新方法。阅读本书可了解模型论研究的新动态，直接深入到这一领域的研究前沿。书中有一些习题，可加深对本书内容的理解；每章的结尾都有历史附注，交代这一章的主要来源；书末有较完整的参考文献，便于读者做进一步的研究。本书可作为数学系、计算机系或哲学系的研究生教材，也可供相关专业的大学生、研究生、教师以及有关的科技工作者参考。

本书首先介绍MATLAB语言程序设计的基本内容，在此基础上系统介绍各个应用数学领域的问题求解，还介绍了较新的非传统方法，如模糊逻辑与模糊推理、神经网络、深度学习、进化寻优算法、小波分析、粗糙集数据处理及分数阶微积分的计算方法等。 本书可作为一般读者学习和掌握MATLAB语言的教科书或高等学校理工科各类专业的本科生和研究生学习计算机数学语言的教材或参考书，也可供科技工作者、教师学习和应用MATLAB语言解决实际数学问题时参考，还可作为读者查询数学问题求解方法的手册。

本书根据高等院校理工类专业《工科类本科数学基础课程教学基本要求》及考研大纲编写而成，本书是多年教学改革与实践的经验总结。主要内容包括：函数与极限、导数与微分、微分中值定理与导数的应用、不定积分、定积分、定积分的应用、空间解析几何与向量代数、多元函数微分法及其应用、重积分、曲线积分与曲面积分、无穷级数、微分方程等知识。每章内容循序渐进，既考虑到一般工科高等院校学生使用，又考虑到考研的实际需求，特没置了知识结构图、基本要求、典型题型解题方法与技巧、综合与提高、同步自测等环节，不仅适合普通高等院校理工类、经管类本科专业的学生使用，还可以作为教学参考书或考研辅导用书。