0去购物车结算
购物车中还没有商品，赶紧选购吧！
当前位置: > 机器证明的逻辑推定

相同作者的商品

相同语种的商品

销售排行榜

浏览历史

机器证明的逻辑推定


联系编辑
 
标题：
 
内容：
 
联系方式：
 
  
机器证明的逻辑推定
  • 书号：9787030756244
    作者：李娜
  • 外文书名：
  • 装帧：平装
    开本：B5
  • 页数：255
    字数：330000
    语种：zh-Hans
  • 出版社：科学出版社
    出版时间：2023-06-01
  • 所属分类：
  • 定价： ￥128.00元
    售价： ￥101.12元
  • 图书介质:
    纸质书

  • 购买数量： 件  可供
  • 商品总价：

相同系列
全选

内容介绍

样章试读

用户评论

全部咨询

逻辑定理的机器证明是人工智能领域人们最早从事研究的课题。本书从逻辑定理的人工证明和机器证明两方面来展现逻辑定理证明的艺术，而机器证明又从定理的自动证明和计算机辅助证明两个方面来展现。本书首先用作者构造的命题演算系统FPC和狭谓词演算系统FQC完成常用逻辑定理的人工证明(一种自然推理证明)。其次，用逻辑定理的机器证明工具TPG(Tree Proof Generator)实现逻辑定理的自动证明(一种树证明)。最后，用交互式定理机器证明工具Fitch实现了逻辑定理的计算机证明(一种自然推理证明)。
样章试读
  • 暂时还没有任何用户评论
总计 0 个记录，共 1 页。 第一页 上一页 下一页 最末页

全部咨询(共0条问答)

  • 暂时还没有任何用户咨询内容
总计 0 个记录，共 1 页。 第一页 上一页 下一页 最末页
用户名： 匿名用户
E-mail：
咨询内容：

目录

  • 目录
    前言
    第1章 逻辑演算系统FPC和FQC 1
    1.1 命题逻辑演算系统FPC 1
    1.1.1 系统FPC的形式语言 1
    1.1.2 系统FPC的推理规则 3
    1.2 谓词演算系统FQC 8
    1.2.1 系统FQC的形式语言 8
    1.2.2 系统FQC的推理规则 11
    第2章 人工对逻辑系统定理的证明 14
    2.1 人工对系统FPC定理的证明 14
    2.2 人工对系统FQC定理的证明 41
    第3章 演算系统的树证明 66
    3.1 树证明规则 66
    3.1.1 FPC的树证明规则 66
    3.1.2 FQC的树证明规则 69
    3.2 计算机自动证明器TPG简介 72
    3.2.1 TPG的功能 72
    3.2.2 TPG的使用说明 72
    3.3 FPC定理的树证明 73
    3.4 FQC定理的树证明 120
    第4章 逻辑演算系统的扩充系统 157
    4.1 命题演算系统FPC的扩充系统FPC 157
    4.2 谓词演算系统FQC的扩充系统FQC 159
    4.3 逻辑系统FPC的推理规则一览表 160
    4.3.1 系统FPC推理规则一览表 160
    4.3.2 系统FQC推理规则一览表 162
    第5章 逻辑演算系统的Fitch证明 163
    5.1 Fitch简介 163
    5.2 Fitch的部分证明规则 164
    5.2.1 Fitch的命题规则 164
    5.2.2 Fitch的部分一阶规则 167
    5.2.3 Fitch证明的部分结论规则 168
    5.3 系统FPC定理的Fitch证明 169
    5.4 系统FQC定理的Fitch证明 221
    参考文献 256
帮助中心
公司简介
联系我们
常见问题
新手上路
发票制度
积分说明
购物指南
配送方式
配送时间及费用
配送查询说明
配送范围
快递查询
售后服务
退换货说明
退换货流程
投诉或建议
版权声明
经营资质
营业执照
出版社经营许可证

中国科技出版传媒股份有限公司　版权所有

　

京ICP备14028887号-5　 京ICP证150976号 京公网安备 11010102004214号

北京东黄城根北街16号 邮编：100717 Email:webmaster@mail.sciencep.com