本书共分为5章，主要概括如下：第1章介绍全书的基本概念和符号，包括半群、自由半群、本原字、代数码的运算。第2章介绍自动机基本理论。第1节介绍自动机的定义和表达方式、可识别语言等概念，以及著名的Pumping引理。第2节介绍语言的正则性和可识别性等价。第3节介绍语言的可识别性和有理性等价，进而得到语言的正则性、可识别性和

本书包含了集合论与图论课程需涵盖的概念、理论、方法和应用,主要包括两部分:集合论与图论。集合论部分主要包括集合及其运算、映射及其合成、关系及其运算、无穷集合及其基数;图论主要包括图的一些基本概念、一些特殊的图、树及其性质、割点和桥、连通度和匹配、平面图和图的着色、有向图等。

本书系统地介绍了空程大学团队在过去十多年取得的研究进展，共分为6章，包含激励特性、理论模型和流动调控三大部分。本书力求将理论性和实践性相融合，先通过严谨的数学公式推导得出等离子体合成射流激励器的重频解析模型，再通过综合实验测试诊断验证理论预测、总结出能够指导激励器设计的均一化无量纲规律。

本书共12章，涵盖名词解释、填空题、选择题、简答题、计算题和证明题六种题型，为掌握半导体物理学的基本理论知识奠定坚实的基础。

人类怎样才能创造出具有生命特性的分子？这正是本书作者和他的团队多年来所研究的问题。本书作者是一位诺贝尔化学奖得主，他用朴实易懂的语言带领读者走进奇妙的化学世界，分享了他从对科学充满好奇心的懵懂少年成长为化学领域巨擘的非凡旅程，讲述了其研究团队在合成化学、分子机器和超分子化学领域所取得的革命性成就。本书还探讨了生命起源的

这是一套由中科院物理所联合知名青年插画师粉塔共同创作的给7-12岁孩子讲解物理知识的科普漫画，共8册，涵盖物质、声、光、热、电磁、力、相对论和量子力学8大主题，兼顾经典物理和前沿科学，100个知识点紧扣新课标教材，用代入感强的生活场景和轻松有趣的故事情节，为孩子讲解生活中的物理现象。来自莫雷星的外星小孩意外来到了地球，

九篇交叉学科学术论文，分别由各个方向的数学专家撰写，向你展示蕴于艺术的数学、数学带给我们的美学体验，以及如何借由艺术的感性形式传达数学的理性思想。上至文艺复兴时期的大师之作，下至当代数学家闲时创作的艺术作品，都与严谨的数学推导密不可分。

古希腊欧几里得的《几何原本》，是一本科学史上极具影响力的巨著。它从一些公设、公理和概念出发，以形式逻辑的方法，建立了人类历史上第一座宏伟的演绎推理大厦欧氏几何学。但《原本》篇幅较大、不易理解，本书对《原本》进行解读，选择了其中一些定理（以三角形内角和定理和毕达哥拉斯定理为重点），也介绍了尺规作图，形式逻辑以及《原本》对

涉水光学是探索光学在涉水领域中应用的科学。《涉水光学》*先介绍光与水的物质相互作用及跨介质传播；其次，介绍几何光学及成像定律；再次，从光学成像的历史背景出发，详细阐述涉水光学数据获取，涉水光学信息的传输与处理；*后，介绍涉水光学的典型应用场景——水下安防。

《凸优化的分裂收缩算法》以简明统一的方式介绍了用于求解线性约束凸优化问题的分裂收缩算法。我们以变分不等式（VI）和邻近点算法（PPA）为基本工具，构建了求解线性约束凸优化问题的分裂收缩算法统一框架。在该框架中，所有迭代算法的基本步骤包括预测和校正，分裂是指通过求解（往往有闭式解的）的凸优化子问题来实现迭代的预测;收缩指