数理逻辑与集合论

剧情简介：数理逻辑与集合论是离散数学的主要组成部分，是计算机科学的基础数学． 全书共十章．前六章介绍数理逻辑，包括命题和谓词逻辑的基本概念、等值和推理演算以及公理系统．后四章介绍集台论，包括集合、关系、函数、实数集与基数． 本书可作为大学离散数学的教科书．也可供从事计算机科学、人工智能等方面的科技人员参考．

作者：石纯一

出版社：清华大学出版社

ISBN：9787302005575