大拱桥--暨南大学学生门户 » 珠海校区图书馆 » 数理逻辑(符号逻辑) » 数理逻辑与集合论
名称 数理逻辑与集合论
索引号 O141-43/1
分类号 O141-43
O141(数理逻辑(符号逻辑))
O14(数理逻辑-数学基础)
O1(数学)
O(数理科学和化学)
作者 石纯一、王家〓、
出版社 北京：清华大学出版社，2000..
ISBN 7-302-04042-7
页数 224页
价格 CNY18.00
标签 数理逻辑、集论、数理逻辑高等学校教材、数学、集合论、清华计算机、教材、教育、电院大平台、科普、
简介 清华大学计算机系列教材
注解 本书介绍了数理逻辑，包括命题和谓词逻辑的基本概念、等值和推理演算以及公理系统、模型论和证明论。还介绍了集合论，包括集合、关系、函数、实数集与基数等。
书籍简介

《清华大学计算机系列教材:数理逻辑与集合论(第2版)》共12章，前8章介缗数理逻辑，包括命题和谓词逻辑的基本概念、等值和推理演算、公理系统、模型论和证明论。后4章介绍集合论，包括集合、关系、函数、实数集与基数。《清华大学计算机系列教材:数理逻辑与集合论(第2版)》可作为大学离散数学的教科书。也可供从事计算机科学、人工智能等方面的科技人员参考。

书籍目录

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