• 数理逻辑与集合论
  • 数理逻辑与集合论
21年品牌 40万+商家 超1.5亿件商品

数理逻辑与集合论

5 2.8折 18 八五品

仅1件

云南昆明
认证卖家担保交易快速发货售后保障

作者石纯一 著

出版社清华大学出版社

出版时间2000-12

版次2

装帧平装

上书时间2019-06-16

   商品详情   

品相描述:八五品
图书标准信息
  • 作者 石纯一 著
  • 出版社 清华大学出版社
  • 出版时间 2000-12
  • 版次 2
  • ISBN 9787302040422
  • 定价 18.00元
  • 装帧 平装
  • 开本 16开
  • 纸张 胶版纸
  • 页数 223页
  • 字数 352千字
  • 正文语种 简体中文
【内容简介】
  《清华大学计算机系列教材:数理逻辑与集合论(第2版)》介绍了数理逻辑,包括命题和谓词逻辑的基本概念、等值和推理演算以及公理系统、模型论和证明论。还介绍了集合论,包括集合、关系、函数、实数集与基数等。
【目录】

概述

第1章 命题逻辑的基本概念

第2章 命题逻辑的等值和推理演算

第3章 命题逻辑的公理化

第4章 谓词逻辑的基本概念

第5章 谓词逻辑的等值和推理演算

第6章 谓词逻辑的公理化

第7章 一阶形式理论及模型

第8章 证明论中的逻辑系统

第9章 集合

第10章 关系

第11章 函数

第12章 实数集合与集合的基数

点击展开 点击收起

—  没有更多了  —

以下为对购买帮助不大的评价

此功能需要访问孔网APP才能使用
暂时不用
打开孔网APP