数理逻辑与集合论
杨明,王宏
北京希望电子出版社
出版时间：
2001-8-1
出版社：
北京希望电子出版社
作者：
杨明,王宏
页数：
150
Tag标签：
无
内容概要
本书是清华大学计算机系列教材《数理逻辑与集合论》(第二版)的配套教材，分为主教材《数理与逻辑与集合论》各章的内容精要与学习指导和主教材相应章节的习题解答。
书籍目录
一，命题逻辑的基本概念
二，命题逻辑的等值和推理演算
三，命题逻辑的公理化
四，谓词逻辑的基本概念
五，谓词逻辑的等值和推理演算
六，谓词逻辑的公理化
七，一阶形式理论及模型
八，证明论中的逻辑系统
九，集合
十，关系
十一，函数
十二，实数集合与集合的基数
习题解答
图书封面
图书标签Tags
无
广告
下载页面