【现货直发】离散数学(上) 屈婉玲 编北京大学出版社
现货二手 若套装 先联系客服确认，二手书无附赠品
￥ 4.16 4.2折 ￥ 10 八五品
仅1件
作者屈婉玲 编
出版社北京大学出版社
ISBN9787301006740
出版时间1987-11
装帧平装
定价10元
货号9787301006740
上书时间2024-10-13
- 最新上架
![【现货直发】学习毛毛虫：色彩 [德]河南科学技术出版社](https://www0.kfzimg.com/sw/kfz-cos/kfzimg/20929206/b8bb411c1d4493c5_s.jpg)
商品详情
- 品相描述：八五品
- 现货二手 二手书无附赠品
- 商品描述
-
书名:离散数学(上)
定价：10.00元
作者:屈婉玲
编出版社：北京大学出版社
出版日期：1987-11
ISBN：9787301006740
字数：200千字
页码：268
版次：1
装帧：平装
开本：其他
商品标识：9787301006740
[chatu]
本书系统地介绍了数理编辑的基础知识和集合代数的部分内容。包括命题编辑、集合、二元关系、函数、基数、公理集合论等。另外还附有部分习题的提示和解答。此书适用于自学青年阅读，并且可供高等院校数学专业、计算机专业学生学习参考。
第一章 命题逻辑基本概念
1 命题符号化
2 合式公式与真值函数
习题一
第二章 命题逻辑等值演算
1 等值关系
2 联结词的全功能集
3 析取范式与合取范式
习题二
第三章 命题逻辑自然推理
1 推理的形式结构
2 自然推理系统P
3 证明方法
习题三
第四章 命题逻辑公理系统
1 公理系统与形式系统
2 公理系统L
L的演绎定理
L的性质
习题四
第五章 一阶逻辑基本概念
1 一阶逻辑命题符号化
2 一阶语言
3 解释与赋值
4 真与逻辑有效
习题五
第六章 一阶逻辑等值演算
1 一阶逻辑等值式
2 置换规则
3 前束范式
习题六
第七章 一阶逻辑的形式推理
1 推理定律
2 自然推理系统F
3 公理系统K
4 K的性质
习题七
第八章 集合代数
1 集合的基本概念
2 集合的运算
3 集合恒等式
习题八
第九章 二元关系
第十章 函数
第十一章 集合的基数
第十二章 公理集合论简介
参考书目
部分习题的提示或解答[chatu]
— 没有更多了 —
以下为对购买帮助不大的评价