大拱桥--暨南大学学生门户 » 珠海校区图书馆 » 数理逻辑(符号逻辑) » 数理逻辑与集合论(第二版)：精要与题解
名称 数理逻辑与集合论(第二版)：精要与题解
索引号 O141-43/2:2
分类号 O141-43
O141(数理逻辑(符号逻辑))
O14(数理逻辑-数学基础)
O1(数学)
O(数理科学和化学)
作者 王宏、杨明、
出版社 北京：清华大学出版社，2001
ISBN 7-302-04528-3
页数 150页
价格 CNY16.00
标签 数理逻辑、集论、数理逻辑高等学校教材、as、教材、数学、看看、逻辑-哲学、
简介 清华大学计算机系列教材
注解 本书分为两大部分：第一部分是主教材《数理逻辑与集合论》各章的内容精要与学习指导；第二部分是主教材相应章节的习题解答。
书籍目录

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