返回首页
苏宁会员
购物车 0
易付宝
手机苏宁

服务体验

店铺评分与同行业相比

用户评价:----

物流时效:----

售后服务:----

  • 服务承诺: 正品保障
  • 公司名称:
  • 所 在 地:

  • 正版 离散数学 费文龙,彭茂,杨振启编 科学出版社 978703047781
  • 新华书店旗下自营,正版全新
    • 作者: 费文龙,彭茂,杨振启编著 | 费文龙,彭茂,杨振启编编 | 费文龙,彭茂,杨振启编译 | 费文龙,彭茂,杨振启编绘
    • 出版社: 科学出版社
    • 出版时间:2015-09-01
    送至
  • 由""直接销售和发货,并提供售后服务
  • 加入购物车 购买电子书
    服务

    看了又看

    商品预定流程:

    查看大图
    /
    ×

    苏宁商家

    商家:
    美阅书店
    联系:
    • 商品

    • 服务

    • 物流

    搜索店内商品

    商品分类

    商品参数
    • 作者: 费文龙,彭茂,杨振启编著| 费文龙,彭茂,杨振启编编| 费文龙,彭茂,杨振启编译| 费文龙,彭茂,杨振启编绘
    • 出版社:科学出版社
    • 出版时间:2015-09-01
    • 版次:1
    • 印刷时间:2016-03-01
    • 字数:300
    • 页数:194
    • 开本:16开
    • ISBN:9787030477811
    • 版权提供:科学出版社
    • 作者:费文龙,彭茂,杨振启编
    • 著:费文龙,彭茂,杨振启编
    • 装帧:平装
    • 印次:暂无
    • 定价:39.00
    • ISBN:9787030477811
    • 出版社:科学出版社
    • 开本:16开
    • 印刷时间:2016-03-01
    • 语种:中文
    • 出版时间:2015-09-01
    • 页数:194
    • 外部编号:8764962
    • 版次:1
    • 成品尺寸:暂无

    前言

    章命题逻辑

    1.1命题和联结词

    1.1.1命题

    1.1.2命题联结词

    1.1.3命题表达式

    1.1.4真值表的构造

    1.1.5命题符号化

    1.2重言式

    1.2.1指派

    1.2.2重言式

    1.2.3逻辑等价

    1.2.4永真蕴含

    1.2.5代入规则与替换规则

    1.2.6对偶原理

    1.3公式中的范式

    1.3.1析取范式和合取范式

    1.3.2主析取范式

    1.3.3主合取范式

    1.4命题联结词的扩充与归约

    1.4.1命题联结词的扩充

    1.4.2命题联结词的规约

    1.5基于命题的推理

    1.5.1基于真值表的推理

    1.5.2基于推理规则的推理

    1.5.3应用实例

    1.6习题

    第二章谓词逻辑

    2.1谓词公式

    2.1.1个体

    2.1.2谓词

    2.1.3量词

    2.1.4命题符号化

    2.1.5谓词公式

    2.2约束

    2.2.1约束部分

    2.2.2换名规则和代替规则

    2.2.3公式的解释

    2.3谓词公式中的永真式

    2.3.1谓词公式的等价

    2.3.2谓词公式的永真

    2.3.3谓词公式的可满足

    2.3.4永真公式

    2.3.5代入规则、替换规则与对偶原理

    2.4谓词公式中的范式

    2.4.1前束范式

    2.4.2斯柯林范式

    2.5谓词推理

    2.5.1推理规则

    2.5.2举例

    2.6习题

    第三章集合论

    3.1基本概念

    3.2集合间的关系

    3.3集合的运算

    3.3.1集合的基本运算

    3.3.2集合的运算律

    3.3,3例题

    3,4包含排斥原理

    3.4.1两个集合的包含排斥原理

    3.4.2三个集合的包含排斥原理

    3.4.3多个集合的包含排斥原理

    3.5幂集合与笛卡儿乘积

    3.5.1幂集合

    3.5.2笛卡儿乘积

    3.6集合运算与基数概念的扩展

    3.6.1并集、交集的扩展

    3.6.2基数概念的扩展

    3.7习题

    第四章二元关系

    4.1基本概念

    4.1.1二元关系的定义

    4.1.2关系的运算

    4.2关系的基本性质

    4.2.1自反性

    4.2.2对称性

    4.2.3传递性

    4.2.4反自反性

    4.2.5反对称性

    4.3复合关系

    4.4关系的表示

    4.4.1用矩阵表示关系

    4.4.2用图表示关系

    4.4.3特定关系的矩阵及其关系图的属性

    4.4.4复合关系的关系矩阵

    4.5逆关系

    4.5.1逆关系的定义

    4.5.2逆关系的性质

    4.6关系的闭包

    4.6.1自反,对称和传递闭包

    4.6.2闭包的性质及求法

    4.7集合的划分和覆盖

    4.7.1划分

    4.7.2交叉划分

    4.7.3加细

    4.8等价关系与等价类

    4.8.1等价关系

    4.8.2等价类

    4.8.3划分与等价关系

    4.9偏序

    4.9.1引言

    4.9.2字典顺序

    4.9.3哈塞图

    4.9.4极大元素与极小元素

    4.9.5格

    4.10函数

    4.10.1函数的定义

    4.10.2函数的合成

    4.10.3特殊函数类

    4.11习题

    第五章图论

    5.1若干图论经典问题

    5.1.1哥尼斯堡七桥问题

    5.1.2环球旅行问题

    5.1.3四色问题

    5.2图与图的矩阵表示

    5.3路与连通度

    5.4欧拉图与哈密尔顿图

    5.5二部图与匹配

    5.6平面图

    5.7树

    5.7.1树及其性质

    5.7.2最小生成树

    5.7.3有向树

    5.8优选流问题

    5.8.1网络优选流基本概念

    5.8.2优选流与最小割

    5.8.3优选流算法

    5.8.4优选流算法应用

    5.9习题

    第六章代数系统

    6.1二元运算及性质

    6.1.1二元运算的定义

    6.1.2二元运算的性质

    6.2代数系统

    6.2.1代数系统的定义与实例

    6.2.2代数系统的同构与同态

    6.3半群

    6.3.1半群

    6.3.2单位元和逆元

    6.4群

    6.4.1群的定义

    6.4.2群的同态

    6.4.3循环群

    6.4.4变换群

    6.4.5置换群

    6.4.6子群

    6.4.7子群的陪集

    6.4.8不变子群和商群

    6.5环和域简介

    6.5.1环

    6.5.2域

    6.6习题

    主要参考文献

    评论

    本书主要包含了经典离散数学课程的基本知识,包括数理逻辑、集合论、图论和代数系统4个部分的内容。其中数理逻辑主要介绍如何用数学的符号和语言研究推理演绎的过程,包括命题逻辑和谓词逻辑两部分;集合论用抽象化的方法定义了集合之间的关系,以及集合元素之间的关系和运算,包含了集合、二元关系和函数3块内容;图论介绍了一种特殊的离散结构,以及在这种结构上的基本算法;代数系统从理论角度定义了运算,是抽象代数的基础。

    导语_点评_词 

    售后保障

    最近浏览

    猜你喜欢

    该商品在当前城市正在进行 促销

    注:参加抢购将不再享受其他优惠活动

    x
    您已成功将商品加入收藏夹

    查看我的收藏夹

    确定

    非常抱歉,您前期未参加预订活动,
    无法支付尾款哦!

    关闭

    抱歉,您暂无任性付资格

    此时为正式期SUPER会员专享抢购期,普通会员暂不可抢购