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

服务体验

店铺评分与同行业相比

用户评价:----

物流时效:----

售后服务:----

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

  • [醉染正版]正版结构证明论(第2版)马明辉书店哲学宗教书籍 畅想书
  • 本店商品限购一件,多拍不予发货,感谢理解!
    • 作者: 马明辉著
    • 出版社: 科学出版社
    • 出版时间:2023-06
    送至
  • 由""直接销售和发货,并提供售后服务
  • 加入购物车 购买电子书
    服务

    看了又看

    商品预定流程:

    查看大图
    /
    ×

    苏宁商家

    商家:
    醉染图书旗舰店
    联系:
    • 商品

    • 服务

    • 物流

    搜索店内商品

    商品分类

    商品参数
    • 作者: 马明辉著
    • 出版社:科学出版社
    • 出版时间:2023-06
    • ISBN:9784541248028
    • 版权提供:科学出版社

                   店铺公告

     

    为保障消费者合理购买需求及公平交易机会,避免因非生活消费目的的购买货囤积商品,抬价转售等违法行为发生,店铺有权对异常订单不发货且不进行赔付。异常订单:包括但不限于相同用户ID批量下单,同一用户(指不同用户ID,存在相同/临近/虚构收货地址,或相同联系号码,收件人,同账户付款人等情形的)批量下单(一次性大于5本),以及其他非消费目的的交易订单。

    温馨提示:请务必当着快递员面开箱验货,如发现破损,请立即拍照拒收,如验货有问题请及时联系在线客服处理,(如开箱验货时发现破损,所产生运费由我司承担,一经签收即为货物完好,如果您未开箱验货,一切损失就需要由买家承担,所以请买家一定要仔细验货),

    关于退货运费:对于下单后且物流已发货货品在途的状态下,原则上均不接受退货申请,如顾客原因退货需要承担来回运费,如因产品质量问题(非破损问题)可在签收后,联系在线客服。

    基本信息
     
    书名:  结构证明论(第2版)
    作者:  马明辉编著
    出版社:  科学出版社
    出版日期:  2023-06-01
    版次:  1
    ISBN:  9787030754745
    市场价:  89.0
    目录
     
    丛书序
    版前言
    版前言
    第1章 绪论 1
    1.1 证明的概念 1
    1.2 公理系统与形式系统 3
    1.3 证明论的发展 7
    第2章 句子逻辑 10
    2.1 古典句子逻辑 10
    2.2 直觉主义句子逻辑 25
    2.3 嵌入定理 35
    习题 38
    第3章 自然演绎 41
    3.1 费奇式自然演绎 41
    3.2 甘岑式自然演绎 46
    3.3 正规化 54
    习题 65
    第4章 矢列演算 68
    4.1 G0 型矢列演算 68
    4.2 切割消除 76
    4.3 可判定 90
    4.4 插值质 96
    习题 103
    第5章 矢列演算的结构规则 106
    5.1 交换规则和弱化规则 106
    5.2 收缩规则 117
    5.3 直觉主义句子逻辑的停机矢列演算 136
    习题 146
    第6章 一阶逻辑 149
    6.1 一阶逻辑的公理系统 149
    6.2 一阶逻辑的矢列演算 161
    6.3 直觉主义谓词逻辑的矢列演算 171
    习题 176
    第7章 古典模态句子逻辑 178
    7.1 正规模态逻辑 178
    7.2 模态矢列演算 192
    7.3 超矢列演算 205
    习题 215
    第8章 代数逻辑 218
    8.1 偏序代数结构 218
    8.2 格与分配格 221
    8.3 德摩根代数 234
    习题 241
    参考文献 243
    后记 247
    内容介绍
     
    结构证明论既是研究逻辑质的方法,也是逻辑研究的组成部分,通过在系统内进行推导搜索,穷尽满足特定条件的所有可能推导,可判定给定的句法对象是否可证。本书共8章,首先介绍了结构证明论的发展历史,然后在此基础上介绍了经典逻辑和直觉主义逻辑的自然演绎和矢列演算,运用证明论研究方法,通过分析证明的结构得到一些逻辑质,如子公式质、可判定、插值质等。另外,本书还介绍了经典模态命题逻辑及一些代数逻辑的结构证明论。
    在线试读
     
    媒体评论
     

    1
    • 商品详情
    • 内容简介

    售后保障

    最近浏览

    猜你喜欢

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

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

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

    查看我的收藏夹

    确定

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

    关闭

    抱歉,您暂无任性付资格

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