作者:
石纯一
/
王家廞
出版社: 清华大学出版社
出版年: 2002-1-1
页数: 236
定价: 18.00元
装帧: 平装(无盘)
丛书: 清华大学计算机系列教材
ISBN: 9787302040422
出版社: 清华大学出版社
出版年: 2002-1-1
页数: 236
定价: 18.00元
装帧: 平装(无盘)
丛书: 清华大学计算机系列教材
ISBN: 9787302040422
内容简介 · · · · · ·
《清华大学计算机系列教材:数理逻辑与集合论(第2版)》共12章，前8章介缗数理逻辑，包括命题和谓词逻辑的基本概念、等值和推理演算、公理系统、模型论和证明论。后4章介绍集合论，包括集合、关系、函数、实数集与基数。《清华大学计算机系列教材:数理逻辑与集合论(第2版)》可作为大学离散数学的教科书。也可供从事计算机科学、人工智能等方面的科技人员参考。
目录 · · · · · ·
丛书信息
· · · · · ·
清华大学计算机系列教材(共70册)，
这套丛书还有
《常用算法程序集》《计算机组成与结构》《数据结构》《数据挖掘：方法与应用（第2版）》《图论与代数结构 第2版》
等
。
喜欢读"数理逻辑与集合论"的人也喜欢 · · · · · ·
-
- 线性代数与几何（下） 6.4
-
- 代数学 8.3
-
- 线性代数与几何（上） 6.7
-
- 数学史通论(第2版.翻译版) 8.6
-
- 解析几何 7.4
-
- 理论力学 8.2
-
- 数学分析解题指南 8.5
-
- 实变函数论与泛函分析 8.9
-
- 高等代数 7.9
-
- 集合论基础 8.7
数理逻辑与集合论的书评 · · · · · · ( 全部 1 条 )
> 更多书评 1篇
论坛 · · · · · ·
在这本书的论坛里发言这本书的其他版本 · · · · · · ( 全部2 )
在哪儿借这本书 · · · · · ·
以下书单推荐 · · · · · · ( 全部 )
- 清华大学计算机系本科生教材 (bamboo256)
- 本科课程教材 (何嘉权)
- 空谷 (我)
- 1## 图论群论 (石虎)
- 数学基础 (limbogo)
谁读这本书? · · · · · ·
二手市场
· · · · · ·
订阅关于数理逻辑与集合论的评论:
feed: rss 2.0
0 有用 Skipper 2021-04-29 14:02:51
计算机专业学生的入门书，应付写代码就可以了。如果想深入研究逻辑学，光看这个肯定不够。
0 有用 Flow 2019-12-29 22:10:57
简洁精炼，也晦涩。讲得还算清晰。
2 有用 阿岛 2012-03-13 16:53:09
读的不是一个版本，跟精要与题解差不多的封面。不知道证明的思路一般该怎么走法？没有定理引入呢，要记住定理吗，而且每套系统都不一样定理也不一样啊。
9 有用 阅微草堂 2012-12-11 01:44:41
干巴巴的像大便。。你读过以后，你可以知道一些名词的意义，但是你不会理解。。。 因为，你不知道那几个人：亚里士多德（主词量化，形式逻辑），布尔（谓词量化），弗雷格（引入函数，谓词逻辑），康托尔（无穷，序（良序，偏序，全序）和基数），乔姆斯基（形式语言和自动机，引入泛函），图灵（可计算---推理====估计）
0 有用 哇咔咔 2024-01-04 23:37:39 四川
6章以后看不懂了，太难了，单老师挺好的