您现在的位置：快乐比价网 > 图书 > 教育/科技 > 数学 > 商品详情

数理逻辑与集合论（第二版）

分享到：

最低价：￥14.40

定价：￥18.00

作者：石纯一著

出版社：清华大学出版社

出版时间：2000-12-1

I S B N：9787302040422

价格比较

商品详情

商品评论(0条)

数理逻辑与集合论（第二版）

送货上门

价格
14.40元

数理逻辑与集合论

送货上门

价格
14.40元

数理逻辑与集合论

送货上门

价格
14.90元

数理逻辑与集合论(第二版)

送货上门

价格
15.30元

数理逻辑与集合论（第2版）

送货上门

价格
18.00元

数理逻辑与集合论(第2版)（清华大学计算机系列教材）

送货上门

价格
18.40元

清华大学计算机系列教材：数理逻辑与集合论（第2版）

送货上门

价格
19.10元

商品详情

编辑推荐

内容简介

本书介绍了数理逻辑，包括命题和谓词逻辑的基本概念、等值和推理演算以及公理系统、模型论和证明论。还介绍了集合论，包括集合、关系、函数、实数集与基数等。

作者简介

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