书籍介绍
《清华大学计算机系列教材:数理逻辑与集合论(第2版)》共12章，前8章介缗数理逻辑，包括命题和谓词逻辑的基本概念、等值和推理演算、公理系统、模型论和证明论。后4章介绍集合论，包括集合、关系、函数、实数集与基数。《清华大学计算机系列教材:数理逻辑与集合论(第2版)》可作为大学离散数学的教科书。也可供从事计算机科学、人工智能等方面的科技人员参考。
目录
用户评论
干巴巴的像大便。。你读过以后，你可以知道一些名词的意义，但是你不会理解。。。
因为，你不知道那几个人：亚里士多德（主词量化，形式逻辑），布尔（谓词量化），弗雷格（引入函数，谓词逻辑），康托尔（无穷，序（良序，偏序，全序）和基数），乔姆斯基（形式语言和自动机，引入泛函），图灵（可计算---推理====估计）
读的不是一个版本，跟精要与题解差不多的封面。不知道证明的思路一般该怎么走法？没有定理引入呢，要记住定理吗，而且每套系统都不一样定理也不一样啊。
大二 离散数学（1） 教材。
离散数学 （1)
好吧，以前逻辑学课用，其实是离散数学。
计算机专业学生的入门书，应付写代码就可以了。如果想深入研究逻辑学，光看这个肯定不够。
简洁精炼，也晦涩。讲得还算清晰。
可能我看的是旧版，书上关于 aleph_1 的定义是错的，误导了很多人
错误不少
在清华教材里算是比较好读的了，全书几乎没有废话，结合配套答案册刷起来也还不错。
Z-Library
收藏