大拱桥--暨南大学学生门户 » 图书馆 » 数理逻辑-数学基础 » 数理逻辑与集合论（第二版）精要与题解
名称 数理逻辑与集合论（第二版）精要与题解
索引号 O14/20011.2
分类号 O14
O14(数理逻辑-数学基础)
O1(数学)
O(数理科学和化学)
作者 王宏、杨明、
出版社 北京 : 清华大学出版社, 2001
ISBN 7-302-04528-3
页数 150页 ; 26cm
价格 CNY16.00
标签 as、教材、数学、数理逻辑、看看、逻辑-哲学、
简介
注解 清华大学计算机系列教材 本书分为两大部分:第1部分是主教材《数理逻辑与集合论》(第二版)个章的内容精要与学习指导・第2部分是主教材相应̃篇章的习题解答，附有主教材全部习题的参考解答或证明・
书籍目录

第一部分 内容精要
第1章 命题逻辑的基本概念
第2章 命题逻辑的等值和推理演算
第3章 命题逻辑的公理化
第4章 谓词逻辑的基本概念
第5章 谓词逻辑的等值和推理演算
第6章 谓词逻辑的公理化
……
第二部分 习题解答
第1章 习题解答
第2章 习题解答
第3章 习题解答
第4章 习题解答
第5章 习题解答
第6章 习题解答
……
参考文献