数理逻辑与集合论

图书标准信息

• 作者 王宏、杨明 著
• 出版社 清华大学出版社
• 出版时间 2001-08
• 版次 2
• ISBN 9787302045281
• 定价 16.00元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 150页

【内容简介】

　　本书是清华大学计算机系列教材《数理逻辑与集合论》（第二版）一书的配套教材。全书分为两大部分：第1部分是主教材《数理逻辑与集合论》（第2版）各章的内容精要与学习指导，包括主教材中的基本概念、基本公式、定义、定理以完成习题所涉及的内容，相当于主教材内容的精华与复习提纲。第2部分是主教材相应章节的习题解答，附有主教材全部习题的参考解答或证明。部分习题除给出详细解答或证明过程外，还列出解题思路、提示，容易出现的错误和多种解法等。书中注重学习方法与逻辑思维能力的培养和训练，并照顾到不同需求和不同层次的读者。本书读者对象为大专院校计算机系或相关专业的师生，也可供从事离散数学、计算机科学、人工智能、计算语言学等领域的自学者和科技人员参考。

【目录】

一，命题逻辑的基本概念二，命题逻辑的等值和推理演算三，命题逻辑的公理化四，谓词逻辑的基本概念五，谓词逻辑的等值和推理演算六，谓词逻辑的公理化七，一阶形式理论及模型八，证明论中的逻辑系统九，集合十，关系十一，函数十二，实数集合与集合的基数习题解答