×
超值优惠券
¥50
100可用 有效期2天

全场图书通用(淘书团除外)

关闭
暂无评论
图文详情
  • ISBN:9787302653547
  • 装帧:平装-胶订
  • 册数:暂无
  • 重量:暂无
  • 开本:其他
  • 页数:172
  • 出版时间:2024-03-01
  • 条形码:9787302653547 ; 978-7-302-65354-7

本书特色

作者在编写过程中,考虑到应用型本科在教学方面的学时限制,同时离散数学中定义、定理、公式多,通过课堂不容易消化吸收,教师课内完成基本教学内容就比较吃力,加上应用型人才培养模式改革的不断加剧,给该课程的教学时间、内容、学习方式等都带了巨大冲突和矛盾。因此,通过改革传统的考核方式着手,形成以40%的线上过程性任务驱动式(学生以学习平台为主开展基本教学知识点的学习为主)加60%的线下期末考试做为新的考核方式(教师线下教学可以结合学生完成情况开展任务驱动、翻转教学等方式进行教学内容的进一步深化、补充和扩展),极大的解决了当前这些问题,同时也收到了很好的教学效果。

内容简介

《离散数学》系统介绍了离散数学的基本概念、基本定理、运算规律及离散数学在计算机科学与技术中的应用。全书共6章,主要内容包括命题逻辑、谓词逻辑、集合及其运算、关系、函数和图论。每章均附有精选习题。本书在内容安排上循序渐进,概念阐述严谨,证明推演详尽,实例说明清楚。《离散数学》立求将理论与应用相结合,适合作为普通高等院校计算机专业本科生的教材,也可供从事计算机软件开发和应用的人员参考使用。

目录

第1章命题逻辑 1.1命题与命题联结词 1.1.1命题 1.1.2命题联结词 1.2命题公式与分类 1.2.1命题公式 1.2.2公式的赋值与分类 1.3等值演算 1.3.1基本等值式 1.3.2命题公式的等值演算 1.4对偶与范式 1.4.1对偶 1.4.2析取范式与合取范式 1.4.3主范式 1.4.4主范式的应用 1.5推理理论 1.5.1命题的蕴涵关系 1.5.2构造推理的形式证明 1.5.3推理规则 1.6例题解析 本章小结 习题 第2章谓词逻辑 2.1谓词逻辑的基本概念 2.1.1谓词、个体和个体域 2.1.2量词 2.2谓词公式及其解释 2.2.1谓词公式的定义 2.2.2谓词公式的解释 2.2.3谓词公式的分类 2.3谓词公式之间的关系与范式表示 2.3.1谓词公式之间的关系 2.3.2范式 2.4谓词演算的推理理论 2.4.1推理规则 2.4.2推理规则实例 2.5例题解析 本章小结 习题 第3章集合及其运算 3.1集合的基本概念 3.1.1集合的概念 3.1.2集合的特性 3.1.3集合的表示方法 3.2集合间的关系 3.2.1包含关系 3.2.2相等关系 3.2.3特殊集合 3.3集合的运算 3.3.1集合的基本运算 3.3.2有限集的计数 3.4幂集和编码 3.4.1幂集 3.4.2幂集元素与编码 3.5集合恒等式证明 3.5.1基本定义法 3.5.2公式法 3.5.3集合成员表法 3.6例题解析 本章小结 习题 第4章关系 4.1关系的基本概念 4.1.1集合的笛卡儿积 4.1.2关系的定义 4.2关系的表示方法 4.2.1集合表示法 4.2.2关系矩阵表示法 4.2.3关系图表示法 4.3关系的运算 4.3.1复合运算 4.3.2逆运算 4.4关系的性质 4.4.1关系的五种性质 4.4.2关系性质的证明 4.5关系的闭包 4.6等价关系与划分 4.6.1等价关系 4.6.2集合的划分 4.6.3集合的划分与等价关系 4.7次序关系 4.7.1偏序的定义及表示 4.7.2偏序集中的特殊元素 4.7.3拟序关系 4.7.4全序关系 4.7.5良序关系 4.8例题解析 本章小结 习题 第5章函数 5.1函数的基本概念 5.2特殊函数与常函数 5.3复合函数与逆函数 5.3.1复合函数 5.3.2逆函数 5.4例题解析 本章小结 习题 第6章图论 6.1图的基本概念 6.1.1图的定义 6.1.2图的表示 6.1.3图的运算 6.1.4邻接点与邻接边 6.1.5图的分类 6.1.6子图 6.1.7节点的度与握手定理 6.1.8图的连通性 6.1.9无向图的遍历 6.2树 6.2.1无向树的定义 6.2.2根树的定义 6.2.3树的遍历 6.3带权图及其应用 6.3.1带权图的*短距离 6.3.2带权图的*小生成树 6.3.3哈夫曼树 6.4特殊图 6.4.1平面图 6.4.2欧拉图 6.4.3哈密顿图 6.5例题解析 本章小结 习题 参考文献
展开全部

预估到手价 ×

预估到手价是按参与促销活动、以最优惠的购买方案计算出的价格(不含优惠券部分),仅供参考,未必等同于实际到手价。

确定
快速
导航