集合论在计算机的应用,离散数学及其在计算机中的应用(第四次修订)
离散数学及其在计算机中的应用(第四次修订)简介
第一章 集合论 1
1.1 集合和元素的概念 1
1.2 集合的子集 2
1.3 全集和空集 3
1.4 集合的运算、文氏图 5
1.5 有限集合中的元素数目 13
习题一 16
第二章 关系 22
2.1 关系的基本概念 22
2.2 关系的性质 25
2.3 关系的运算 26
2.4 关系的闭包运算 31
2.5 具有特定性质的关系 35
习题二 39
第三章 映射与无限集 45
3.1 映射 45
3.2 无限集 51
习题三 58
第四章 近世代数 63
4.1 代数运算 63
4.2 代数系统 68
4.3 同态和同构 69
4.4 半群和单元半群 72
4.5 群论 74
4.6 环、理想、整环和域 96
4.7 偏序集和格 105
习题四 115
第五章 图论 130
5.1 图的基本概念 130
5.2 连通性 133
5.3 图的矩阵表示 141
5.4 权图、最小权通路和最小权回路 145
5.5 二分图 157
5.6 平面图 162
5.7 四色图 167
5.8 树 172
5.9 有向图 188
习题五 196
第六章 命题逻辑 213
6.1 命题与命题联结词 213
6.2 命题公式 221
6.3 重言式 237
6.4 范式 243
习题六 251
第七章 谓词逻辑 260
7.1 谓词逻辑的基本概念 260
7.2 谓词逻辑公式及其基本永真公式 267
7.3 前束范式与斯科林范式 274
7.4 函数 276
习题七 277
第八章 命题逻辑与谓词逻辑的公理化理论 283
8.1 公理化理论的基本思想 283
8.2 命题逻辑的公理系统 284
8.3 谓词逻辑的公理系统 289
习题八 294
第九章 离散数学在计算机科学中的应用 298
9.1 离散数学在关系数据库中的应用 298
9.2 离散数学与纠错码 324
9.3 谓词逻辑与逻辑程序设计语言 342
习题九 356
习题解答 358
习题一解答 358
习题二解答 365
习题三解答 373
习题四解答 376
习题五解答 387
习题六解答 400
习题七解答 415
习题八解答 419
习题九解答 421
参考文献 423
集合论在计算机的应用,离散数学及其在计算机中的应用(第四次修订)相关推荐
- 计算机专业的课程设置特点,计算机类专业“离散数学”课程设置的意义
[摘 要]离散数学是研究离散的.有限对象的科学,它广泛地应用于计算机科学,是计算机科学的数学基石.学习离散数学的学生大部分来自计算机科学专业,然而,计算机科学专业的大学生在离散数学课程学习中存在很多认 ...
- 离散数学计算机专业论文,离散数学
案例教学法是一种以案例为基础的教学法,是由美国哈弗法学院前院长克里斯托弗.朗代尔于1870年首创,在医学.管理学等许多学科应用广泛.本文将案例教学法应用到离散数学命题逻辑部分,通过选择真实可信的.客观 ...
- 自学能考计算机专业吗,离散数学自学有可能吗？自学考试计算机专业是必考？...
学科的不平衡现在仍然是很多考生的心头之痛,对社会考生来说遇上自己的严重拖后腿学科更是难以克服困难.在自学考试中同样如此,碰上特别难的数学科目简直令人发指.有考生关心,离散数学自学有可能吗?自学考试计算 ...
- 计算机数学程序,计算机数学基础(1)离散数学部分
<计算机数学基础(1)离散数学部分>由会员分享,可在线阅读,更多相关<计算机数学基础(1)离散数学部分(17页珍藏版)>请在人人文库网上搜索. 1.离散数学复习提纲一.基本内容 ...
- 计算机理论专业研究生论文课题,计算机理论方向论文选题 计算机理论论文标题如何定...
精选了[100道]关于计算机理论方向论文选题供您后续的写作参考,在写计算机理论论文之前,很多大学生总是被计算机理论论文标题如何定难倒怎么办?请阅读本文! 一.比较好写的计算机理论论文题目: 1.如何提 ...
- 计算机专业导论论文2000字,计算机专业导论论文.doc
文档介绍: 计算机专业导论学生学院____计算机学院_______专业班级_________学号___________学生_______________成绩_____________________2 ...
- 函授本科统考计算机考试时间,函授2006级计算机、机电本科第一学期考试时间安排.doc...
函授2006级计算机.机电本科第一学期考试时间安排.doc 函授2006级计算机.机电本科第一学期考试时间安排答疑时间9月16日下午2:30-3:309月16日下午3:30-4:309月16日下午4: ...
- 哈尔滨计算机专业技术学院哪所比较好,各位老司机，求教！哈尔滨计算机专业哪所有名，计算机专业排名好不好都来说说？...
masj 第01名: 清华大学. 清华信息科学与技术国家实验室.计算机应用技术国家重点学科.计算机系统结构国家重点学科.智能技术与系统国家重点实验室.国家计算机集成制造系统(CIMS)工程研究中心.国 ...
- 西安电子科技计算机专业,2020西安电子科技大学计算机专业课改考
2020西安电子科技大学计算机专业课改考?西安电子科技大学是一所211大学,计算机学科评估是A-,软件工程学科评估是B+,它是一所理工类大学,电子类专业是他的强项,学校在211中大学中排名前列. 前几 ...
最新文章
- Linux下C程序插入执行shell脚本
- 通过正则表达式验证日期
- linux记录iptables日志,iptables日志管理
- 把strassen乘法调出来了...
- 域用户频繁被锁定怎么解决_Oracle11g用户频繁锁定并且解锁后不允许登录
- 软件测试工程师和WGT,软件系统测试(WGT)工程师---ATK
- RetinaNet和Focal Loss论文笔记
- 什么是智齿？智齿痛是怎么回事？
- Python ord（），chr（）函数
- div旋转45度_一看就会，一做不废的旋转楼梯建模
- ps6人脸识别液化工具在哪_PS上手指南 篇五：玩转人脸识别液化
- win10 许可证即将过期
- 8乘8led点阵显示数字_8乘以8点阵显示依次从左往右全部点亮，有老哥有51编程语言吗？...
- Least Crucial Node UVALive - 7456
- 筑梦数字时代，城链科技战略峰会西安站顺利落幕
- 习题课3-1(动态规划)
- 五款最佳Linux下载管理器推荐
- Node.js 网站内容抓取及Mysql存取Demo
- 如何将计算机桌面屏幕放大,电脑桌面内容放大怎么缩小
- Control Group v2版本