数理逻辑与集合论(第二版)--精要与题解
特别声明：本站仅为商品信息简介，并不出售商品，您可点击文中链接进入淘宝网搜索页搜索该商品，有任何问题请与具体淘宝商家联系。
参考价格: 点此进入淘宝搜索页搜索分类: 图书,自然科学,数学,概率论与数理统计,
作者： 王宏
出 版 社： 清华大学出版社
出版时间： 2001-8-1字数：版次： 2版1次页数： 150印刷时间：开本：印次：纸张：I S B N ： 9787302045281包装：内容简介
本书是清华大学计算机系列教材《数理逻辑与集合论》(第二版)的配套教材，分为主教材《数理与逻辑与集合论》各章的内容精要与学习指导和主教材相应章节的习题解答。
目录
一，命题逻辑的基本概念
二，命题逻辑的等值和推理演算
三，命题逻辑的公理化
四，谓词逻辑的基本概念
五，谓词逻辑的等值和推理演算
六，谓词逻辑的公理化
七，一阶形式理论及模型
八，证明论中的逻辑系统
九，集合
十，关系
十一，函数
十二，实数集合与集合的基数
习题解答
