《高等学校规划教材:离散数学》是 2008年电子来自工业出版社出版的图书，作者是陈光喜，丁宣浩。
作 者: 陈光喜，丁宣浩 编
出 版 来自社: 电子工业出版社
ISBN: 9787121056543
出版时间: 2008-01-01
版 次: 1
页 数360百科: 329
装 帧: 平装
开 本: 16开
所属分类: 图书>科建学与自然>数学
"离散数学"是研究离散量结构及其相互关系的数学学科，是现代数学的重要组成部分，是计算机科学与技术的理论基础。《高等学校规划教材:离散数学》包括离散数学中的五部分内容:数理逻辑、集合论与关系、组合数学与数论初步、图论和代数结构。离散数学也是计算机科学与技术专业研究生入刚害判先艺春厂学考试、全国计算机等级考试四级(软件方向)、同等学历人员申请硕士学位全国统考非古棉先们的内容。本教材还包括了历年计算机等级考试中的试题和同等学历硕士学位全国统考的模拟试题。 《高等学校规划教材:离散数学》可作为普通高校计算机科学与技术、信息与计算科学等专业本科生教材，也可作为全国计算机等级考试(四级)与同等学历人员申请硕士学位的全国统考教材。
来自 第1篇 数理逻辑
第1章 命题逻辑基本概念
名条解还还就 1.1 命题与命题联结词
1.2 命题公式及360百科其真值表
1.3 命题逻辑等值演算
1.4 主析取范式与主合扩检取范式
1.5 联结词的完备集
第2章 命题逻辑的推理理论
2.1 命题逻辑的推理演算
庆她项脱黑敌统而 2.2 命题逻辑的归结推理方法
2.3 命题逻辑的公理系统
第3章 谓词逻辑基本概念
3.1 谓词、个体词与量词
3.2 谓词公式的分类与磁县望静集盾况或解释
3.3 等值演算与前束范式、Skolem范式
第4章 谓词逻辑的推理理论
4副画法.1 谓词逻辑的推理演算
4.2 谓词逻辑的归结推理方法
数理逻辑习题
数理逻辑应用实践性习题
第高到答等由了真杆字2篇 集合论与关系
第5章 集合论初步
5.1 集合的基本概念
5.2 自然数与院民拉波齐书销无穷公理、归纳法原理
5.3 有序对与笛卡儿积
第6章 二元关系
6.1 二元关改系概述
6.2 关系运算及性质
第7章 等价关系与偏序关系
7.1 等价关系与集合的划分
7.2 偏序关系与哈斯西图
7.3 函数
7.4 大室设解华国续尔集合的基数
集合论与关系习众火此止解伟始题
集合论与关系应用实践性习题
第3篇 组合数学与数论初步
第8章 组合数学初步
8.1 计数、排列与组合
8.1.1 加法法则
8.1.2 乘法法则
8讲顶王福支士.1.3 排列与组合
今改训离 8.1.4 组合和排列生成算法
8.1.5 二项式定传小但消双很钟小理
8.2 递推关系和母函数
8.2.1 递推关系
8.2.2 母函数
8.3 抽屉原理
第9章 数论初步
9.1 整除
9.1.1 整除和因数
9.1.2 质数与合数
9.1.3 最大公因数、最小公倍数
9.1音胞指.4 唯一分解定理
9.2 同余、中国剩余定理
9.2.1 同余
9.2.2 剩余类和欧拉函数
9.2.3 一元一次同余式
9.2.4 中国剩余定理
9.2.5 数论应用于计算机通信安全
组合数学与数论初步习题
组合数学与数论初步应用实践性习题
第4篇 图 论
第10章 图的基本概念
10.1 无向图与有向图
10.病料2 通路、回路、图的连通器性
10.3 图的矩阵表示
10.4 最短路径与关键路径
…息验…
第11章 几种特殊图
第5篇 代数结构
第12章 代数系统的概念
第13章 半群与群
第14章 环和域
第15章 格与布尔代数
关注微信