数理逻辑 : 基本原理与形式演算.pdf 本书系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容，包括一阶语言的语法与模型，形式推理系统，可计算性与可表示性等；后五章阐述了形式理论的版本序列及其极限，修正演算系统，过程模式及其性质，以及归纳推理理论等。 叁号仓库 2022年07月15日 0 点赞 0 评论 9796 浏览
非经典数理逻辑与近似推理 | 2版.pdf 本书讲述了各种三值逻辑、n值逻辑以及连续值逻辑理论；为模糊命题演算建立了一套形式演绎系统；把模糊推理纳入了严格的逻辑轨道等内容。 叁号仓库 2022年07月15日 0 点赞 0 评论 8874 浏览
