数理逻辑与集合论

出版时间：2001-8-1  出版社：北京希望电子出版社  作者：杨明,王宏  页数：150  
Tag标签：无  

内容概要

本书是清华大学计算机系列教材《数理逻辑与集合论》(第二版)的配套教材，分为主教材《数理与逻辑与集合论》各章的内容精要与学习指导和主教材相应章节的习题解答。

书籍目录

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