数理逻辑与集合论(第二版)--精要与题解

当前位置:首页 > 教材 > 研究生/本科/专科教材 > 数理逻辑与集合论(第二版)--精要与题解

  • 版 次:2
  • 页 数:150
  • 字 数:
  • 印刷时间:
  • 开 本:
  • 纸 张:
  • 包 装:
  • 是否套装:否
  • 国际标准书号ISBN:9787302045281
作者:王宏出版社:清华大学出版社出版时间:2001年08月 
内容简介
本书是清华大学计算机系列教材《数理逻辑与集合论》(第二版)的配套教材,分为主教材《数理与逻辑与集合论》各章的内容精要与学习指导和主教材相应章节的习题解答。
目  录
一,命题逻辑的基本概念 二,命题逻辑的等值和推理演算 三,命题逻辑的公理化 四,谓词逻辑的基本概念 五,谓词逻辑的等值和推理演算 六,谓词逻辑的公理化 七,一阶形式理论及模型 八,证明论中的逻辑系统 九,集合 十,关系 十一,函数 十二,实数集合与集合的基数 习题解答

 数理逻辑与集合论(第二版)--精要与题解下载



发布书评

 
 

 

PDF图书网 

PDF图书网 @ 2017