 |
名称 | 数理逻辑与集合论 |
| 索引号 | 627768 | |
| 分类号 | (| 08 环境公报) |
|
| 作者 | 石纯一、王家廞、 | |
| 出版社 | 北京 : 清华大学出版社, 2000 | |
| ISBN | 7-302-04042-7 | |
| 页数 | 224页 ; 26cm | |
| 价格 | CNY18.00 | |
| 标签 | 数理逻辑、数学、集合论、清华计算机、教材、教育、电院大平台、科普、 | |
| 简介 | ||
| 注解 | ||
书籍简介
《清华大学计算机系列教材:数理逻辑与集合论(第2版)》共12章，前8章介缗数理逻辑，包括命题和谓词逻辑的基本概念、等值和推理演算、公理系统、模型论和证明论。后4章介绍集合论，包括集合、关系、函数、实数集与基数。《清华大学计算机系列教材:数理逻辑与集合论(第2版)》可作为大学离散数学的教科书。也可供从事计算机科学、人工智能等方面的科技人员参考。
书籍目录
概述
第1章 命题逻辑的基本概念
第2章 命题逻辑的等值和推理演算
第3章 命 题逻辑的公理化
第4章 谓词逻辑的基本概念
第5章 谓词逻辑的等值和推理演算
第6章 谓词逻辑的公理化
第7章 一阶形式理论及模型
第8章 证明论中的逻辑系统
第9章 集合
第10章 关系
第11章 函数
第12章 实数集合与集合的基数
粤公网安备 44030602003680号