• 
  非经典数理逻辑与...
  ￥101.12元
• 
  非经典数理逻辑与...
  ￥19.75元
• 
  数理逻辑引论与归...
  ￥101.12元
• 
  数理逻辑引论与归...
  ￥77.42元
• 
  数理逻辑引论与归...
  ￥22.91元
• 
  模型论基础
  ￥94.40元
• 
  公理集合论导引
  ￥124.82元
• 
  数学基础 递归论
  ￥109.02元

本书大部分内容是作者近期的研究成果，全书较系统地讲述了各种三值逻辑、n值逻辑以及连续值逻辑理论;为模糊命题演算建立了一套形式演绎系统;把模糊推理纳入了严格的逻辑轨道;从整体赋值出发，建立了积分语义学理论，为近似推理提供了一种可能的框架;系统论述了Pavelka逻辑并扼要论述了抽象逻辑.
本书可作为计算机专业、自动控制专业的研究生教材，也可供数学及有关专业的高年级本科生使用.

样章试读

• 暂时还没有任何用户评论

总计 0 个记录，共 1 页。 第一页 上一页 下一页 最末页

全部咨询(共0条问答)

• 暂时还没有任何用户咨询内容

总计 0 个记录，共 1 页。 第一页 上一页 下一页 最末页

用户名：	匿名用户
E-mail：
咨询内容：

• 前言
  第一章 预备知识
  1·1 泛代数中的预备知识
  1·2 经曲命题演算理论
  第二章 多值逻辑的语义理论
  2·1 引言
  2·2 赋值格上的蕴涵算子
  2·3 几种三值逻辑系统
  2·4 一般多值逻辑系统
  2·5 Σ-(α-重言式)理论
  第三章 命题演算的形式系统ψ
  3·1 Fuzzy推理与Fuzzy逻辑
  3·2 命题演算的形式演绎系统ψ
  3·3 ψ-Lindenbaum代数与R0-代数
  第四章 ψ*中的语义理论与Fuzzy推理的逻辑基础
  4·1 ψ的语义与可靠性定理
  4·2 ψ中另一类Σ-重言式
  4·3 Fuzzy推理的CRI算法
  4·4 Fuzzy推理的三I算法
  4·5 Fuzzy推理的逻辑基础、支持度理论
  第五章 积分语义学
  5·1 公式的真度
  5·2 真度值在[0，1]中的分布
  5·3 积分相似度理论
  5·4 F（S）上的伪距离
  5·5 F（S）中的近似推理
  第六章 格上的逻辑学
  6·1 闭包算子与闭包系统
  6·2 完备格上的逻辑学
  6·3 紧致性的新形式——连续性
  6·4 逐步推理
  6·5 抽象模糊逻辑
  6·6 公式集F上的非运算
  第七章 Pavelka的逻辑学
  7·1 Pavelka逻辑的基本理论
  7·2 剩余格
  7·3 赋值格为强剩余格的命题演算公式代数
  7·4 完备性问题
  第八章 Fuzzy推理的非Fuzzy形式
  8·1 引言
  8·2 二值逻辑系统ψ中的广义与多重广义MP规则的语构理论
  8·3 多值逻辑系统ψ*中的广义与多重广义MP规则的语构理论
  8·4 二值逻辑系统ψ中广义MP规则的语义理论
  8·5 Lukasiewicz三值系统L3中广义MP规则的语义理论
  参考文献
  索引