离散数学

全新正版极速发货

21.37 5.6折 38 全新

库存76件

广东广州

认证卖家担保交易快速发货售后保障

作者刘永才著；左孝凌；李为鑑

出版社上海科学技术文献出版社

ISBN9787805130699

出版时间1982-09

装帧平装

开本32开

定价38元

货号1202558308

上书时间2024-10-01

已实名已认证进店收藏店铺

商品描述: 目录
第一篇数理逻辑

第一章命题逻辑

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同态与同构

……

内容摘要
本书内容包括数理逻辑，集合论，代数结构和图论以及形式语言与自动化。

— 没有更多了 —