逻辑定理的机器证明是人工智能领域人们最早从事研究的课题。本书从逻辑定理的人工证明和机器证明两方面来展现逻辑定理证明的艺术，而机器证明又从定理的自动证明和计算机辅助证明两个方面来展现。本书首先用作者构造的命题演算系统FPC和狭谓词演算系统FQC完成常用逻辑定理的人工证明(一种自然推理证明)。其次，用逻辑定理的机器证明工具

本书是一部系统地介绍Nabla离散分数阶系统理论的专著,其中包含了许多原创性成果和未解问题.针对Nabla离散分数阶系统,本书讨论了其稳定性分析和控制器设计问题,为了便于验证所提理论,还介绍了数值实现方法.本书由浅入深、循序渐进地展开,虽不是字斟句酌的教科书,但所给出的结论均提供了巧妙且严谨的证明,既介绍了灵感来源,提

第1章介绍规范变换、正则量子化和经典量子对应。第2~5章从规范场的观点统一论述Aharonov-Bohm效应，自旋-轨道耦合动力学，Berry相因子及其应用；揭示Dirac磁单极，超导体Josephson效应和量子态拓扑相因子的关系；动力学旋转对称和分数量子化角动量。第6~7章介绍路径积分。量子隧穿的瞬子方法及在分子磁

本书为“聚集诱导发光丛书”之一。全书共分为7章，第1章介绍了聚集诱导发光分子在水环境应用中的瓶颈问题和解决方案；第2章介绍了基于聚集诱导发光的金属离子检测；第3章介绍了基于聚集诱导发光的阴离子检测；第4章重点介绍了聚集诱导发光荧光探针在环境样品pH检测中的应用；第5章介绍了聚集诱导发光材料对有毒气体的检测；第6章介绍了

本书主要讨论无穷维Hamilton系统，旨在用现代非线性分析的框架研究无穷维Hamilton系统。本书先介绍无穷维Hamilton系统的定义和性质，同时选取现代非线性分析中的常见问题为例解释其应用。我们采用变分的方法，建立统一的变分框架并且发展一些抽象的临界点理论来处理无穷维Hamilton系统。特别地，对于量子理论中

《高等概率论》从Kolmogorov公理化体系出发,主要讲授高等概率论的基础概念和基本方法,分概率论、随机过程和鞅论三部分内容.《高等概率论》共十章,具体包括绪论、概率空间与随机变量、分布与积分、条件数学期望、随机变量列的收敛、特征函数及其应用、随机过程基础、鞅论基础、可选时定理的应用、随机点过程等.《高等概率论》在内

本书分为上、下两册，上册包括力学基础和热学两大部分；下册包括电磁学、光学和量子力学三大部分．本册为下册，共7章，主要内容包括静电场、稳恒磁场、变化的电磁场、几何光学、波动光学、量子力学、量子力学新应用等．本书采用经典知识体系，反映新科技发展方向，注重体现各部分知识之间的内在联系，同时保持难度适中．本书结构清晰、表述精练

本书系统介绍了基于声线法研究高斯行波对球形粒子的声辐射力和球面聚焦超声对球形粒子的声辐射力，基于声散射法研究平面波和高斯行波对球形粒子的声辐射力，高斯驻波对球形粒子的声辐射力和高斯行波对多层球形粒子的声辐射力，介绍了其他声源的声辐射力，包括中空聚焦换能器和环状活塞换能器产生的波束，零阶准贝塞尔高斯波束和艾里高斯波束，还

近半个多世纪，中外学者对力学史研究倾注了大量心血和精力。学者们在研究中发现中国古代力学知识发展不同于西方近代经典力学体系，笔者借鉴科技训诂、发生认识论和原始思维等研究方法，从直觉知识、理论知识和实践知识等方面对中国古代力学知识进行文本分析，术语、思想探源和力学实践探讨，尝试建构中国古代力学知识体系。研究发现，中国古代力

在排序问题的研究中,一方面问题模型求解方法的多样性,另一方面实际的生产和服务需求使得问题新模型不断涌现,使得经典排序的基本假设被不断突破.工时可变的排序问题,是一类非常重要的非经典排序问题.《工时可变的排序模型与算法》介绍了工时可变排序问题的重要性和现实意义,介绍了三类工时可变的排序问题,以及在重新排序中的应用.《工时