0去购物车结算
购物车中还没有商品,赶紧选购吧!
当前位置: 图书分类 > 数学 > 数理逻辑/组合数学 > 数理逻辑基础(下册)

相同作者的商品

相同语种的商品

浏览历史

数理逻辑基础(下册)


联系编辑
 
标题:
 
内容:
 
回执地址:
 
  
数理逻辑基础(下册)
  • 书号:9787030464224
    作者:胡世华,陆钟万
  • 外文书名:
  • 丛书名:现代数学基础丛书·典藏版;2
  • 装帧:平装
    开本:B5
  • 页数:276
    字数:173
    语种:zh-Hans
  • 出版社:科学出版社
    出版时间:2016-10-29
  • 所属分类:
  • 定价: ¥98.00元
    售价: ¥78.40元
  • 图书介质:
    纸质书

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

内容介绍

样章试读

用户评论

全部咨询

  本书陈述数理逻辑的基础知识,包括逻辑演算的基本内容。这些内容构成数理逻辑各个分支(模型论、证明论和构造性数学、递归论、集合论)的共同的基础。
  本书共六部分,分上、下两册。下册包括第三、四、五章和两个附录。第三章陈述逻辑演算的重言式系统,并研究自然推理系统和重言式系统的关系。第四章研究逻辑演算的可靠性和完备性问题。第五章讨论了逻辑演箅如何应用于陈述具体的数学理论,并且研究了在数学中引进定义的形式化问题。附录(一)陈述带量词的命题逻辑;附录(二)定义了斜形证明,并且证明了形式证明与斜形证明的等价关系。
样章试读
  • 暂时还没有任何用户评论
总计 0 个记录,共 1 页。 第一页 上一页 下一页 最末页

全部咨询(共0条问答)

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

目录

  • 目录
    第三章 重言式 229
    30 P的重言式系统 230
    31 P*等的重言式系统 250
    32 非古典命题逻辑的重言式系统 270
    33 谓词逻辑的重言式系统 285
    34 重言式系统和自然推理系统的关系 291
    第四章 可靠性和完备性 300
    40 赋值 300
    41 恒真性和可真性 310
    42 可靠性和协调性 319
    43 命题逻辑的完备性 322
    44 谓词逻辑的完备性(一) 327
    45 谓词逻辑的完备性(二) 336
    46 带等词的谓词逻辑的完备性 342
    47 紧致性定理和勒文海姆-斯柯伦定理 349
    48 独立性 350
    第五章 形式数学系统 365
    50 形式数学系统 365
    51 初等代数 367
    52 自然数 373
    53 哥德尔不完备性定理 382
    54 集 385
    55 实数 393
    56 应用重言式系统 399
    57 形式符号定义 401
    附录(一)命题量词 409
    附录(二)斜形证明 412
    符号汇编(下册) 429
    参考文献 432
帮助中心
公司简介
联系我们
常见问题
新手上路
发票制度
积分说明
购物指南
配送方式
配送时间及费用
配送查询说明
配送范围
快递查询
售后服务
退换货说明
退换货流程
投诉或建议
经营资质
营业执照
出版社经营许可证