数理逻辑与集合论

图书标准信息

• 作者 石纯一 著
• 出版社 清华大学出版社
• 出版时间 2000-12
• 版次 2
• ISBN 9787302040422
• 定价 18.00元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 223页
• 字数 352千字
• 正文语种 简体中文

【内容简介】

　　《清华大学计算机系列教材：数理逻辑与集合论（第2版）》介绍了数理逻辑，包括命题和谓词逻辑的基本概念、等值和推理演算以及公理系统、模型论和证明论。还介绍了集合论，包括集合、关系、函数、实数集与基数等。

【目录】

概述

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

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

第3章 命题逻辑的公理化

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

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

第6章 谓词逻辑的公理化

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

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

第9章 集合

第10章 关系

第11章 函数

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