《数理逻辑与集合论(第二版)精要与题解》王宏杨明

城市

店铺名称

店主联系方式

店铺售价

库存

店铺得分/总交易量

发布时间

操作

新书比价

网站名称

书名

售价

优惠

操作

图书详情

出版社

清华大学出版社
ISBN

9787302045281
作者

王宏杨明
页数

150
出版时间

2001年08月01日
定价

¥16.00
所属分类

内容提要

本书是清华大学计算机系列教材《数理逻辑与集合论》(第二版)一书的配套教材。
全书分为两大部分:第1部分是主教材《数理逻辑与集合论》(第二版)各章的内容精要与学习指导,包括主教材中的基本概念、基本公式、定义、定理及完成习题所涉及的内容,相当于主教材内容的精华与复习提纲。第2部分是主教材相应章节的习题解答,附有主教材全部习题的参考解答或证明。部分习题除给出详细解答或证明过程外,还列出解题思路、提示,容易出现的错误和多种解法等。书中注重学习方法与逻辑思维能力的培养和训练,并照顾到不同需求和不同层次的读者

**部分??内容精要
第1章??命题逻辑的基本概念
1.?1??命题
1.?2??命题联结词及真值表
1.?3??合式公式
1.?4??重言式
1.?5??命题形式化
第2章??命题逻辑的等值和锥理演算
2.?1??等值定理
2.?2??等值公式
2.?3??命题公式与真值表的关系
2.?4??联结词的完备集
2.?5??对偶式
2.?6??范式
2.?7??推理形式
2.?8??基本的推理公式
2.?9??推理演算
2.?1...... 更多