数理逻辑与集合论(第二版)--精要与题解
|
读过这本书吗？
最近在读
读过
想读
还不熟悉
|
图书城书列：
加入到博客或社交网站：
|
|
我来评论这本书：
内容提要：
本书是清华大学计算机系列教材《数理逻辑与集合论》(第二版)的配套教材，分为主教材《数理与逻辑与集合论》各章的内容精要与学习指导和主教材相应章节的习题解答。
目录：
一，命题逻辑的基本概念
二，命题逻辑的等值和推理演算 三，命题逻辑的公理化 四，谓词逻辑的基本概念 五，谓词逻辑的等值和推理演算 六，谓词逻辑的公理化 七，一阶形式理论及模型 八，证明论中的逻辑系统 九，集合 十，关系 十一，函数 十二，实数集合与集合的基数 习题解答 前言：
离散数学是现代数学的一个重要分支，是计算机科学基础理论的核心内容。数理逻辑与集合论是离散数学的重要内容。数理逻辑与集合论课程不仅为计算视及相关专业后续课程的学习和科研工作的参与打下良好的基础，而且对培养读者的抽象思维能力、逻辑推理能力和慎密概括能力，进而提高分析问题解决问题的能力都将起到重要作用。
由于数理逻辑与集合论所研究的对象及研究方法都与普通数学有较大差别，不少初学者学习时感觉不适应，特别是面对习题作业往往觉得无从下手。此外，数理逻辑与集合论的理论内容丰富，所涉及的定义和定理较多，习题中证明题所占比例较大，对于初学计算机科学的人来说，在概念..
|