关注微信

推荐商品

    加载中... 正在为您读取数据...
分享到:
  • 数理逻辑与集合论[平装]
  • 共2个商家     15.30元~18.00
  • 作者:石纯一(作者,编者),王家▲(作者)
  • 出版社:清华大学出版社;第2版(2000年12月1日)
  • 出版时间:
  • 版次 :
  • 印刷时间:
  • 包装:
  • ISBN:9787302040422

  • 商家报价
  • 简介
  • 评价
  • 加载中... 正在为您读取数据...
  • 商品描述

    目录

    第1章:命题逻辑的基本概念
    第2章:命题逻辑的等值和推理演算
    第3章:命题逻辑的公理化
    第4章:谓词逻辑的基本概念
    第5章:谓词逻辑的等值和推理演算
    第6章:谓词逻辑的公理化
    第7章:一阶形式理论及模型
    第8章:证明论中的逻辑系统
    第9章:集合
    第10章:关系
    第11章:函数
    第12章:实数集合与集合的基数