离散数学 左孝凌 上海科学技术文献出版社
收到书籍不满意联系客服送运费险退货。二手书不配有光盘、答案、激活码等其他附件。
¥
8.1
4.5折
¥
18
八五品
库存200件
作者刘永才著;左孝凌;李为鑑
出版社上海科学技术文献出版社
ISBN9787805130699
出版时间1982-09
装帧平装
开本32开
定价18元
货号9787805130699
上书时间2024-08-12
商品详情
- 品相描述:八五品
- 商品描述
-
作者简介
左孝凌,教授,上海交通大学任教。上海人。著有《计算机软件基础教程》、《离散数学─理论、分析、题解》等,译有《组合理论的基本方法》、《逻辑设计的问题和解》等。
目录
第一篇数理逻辑
第一章命题逻辑
1-1命题及其表示法
1-2联结词
1-3命题公式与翻译
1-4真值表与等价公式
1-5重言式与蕴含式
1-6其他联结词
1-7对偶与范式
1-8推理理论
1-9应用
第二章谓词逻辑
2-1谓词的概念与表示
2-2命题函数与量词
2-3谓词公式与翻译
2-4变元的约束
2-5谓词演算的等价式与蕴含式
2-6前束范式
2-7谓词演算的推理理论
第二篇集合论
第三章集合与关系
3-1集合的概念和表示法
3-2集合的运算
3-3包含排斥原理
3-4序偶与笛卡尔积
3-5关系及其表示
3-6关系的性质
3-7复合关系和逆关系
3-8关系的闭包运算
3-9集合的划分和覆盖
3-10等价关系与等价类
3-11相容关系
3-12序关系
第四章函数
4-1函数的概念
4-2逆函数和复合函数
4-3特征函数与模糊子集
4-4基数的概念
4-5可数集与不可数集
4-6基数的比较
第三篇代数系统
第五章代数结构
5-1代数系统的引入
5-2运算及其性质
5-3半群
5-4群与子群
5-5阿贝尔群和循环群
5-6置换群与伯恩赛德定理
5-7陪集与拉格朗日定理
5-8同态与同构
……
内容摘要
本书内容包括数理逻辑,集合论,代数结构和图论以及形式语言与自动化。
精彩内容
本书内括数理逻辑, 集合论, 代数结构和图论以及形式语言与自动化.
— 没有更多了 —
以下为对购买帮助不大的评价