数理逻辑 : 基本原理与形式演算 | 2版.pdf
本书系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容，包括一阶语言的语法与模型，形式推理系统，可计算性与可表示性等；后五章阐述了形式理论的版本序列及其极限，修正演算系统，过程模式及其性质，以及归纳推理理论等。
演算
数理逻辑 : 基本原理与形式演算.pdf
本书系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容，包括一阶语言的语法与模型，形式推理系统，可计算性与可表示性等；后五章阐述了形式理论的版本序列及其极限，修正演算系统，过程模式及其性质，以及归纳推理理论等。
R-演算：一种信念修正的逻辑.pdf
信念修正是人工智能的研究分支之一。在哲学，认知心理学和数据库更新等领域中，很早就有对信念修正的讨论和研究。AGM公设在20世纪70年代末被提出来，它是任何一个合理的信念修正算子应该满足的最基本条件。本书第一作者李未院士在20世纪80年代中期提出R-演算，这是一个满足AGM公设，非
物理化学概要、演算与习题.pdf
本书分为两大部分。第一大部分分章节讲述了各章的概要、基本公式、演算习题和基本习题；第二部分是综合试题，给出了全国22所中医药院校物理化学习题及解答。
R-演算：一种信念修正的逻辑（英文版）（R-Calculus: A logic of belief revision） 李未,眭跃飞 著.pdf
信念修正是人工智能的研究分支之一。在哲学、认知心理学和数据库更新等领域中，很早就有对信念修正的讨论和研究。AGM公设在20世纪70年代末被提出，它是任何一个合理的信念修正算子应该满足的*基本条件。《R-CALCULUS:A Logic of Belief Revision》作者李
灌区水均衡演算与农田面源污染模拟.pdf
本书以农业灌区水资源和水环境为研究对象，以内蒙古黄河河套灌区和吉林省松花江前郭灌区为背景，总结了灌区水均衡计算理论与方法，灌区地下水资源量分析方法，灌区地下水模拟方法，灌区面源污染迁移、转化汇集机理及模拟方法，灌区水环境评价理论。
物理化学概要、演算与习题.pdf
《物理化学概要、演算与习题》是普通高等教育“十三五”规划教材之一，是物理化学课程教材之习题教材，《物理化学概要、演算与习题》是第二版，内容共两篇。第一篇分章节讲述了各章的概要、演算与习题，总结了各章的要点、难点和基本公式，既给出了不同题型的演算习题，又对各章后面的基本习题作了详细