信念修正是人工智能的研究分支之一。在哲学，认知心理学和数据库更新等领域中，很早就有对信念修正的讨论和研究。AGM公设在20世纪70年代末被提出来，它是任何一个合理的信念修正算子应该满足的最基本条件。《R-演算：一种信念修正的逻辑》**作者李未院士在20世纪80年代中期提出R-演算，这是一个满足AGM公设，非单调的，并且

本书为适应21世纪应用型人才培养的需求，根据中国高等教育和教学改革的发展趋势，以及素质教育与创新精神培养的要求，依据材料力学教学大纲的要求，参照教育部高等学校教材指导委员会力学基础课程教学指导分委员会提出的理论力学课程教学基本要求，结合目前高校专业认证的需求和高等教育改革的总体要求，考虑到目前高校教学总学时缩减的现状，

本书是作者在从事时标上的微分方程定性理论研究工作的基础上写成的。本书定义了时间尺度上的一类Sobolev空间并研究其重要性质。作为这类Sobolev空间的应用,应用变分方法中的临界点定理获得几类时间尺度上的动力系统解的存在性和多重性。 本书可供高等院校理工科研究生以及教师从事从事科学研究工作作为参考书使用，也可供从从

随着科学的发展和社会的进步、人们对分析化学的要求越来越高。从分析对象来看，分析样品的基体越来越复杂多样，待测组分的类型越来越多、含量越来越低。从分析技术来看，新的分析方法和新仪器发展迅速，分析速度不断加快，分析自动化程度越来越高，分析方法的灵敏度和选择性越来越高。本书是理论与实用相结合的书籍，主要介绍了取样和样品传输、

本书是南京理工大学“十二五”规划教材《流体力学实验指导书》（2015年由东大出版社出版）的修订版，是武器类、机械类、能源与动力类和工程力学类专业工程流体力学配套实验指导书，主要内容有雷诺实验等流体力学基础性实验项目8项，低速翼型绕流压力分布实验等综合设计性实验5项，彩色纹影流动显示与刀口设计制作实验等研究创新性实验项目

本书是根据高等工科院校物理实验教学基本要求编写的，主要内容包括绪论、测量误差与数据处理、基础性物理实验、综合性物理实验、设计与研究性物理实验，涉及力学、热学、电磁学、光学等内容。其中，基础性物理实验有25项，综合性物理实验有15项，设计与研究性物理实验有4项。本书注重基础性、实践性和综合性，是一本可与“大学物理”课程配

本书是在《编码理论》第1版的基础上,根据教学基本要求和教学大纲修订而成的。教材面向工科类高等院校的通信与信息工程学科学生编写,主要介绍了编码理论的基本知识和工程应用。全书共8章,主要内容包括线性分组码和卷积码。线性分组码中主要介绍循环码、BCH码、RS码;卷积码中主要分析了反馈大数逻辑译码、序列译码和维特比译码;最后对

《自然哲学之数学原理》是奠定整个现代科学基础的伟大著作之一，由“定义”、“运动的公理或定律”、“物体的运动”、“物体在阻滞介质中的运动”、“宇宙体系”和“总释”几部分构成。牛顿运动三定律和万有引力定律均出自此书。深入讨论了各种运动形式与力的关系，主要思想是“由运动现象去研究自然力，再由这些力去推演其他运动现象”，即用自

《化学基础论》是现代化学的奠基之作，化学革命的标志性成果，分析-合成思想的经典。采用化学元素的操作定义、质量守恒观点和定量实验，阐述化学物质系统命名法，把当时所知道的所有化学物质、化学反应和化学操作知识整合成为一个有序不悖的系统。第一部分论述8种气体的性质、燃烧现象和酸的形成。第二部分论述酸与中性盐（即非金属氧化物）的

《化学键的本质》是结构化学的经典著作。在亚原子水平利用量子力学基本理论论述了化学键形成的本质，以及分子和晶体的结构本质。在不使用高等数学工具的条件下，借助量子力学中的一些基本原理，结合化学思想和经验证据，改进和发展化学键理论，克服经典化学键理论的困难。用作者本人发展起来的新的化学键理论，处理共价键、络合键、晶体结构、部