返回首页
苏宁会员
购物车 0
易付宝
手机苏宁

服务体验

店铺评分与同行业相比

用户评价:----

物流时效:----

售后服务:----

  • 服务承诺: 正品保障
  • 公司名称:
  • 所 在 地:
本店所有商品

  • 全新机器明的逻辑推定李娜9787030756244
  • 正版
    • 作者: 李娜著 | 李娜编 | 李娜译 | 李娜绘
    • 出版社: 科学出版社
    • 出版时间:2023-06-01
    送至
  • 由""直接销售和发货,并提供售后服务
  • 加入购物车 购买电子书
    服务

    看了又看

    商品预定流程:

    查看大图
    /
    ×

    苏宁商家

    商家:
    萌萌哒图书专营店
    联系:
    • 商品

    • 服务

    • 物流

    搜索店内商品

    商品参数
    • 作者: 李娜著| 李娜编| 李娜译| 李娜绘
    • 出版社:科学出版社
    • 出版时间:2023-06-01
    • 版次:1
    • 印次:1
    • 字数:330000
    • 页数:264
    • 开本:B5
    • ISBN:9787030756244
    • 版权提供:科学出版社
    • 作者:李娜
    • 著:李娜
    • 装帧:平装
    • 印次:1
    • 定价:128.00
    • ISBN:9787030756244
    • 出版社:科学出版社
    • 开本:B5
    • 印刷时间:暂无
    • 语种:暂无
    • 出版时间:2023-06-01
    • 页数:264
    • 外部编号:1202980677
    • 版次:1
    • 成品尺寸:暂无

    前言

    章 逻辑演算系统FPC和FC

    1.1 命题逻辑演算系统FPC 1

    1.1.1 系统FPC的形式语言 1

    1.1.2 系统FPC的推理规则 3

    1.2 谓词演算系统FC 8

    1.2.1 系统FC的形式语言 8

    1.2.2 系统FC的推理规则 11

    第2章 人工对逻辑系统定理的明 14

    2.1 人工对系统FPC定理的明 14

    2.2 人工对系统FC定理的明 41

    第3章 演算系统的树明 66

    3.1 树明规则 66

    3.1.1 FPC的树明规则 66

    3.1.2 FC的树明规则 69

    3.2 计算机自动明器TPG简介 72

    3.2.1 TPG的功能 72

    3.2.2 TPG的使用说明 72

    3.3 FPC定理的树明 73

    3.4 FC定理的树明 120

    第4章 逻辑演算系统的扩充系统 157

    4.1 命题演算系统FPC的扩充系统FPC 157

    4.2 谓词演算系统FC的扩充系统FC 59

    4.3 逻辑系统FPC的推理规则一览表 160

    4.3.1 系统FPC推理规则一览表 160

    4.3.2 系统FC推理规则一览表 162

    第5章 逻辑演算系统的Fitch明 163

    5.1 Fitch简介 163

    5.2 Fitch的部分明规则 164

    5.2.1 Fitch的命题规则 164

    5.2.2 Fitch的部分一阶规则 167

    5.. Fitch明的部分结论规则 168

    5.3 系统FPC定理的Fitch明 169

    5.4 系统FC定理的Fitch明 221

    参考文献 256

    售后保障

    最近浏览

    猜你喜欢

    该商品在当前城市正在进行 促销

    注:参加抢购将不再享受其他优惠活动

    x
    您已成功将商品加入收藏夹

    查看我的收藏夹

    确定

    非常抱歉,您前期未参加预订活动,
    无法支付尾款哦!

    关闭

    抱歉,您暂无任性付资格

    此时为正式期SUPER会员专享抢购期,普通会员暂不可抢购