0去购物车结算
购物车中还没有商品，赶紧选购吧！
当前位置: > 结构证明论（第二版）

相同作者的商品

相同语种的商品

销售排行榜

浏览历史

结构证明论（第二版）


联系编辑
 
标题：
 
内容：
 
联系方式：
 
  
结构证明论（第二版）
  • 书号：9787030754745
    作者：马明辉
  • 外文书名：
  • 装帧：平装
    开本：B5
  • 页数：248
    字数：331000
    语种：zh-Hans
  • 出版社：科学出版社
    出版时间：2023-06-01
  • 所属分类：
  • 定价： ￥89.00元
    售价： ￥70.31元
  • 图书介质:
    纸质书

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

相同系列
全选

内容介绍

样章试读

用户评论

全部咨询

证明论是逻辑基础理论的分枝. 结构证明论是证明论的分枝，它研究演算中的分析性证明. 本书在介绍古典句子逻辑和直觉主义逻辑的基础上，给出公理系统、自然演绎和矢列演算等不同类型的逻辑演算. 根据结构的定义和结构规则，区分不同类型的矢列演算，并且以切割消除为工具，给出了插值性质、可判定性等问题的证明. 本书还介绍了一阶逻辑、模态逻辑和代数逻辑的矢列演算.
样章试读
  • 暂时还没有任何用户评论
总计 0 个记录，共 1 页。 第一页 上一页 下一页 最末页

全部咨询(共0条问答)

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

目录

  • 目录
    丛书序
    第二版前言
    第一版前言
    第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
帮助中心
公司简介
联系我们
常见问题
新手上路
发票制度
积分说明
购物指南
配送方式
配送时间及费用
配送查询说明
配送范围
快递查询
售后服务
退换货说明
退换货流程
投诉或建议
版权声明
经营资质
营业执照
出版社经营许可证

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

　

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

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