数理逻辑与集合论是离散数学的主要组成部分,是计算机科学的数学基础,全书共12章,前8章介绍数理逻辑,后4章介绍集合论。本书可作为大学离散数学的教科书,也可供从事计算机科学、人工智能等方面的科技人员参考。\r\n
\r\n
第1章:命题逻辑的基本概念 \r\n\r\n 第2章:命题逻辑的等值和推理演算 \r\n\r\n 第3章:命题逻辑的公理化 \r\n\r\n 第4章:谓词逻辑的基本概念 \r\n\r\n 第5章:谓词逻辑的等值和推理演算 \r\n\r\n 第6章:谓词逻辑的公理化 \r\n\r\n 第7章:一阶形式理论及模型 \r\n\r\n 第8章:证明论中的逻辑系统 \r\n\r\n 第9章:集合 \r\n\r\n 第10章:关系 \r\n\r\n 第11章:函数 \r\n\r\n 第12章:实数集合与集合的基数 \r\n\r\n \r\n
\r\n