![](https://img-blog.csdnimg.cn/20201014180756738.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
离散数学
文章平均质量分 87
JamSlade
这个作者很懒,什么都没留下…
展开
-
07笔记 离散数学——特殊性质的图——基于离散数学(第3版)_章炯民,陶增乐
1 欧拉图概念包含G所有边的简单通路称为G的欧拉通路,包含图G的所有边的简单回路称为G的欧拉回路。具有欧拉回路且不含孤立点的图叫欧拉图性质无向:连通无向图是欧拉图当且仅当每个顶点的度均为偶数推论:连通无向图中两个不同顶点间有欧拉通路当且仅当它们的度为奇数,且其他顶点的度均为偶数有向:弱连通的有向图是欧拉图当且仅当每个顶点的入度和出度相等2 哈密顿图定义包含图G的所有顶点的基本通路称为G的哈密顿通路。包含G的所有顶点的基本回路称为G的哈密顿回路,具有哈密顿回路的图为哈密顿图性质无向:原创 2022-01-14 23:10:44 · 496 阅读 · 0 评论 -
06笔记 离散数学——图论——基于离散数学(第3版)_章炯民,陶增乐
图及其表示图的概念一个无向图G是一个三元组(V,E,f)1)V是一个非空的集合,V中的元素称为G的顶点或结点,V就是G的顶点集合2)E是一个集合(可以空),E的元素称为G的无向边,简称为边,E称为是G的边集3)f是E到顶点无序偶集合的函数,f:E→{{u,v}∣u,v∈V}f:E\rightarrow \{\{u,v\}|u,v∈V\}f:E→{{u,v}∣u,v∈V}对于有向图G和E的定义大致相同,区别在于E是有向边f是E到顶点有序偶集合的函数f:E→V2f:E\rightarrow V^2原创 2022-01-14 21:52:15 · 301 阅读 · 0 评论 -
05笔记 离散数学——函数——基于离散数学(第3版)_章炯民,陶增乐
概念与性质定义:X和Y是集合,f是X到Y的二元关系,且有以下性质1)dom(f) = X2)对任意x∈X,y1y_1y1∈Y,y2y_2y2∈Y,(x,y1)∈f和(x,y2)∈f,那么有y1 = y2称f是X到Y的函数或映射,记为f :X->Yx关于f有且只有一个后件,称x在f(x)在f下的一个原像,若X = Y,称X到X函数是X上的函数定义:1)ran(f)=Yran(f) = Yran(f)=Y,称f是到上的到映上的图:至少一个指向它的箭头矩阵:每列至多一个12)对于任原创 2021-11-15 10:31:37 · 852 阅读 · 0 评论 -
04笔记 离散数学——关系——基于离散数学(第3版)_章炯民,陶增乐
关系的概念X,Y是集合,R是X×Y的子集,则称R是X到Y的二元关系,若X=Y,称R为X上的关系,(x,y)∈R,称x,y满足关系R,记为xRy,x是y的前件,y是x的后键定义设R是X到Y的二元关系,R的定义域记为dom(R),R的值域记为ran( R )dom(R)={x∣x∈X,且存在y∈Y使(x,y)∈R}dom(R) = \{x|x∈X,且存在y∈Y使(x,y)∈R\}dom(R)={x∣x∈X,且存在y∈Y使(x,y)∈R}ran(R)={y∣y∈Y,且存在x∈X使(x,y)∈R}ran(原创 2021-10-25 10:54:38 · 7086 阅读 · 0 评论 -
03笔记 离散数学——一阶逻辑——基于离散数学(第3版)_章炯民,陶增乐
谓词和谓词公式概念个体词 命题中独立存在的个体,相当于主语、宾语谓词 用于刻画个体的性质或它们之间的关系 相当于谓语个体常量 特定个体的个体此,一般abc表示个体变量 抽象或泛指个体,一般xyz表示个体域 个体变量所有可能取到的值的集合全总个体域 所有个体组成n元谓词 谓词P设计n个个体,记P(x1……xn)0元谓词 命题可以认为是0元谓词谓词公式项递归1)个体此(常量、变量)是项2)f是n元函数符号 ,t1……tn是项,则f(t1……tn)3)所有项都是通过有限次的(1)(2)原创 2021-10-11 10:41:15 · 1013 阅读 · 0 评论 -
02笔记 数字逻辑基础——卡诺图——基于《数字逻辑基础》陈光梦(第三版)
卡诺图图形化简标准表达方式与化简方式逻辑函数标准表达式Y=A‾BC+AB‾C+ABC‾+ABC=∑m(3,5,6,7)Y = \overline{A}BC+A \overline{B} C+AB \overline{C} +ABC=∑m(3,5,6,7)Y=ABC+ABC+ABC+ABC=∑m(3,5,6,7)最小项n个逻辑变量中,m为包含n个因子的逻辑与项,其中每个逻辑变量以原变量或反变量形式出现一次且仅出现一次,称m是n个变量的最小项(实际上只有一种情况下该最小项是1(真)于是我们把这个原创 2021-09-17 21:25:00 · 1647 阅读 · 0 评论 -
01笔记 数字逻辑基础——逻辑代数基础——基于《数字逻辑基础》陈光梦(第三版)
一些概念集成电路分类①模拟集成电路,处理连续信号②数字集成电路,处理离散信号数字集成电路分类逻辑集成电路 储存器 ASIC(Application Specific IC)特点信号表示形式统一、便于计算机处理可靠性高工艺成熟、可大规模集成集成度SSI 1-10门,逻辑门电路MSI 10-100门,计数器、移位寄存器LSI 1000-1000门 小型储存器,八位算术逻辑单元VLSI 1000-1w门 大型储存器、微处理器ULSI 超过100w门 编程逻辑器件、多功能集成电路摩尔原创 2021-09-09 10:49:20 · 1186 阅读 · 0 评论 -
02笔记 离散数学——命题逻辑——基于离散数学(第3版)_章炯民,陶增乐
命题逻辑命题和逻辑练几次确定真假的陈述句称为命题用1表示真 0表示负当命题不能进一步拆分成更简单的命题,称为原子命题,其他命题称为复合命题。联结词否定联结词:┐\urcorner┐非p,对p的否定合取联结词:∧\land∧p并且q析取联结词:∨\lor∨p或者q蕴涵联结词→\to→如果p,那么q。p蕴含q善意规定:如果p是0,默认p->q是真的等价联结词↔\leftrightarrow↔p当且仅当q,p与q等价真值表命题公式命题变量:表示某个命题的变量原创 2021-09-18 11:34:26 · 1393 阅读 · 0 评论 -
01笔记 离散数学——集合论基础——基于离散数学(第3版)_章炯民,陶增乐
集合的基本概念和术语集合/集:某些对象聚集在一起,视为一个整体元素:其中的对象N自然数集Z整数集Q有理数集R实数集N+正整数集Q+正有理数集R正实数集Z−负整数集Q−负有理数集R−负实数集N\quad 自然数集 \quad Z\quad 整数集\quad Q \quad 有理数集 \quad R \quad 实数集\\N_+\quad 正整数集\quad Q_+ \quad 正有理数集 \quad R \quad 正实数集\\Z_-\quad 负整数集\quad Q_- \quad 负有理数集原创 2021-09-13 10:22:06 · 374 阅读 · 0 评论