刘铎计算机学院,离散数学及应用 [刘铎编著] 2013年版

离散数学及应用

作　者：刘铎编著

出版时间：2013

丛编项：高等学校计算机专业规划教材

内容简介

离散数学是现代数学的一个重要分支，是计算机专业和软件工程专业的基础主干课程，是进一步学习后续课程的研究和开发的基础。《高等学校计算机专业规划教材：离散数学及应用》是根据作者多年教学经验编写而成的，着重讲解离散数学的基本概念、基本方法及其应用.并给出大量典型例题和习题，以及若干应用案例和实验项目。全书共分9章，包括朴素集合论.数论基础、计数基础、命题逻辑、谓词逻辑、二元关系.函数、偏序关系与格、图论与树等。《高等学校计算机专业规划教材：离散数学及应用》结构紧凑、内容精炼、体系严谨、语言流畅、讲解详细，可作为高等院校计算机或软件工程专业本科生的“离散数学”课程教材，也可供其他专业学生和科技人员阅读参考。

第1章基础知识

1.1 集合与序列

1.1.1 集合的基本概念

1.1.2 集合的运算及性质

1.1.3 序列

1.2 数论基础

1.3 计数基础

1.3.1 加法法则与乘法法则

1.3.2 排列与组合

1.3.3 鸽巢原理

1.3.4 有限集的计数——容斥原理

1.3.5 递推关系

1.4 布尔矩阵及其运算

习题一

第2章命题逻辑

2.1 命题逻辑的基本概念

2.2 命题公式及其分类

2.3 命题逻辑的等值演算

2.4 对偶与范式

2.4.1 对偶

2.4.2 析取范式和合取范式

2.4.3 主范式

2.5 命题联结词的完备集

2.6 命题逻辑的推理

习题二

第3章谓词逻辑

3.1 谓词、量词与自然语句形式化

3.1.1 谓词

3.1.2 量词

3.1.3 自然语句形式化

3.2 谓词公式及分类

3.3 谓词逻辑的等值演算

3.4 前束范式

3.5 谓词逻辑的推理

习题三

第4章二元关系

4.1 关系及其表示

4.1.1 有序对与笛卡儿积

4.1.2 二元关系的定义

4.1.3 二元关系的表示

4.2 关系的运算

4.2.1 关系的基本运算

4.2.2 关系的幂和道路

4.3 关系的性质

4.3.1 关系性质的定义和判断

4.3.2 关系运算对性质的保持

4.4 关系的闭包

4.5 等价关系和集合的划分

4.5.1 等价关系、等价类和商集

4.5.2 集合的划分

4.5.3 等价关系与划分的一一对应

4.6 关系在计算机中的表示方法

习题四

第5章函数

5.1 函数的定义

5.2 函数的性质

5.3 函数的复合

5.4 逆函数

5.5 计算机科学中的常用函数

……

第6章偏序关系

第7章代数结构

第8章图论

第9章树及其应用

附录A 课程综合实验

附录B 名词英汉对照表

附录C 使用Mathematica学习离散数学

参考文献

刘铎计算机学院,离散数学及应用 [刘铎编著] 2013年版相关推荐

全国计算机等级考试二级教程:c语言程序设计(2013年版),全国计算机等级考试二级教程：C语言程序设计(2013年版)...
全国计算机等级考试二级教程:C语言程序设计(2013年版) <全国计算机等级考试二级教程:C语言程序设计(2013年版)>根据教育部考试中心制订的<全国计算机等级考试二级C语言程序设 ...
2013计算机等级考试三级教程网络技术,全国计算机等级考试三级教程——网络技术（2013年版）...
<全国计算机等级考试三级教程:网络技术(203年版)>根据教育部考试中心制订的<全国计算机等级考试3级网络技术考试大纲(203年版)>编写而成.主要内容包括:网络规划与设计的基 ...
内蒙古大学计算机学院周建涛,刘靖（内蒙古大学副教授）_百度百科
刘靖 (内蒙古大学副教授) 语音编辑锁定讨论上传视频本词条缺少概述图,补充相关内容使词条更完整,还能快速升级,赶紧来编辑吧! 刘靖,男,汉族,1981年出生,内蒙古呼和浩特人,2011年7月 ...
全国计算机等级考试二级教程——公共基础知识(2013年版)pdf,全国计算机等级考试2级教程：公共基础知识(2013年版)...
<全国计算机等级考试2级教程:公共基础知识(2013年版)>是根据教育部考试中心颁布的<全国计算机等级考试二级公共基础知识考试大纲<2913年版)>的要求,在2012年版 ...
厦门大学计算机学院离散数学复试,2019年厦门大学计算机考研复试办法
2019年厦门大学计算机考研复试办法如下~ 1.学术型硕士研究生总计划招生25名,其中推荐免试生13名已经复试.今年上复试线考生26名,按照1:1.5的差额复试比例确定初试成绩在337分及以上的考生全 ...
刘怡光在川大计算机学院职位,刘怡光
刘怡光,男,四川大学博士,四川大学计算机学院教授.博士生导师. 中文名刘怡光国籍毕业院校学位/学历博士专业方向三维视觉.模式识别与计算智能职务四川省专家评议(审)委员会 ...
哈理工大学计算机专业宿舍,计算机学院举办“灯塔工程”之寝室文化节
为夯实我院标准化寝室建设成果,紧密契合学生培养"灯塔工程"中的构建和谐寝室的理念,践行服务育人.管理育人.环境育人的理念,培育健康.积极.向上的寝室文化,营造舒适.温馨.和谐的寝室 ...
廉洁文化计算机学院,资讯抢先看 | 廉洁文化主题活动优秀作品锦集，请查收~...
原标题:资讯抢先看 | 廉洁文化主题活动优秀作品锦集,请查收~ 看了就要关注我,喵呜~ 在大家的共同努力下,"清正在德,廉洁在志"校园廉洁文化主题作品征集活动获得圆满成功. 本活动 ...
计算机考研数据库原理真题,四川理工学院计算机学院数据库原理历年考研真题汇编.pdf...
四川理工学院计算机学院 816 数据库原理历年考研真题汇编最新资料, WORD格式,可编辑修改! 目录第一部分历年考研真题汇编 2014 年四川理工学院计算机学院 816 数据库原理考研真题 ...
计算机学院篮球赛主题,计算机学院第七届“光熙杯”篮球赛开幕
(计算机学院宣文/图兰善伟)2013年4月23日,计算机科学与技术学院迎来了第七届"光熙杯"篮球赛. 本次篮球赛共有七支队伍,分别是计算机应用中心队.智能计算球比特队.生物计算 ...

刘铎计算机学院,离散数学及应用 [刘铎编著] 2013年版

刘铎计算机学院,离散数学及应用 [刘铎编著] 2013年版相关推荐

最新文章

热门文章

刘铎 计算机学院,离散数学及应用 [刘铎 编著] 2013年版

刘铎 计算机学院,离散数学及应用 [刘铎 编著] 2013年版相关推荐

最新文章

热门文章

刘铎计算机学院,离散数学及应用 [刘铎编著] 2013年版

刘铎计算机学院,离散数学及应用 [刘铎编著] 2013年版相关推荐