消息首页搜索举报

工科离散数学牛连强　编著电子工业出版社

二手书，无附赠品，择优发货

2.46 0.7折 35 八五品

库存6件

浙江杭州

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

作者牛连强　编著

出版社电子工业出版社

ISBN9787121306419

出版时间2017-02

版次1

装帧平装

开本16开

纸张胶版纸

页数204页

字数99999千字

定价35元

货号9787121306419

上书时间2024-10-04

现货12小时发货书店

三年老店

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

在售商品暂无
平均发货时间 7小时
好评率暂无

最新上架

【正版套装】莎士比亚全集全四卷 9787553459271 ¥45.00

【正版套装】儒家经典全三卷 9787800992988 ¥85.00

【正版套装】改善视力提升注意力3D益智游戏第1辑（全5册） 9787544251518 ¥75.00

【正版套装】古利和古拉（全8册） 9787559626042 ¥110.00

【正版套装】计量经济学基础第5版上下册 9787300136936 ¥16.50

【正版套装】白话资治通鉴全10册 9787510413223 ¥310.00

【正版套装】镜花缘上下册 9787540484804 ¥35.00

【正版套装】可回收之家：限量亲签上下册 9787533975098 ¥36.50

【正版套装】康德三大批判合集上下册 9787010082837 ¥55.00

商品详情

品相描述：八五品

商品描述: 基本信息
书名:工科离散数学
定价：35.00元
作者:牛连强　编著
出版社：电子工业出版社
出版日期：2017-02-01
ISBN：9787121306419
字数：367200
页码：204
版次：
装帧：平装
开本：16开
商品重量：
编辑推荐

内容提要
《普通高等教育"十三五"规划教材:工科离散数学》以数理逻辑为基础，介绍命题逻辑、一阶谓词逻辑、集合论、关系、函数、代数结构和图论。不同于一般的离散数学书籍，《普通高等教育"十三五"规划教材:工科离散数学》内容主要以满足一般工科院校计算机科学与技术、软件工程、信息与计算科学以及其他信息领域相关专业的离散数学课程教学要求为主，不求大求全，尤其是根据工程教育的要求，注重介绍有应用价值的理论，避免理论上的缠绕，内容简介务求通俗明了。同时，还增加了相当数量的工程应用方面的简介以及相关参考文献，使学习者能够快速了解这些理论的实际工程用途。《普通高等教育"十三五"规划教材:工科离散数学》的配套网络课程、电子教案和习题辅导用书将陆续推出，以满足现在立体化教学的要求。《普通高等教育"十三五"规划教材:工科离散数学》不仅能很好地满足一般工科院校的离散数学课程教学需要，也特别适合自学。
目录
目录章命题逻辑11.1 命题1思考与练习1.131.2 逻辑联结词31.2.1 基本联结词31.2.2 其他联结词6思考与练习1.261.3 命题公式与真值表71.3.1 命题公式71.3.2 真值表8思考与练习1.391.4 命题翻译91.4.1 合取命题91.4.2 可兼与不可兼析取命题101.4.3 条件命题101.4.4 多联结词命题11思考与练习1.4131.5 命题公式的值与等价141.5.1 命题公式的分类141.5.2 命题公式的等价141.5.3 联结词的功能完备集171.5.4 由德?摩根律到对偶原理17思考与练习1.5181.6 范式191.6.1 简单的范式191.6.2 小项与大项201.6.3 主析取范式与主合取范式21思考与练习1.6231.7 推理理论241.7.1 蕴含与论证241.7.2 自然推理系统26思考与练习1.733第2章谓词逻辑342.1 谓词、个体词与量词342.1.1 个体词与谓词342.1.2 量词与量化36思考与练习2.1372.2 谓词逻辑中的命题翻译382.2.1 特殊化个体词的命题382.2.2 量词量化的命题39思考与练习2.2422.3 量词约束与谓词公式的解释422.3.1 量词对个体词变元的作用422.3.2 谓词公式的解释与求值432.3.3 量词与联结词的搭配44思考与练习2.3452.4 谓词逻辑中的基本等价和蕴含关系462.4.1 基本等价与蕴含关系462.4.2 利用等价关系计算前束范式49思考与练习2.4502.5 谓词演算的推理理论50思考与练习2.556第3章集合论基础583.1 集合的概念与表示方法583.1.1 集合描述583.1.2 集合的包含与相等593.1.3 空集与全集603.1.4 集合的幂集62思考与练习3.1633.2 集合运算643.2.1 基本运算643.2.2 多集合的交与并66思考与练习3.2683.3 集合运算的性质与证明方法693.3.1 集合运算的性质与演算证明693.3.2 基于定义的集合运算证明方法70思考与练习3.3733.4 序偶与笛卡尔积733.4.1 序偶与元组743.4.2 笛卡尔积74思考与练习3.477第4章关系784.1 二元关系的含义与表示784.1.1 二元关系784.1.2 关系的矩阵和图表示法80思考与练习4.1814.2 关系运算814.2.1 关系求逆与复合824.2.2 关系运算的性质834.2.3 利用关系图与关系矩阵实现关系运算854.2.4 多关系的复合87思考与练习4.2894.3 关系的主要性质894.3.1 自反与反自反关系894.3.2 对称与反对称关系904.3.3 传递关系924.3.4 特殊关系的判定92思考与练习4.3944.4 关系的闭包954.4.1 闭包的概念954.4.2 闭包计算96思考与练习4.4994.5 相容关系与等价关系1004.5.1 集合的覆盖与划分1004.5.2 相容与等价1014.5.3 相容关系产生的完全覆盖1024.5.4 等价关系产生的划分1034.5.5 由覆盖、划分生成相容关系和等价关系105思考与练习4.51064.6 序关系1074.6.1 体现部分次序的偏序关系1074.6.2 哈斯图1074.6.3 偏序集的特殊元素110思考与练习4.6112第5章函数1145.1 从关系到函数1145.1.1 函数的概念1145.1.2 函数集1155.1.3 特殊函数116思考与练习5.11185.2 函数的逆与复合1195.2.1 双射的反函数1195.2.2 函数的复合1195.2.3 函数运算的性质121思考与练习5.21225.3 集合的基数1235.3.1 集合等势1235.3.2 有限集与无限集1245.3.3 可数集与不可数集1245.3.4 基数比较126思考与练习5.3127第6章运算与代数系统1296.1 运算及其性质1296.1.1 n元运算1296.1.2 二元运算的主要性质130思考与练习6.11326.2 二元运算中的特殊元素1326.2.1 幺元1326.2.2 零元1336.2.3 逆元134思考与练习6.21356.3 代数系统1356.3.1 代数与子代数1356.3.2 同态与同构136思考与练习6.31386.4 半群与独异点138思考与练习6.41406.5 群与子群1406.5.1 群的概念1406.5.2 群的性质1416.5.3 子群142思考与练习6.51446.6 循环群与置换群1456.6.1 循环群1456.6.2 置换群146思考与练习6.61486.7 群的陪集分解1496.7.1 陪集1496.7.2 拉格朗日定理150思考与练习6.7151第7章环、域、格和布尔代数1527.1 环和域1527.1.1 环1527.1.2 域153思考与练习7.11547.2 格1557.2.1 格与其诱导的代数系统1557.2.2 子格1577.2.3 特殊格157思考与练习7.21607.3 布尔代数1617.3.1 布尔格诱导的布尔代数1617.3.2 典型的布尔代数162思考与练习7.3164第8章图1658.1 图的基本概念1658.1.1 图的认知1658.1.2 结点的度与握手定理1668.1.3 完全图与正则图1688.1.4 子图、补图与图同构169思考与练习8.11708.2 图的连通性1718.2.1 路与回路1718.2.2 无向图的连通性1728.2.3 有向图的连通性173思考与练习8.21748.3 图的矩阵表示1748.3.1 邻接矩阵1748.3.2 关联矩阵176思考与练习8.31778.4 二部图、欧拉图与汉密尔顿图1778.4.1 二部图1778.4.2 欧拉图1798.4.3 汉密尔顿图181思考与练习8.41838.5 平面图1838.5.1 平面图与欧拉定理1838.5.2 平面图的对偶图1868.5.3 平面图的着色187思考与练习8.51888.6 树1888.6.1 无向树1888.6.2 生成树1908.6.3 根树192思考与练习8.6195附录A 符号索引197参考文献199
作者介绍
牛连强，男，沈阳工业大学软件学院院长、教授二是余年来，长期从事高等学校计算机领域的教学和科研工作，教学经验丰富、科研项目成果丰富，并出版了多部教材和专著，发表论文40余篇。
序言