离散数学第七章图的基本概念知识点总结docx
图论部分
第七章、图的基本概念
7.1 无向图及有向图
无向图与有向图
多重集合: 元素可以重复出现的集合
无序积: A&B={(x,y) | x∈A∧y∈B}
定义无向图G=
(1) 顶点集V≠?,元素称为顶点
(2) 边集E为V&V的多重子集,其元素称为无向边,简称边.
例如, G=
(v2,v3), (v2,v5), (v1,v5), (v4,v5)} ,
定义有向图D=
(1) V同无向图的顶点集, 元素也称为顶点
(2) 边集E为V?V的多重子集,其元素称为有向边,简称边.
用无向边代替D的所有有向边所得到的无向图称作D的基图,右图是有向图,试写出它的V和E
注意:图的数学定义与图形表示,在同构(待叙)的意义下是一一对应的
通常用G表示无向图, D表示有向图, 也常用G泛指
无向图和有向图, 用e k表示无向边或有向边.
V(G), E(G), V(D), E(D): G和D的顶点集, 边集.
n 阶图: n个顶点的图
有限图: V, E都是有穷集合的图
零图: E=?
平凡图: 1 阶零图
空图: V=?
顶点和边的关联与相邻:定义设e k=(v i,v j)是无向图G=
定义设无向图G=
对有向图有类似定义. 设e k=?v i,v j?是有向图的一条边,又称v i是e k的始点, v j是e k的终点, v i邻接到v j, v j邻接于v i.
邻域和关联集
顶点的度数
设G=
v的度数(度) d(v): v作为边的端点次数之和
悬挂顶点: 度数为1的顶点
悬挂边: 与悬挂顶点关联的边
G的最大度?(G)=max{d(v)| v∈V}
G的最小度δ(G)=min{d(v)| v∈V}
例如d(v5)=3, d(v2)=4, d(v1)=4,?(G)=4, δ(G)=1,v4是悬挂顶点, e7是悬挂边, e1是环
设D=
v的出度d+(v): v作为边的始点次数之和
v的入度d-(v): v作为边的终点次数之和
v的度数(度) d(v): v作为边的端点次数之和
d(v)= d+(v)+ d-(v)
D的最大出度?+(D), 最小出度δ+(D)
最大入度?-(D), 最小入度δ-(D)
最大度?(D), 最小度δ(D)
例如d+(a)=4, d-(a)=1, d(a)=5,
d+(b)=0, d-(b)=3, d(b)=3,
?+(D)=4, δ+(D)=0, ?-(D)=3,
δ-(D)=1,?(D)=5, δ(D)=3.
握手定理
定理任意无向图和有向图的所有顶点度数之和都等于边数的2倍, 并且有向图的所有顶点入度之和等于出度之和等于边数.
证G中每条边(包括环)均有两个端点,所以在计算G中各顶点度数之和时,每条边均提供2度,m条边共提供2m度. 有向图的每条边提供一个入度和一个出度, 故所有顶点入度之和等于出度之和等于边数.
图的度数列
设无向图G的顶点集V={v1, v2, …, v n} G的度数列: d(v1), d(v2), …, d(v n)
如右图度数列:4,4,2,1,3
设有向图D的顶点集V={v1, v2, …, v n} D的度数列: d(v1), d(v2), …, d(v n)
D的出度列: d+(v1), d+(v2), …, d+(v n)
D的入度列: d-(v1), d-(v2), …, d-(v n) 如右图度数列:5,3,3,3
出度列:4,0,2,1
入度列:1,3,1,2
例1 (3,3,3,4), (2,3,4,6,8)能成为图的度数列吗?
解不可能. 它们都有奇数个奇数.
例2 已知图G有10条边, 4个3度顶点, 其余顶点的度数均小于等于2, 问G 至少有多少个顶点?
解设G有n个顶点. 由握手定理,
4?3+2?(n-4)≥2?10
解得n≥8
例3 证明不存在具有奇数个面且每个面都具有奇数条棱的多面体.
证用反证法. 假设存在这样的多面体,
作无向图G=
E={(u,v) | u,v∈V∧u与v有公共的棱∧u≠v}.
根据假设, |V|为奇数且?v∈V, d(v)为奇数. 这与握手定理的推论矛盾.
多重图与简单图
定义(1) 在无向图中,如果有2条或2条以上的边关联同一对顶点, 则称这些边为平行边, 平行边的条数称为重数.
(2)在有向图中,如果有2条或2条以上的边具有相同的始点和终点, 则称这些边为有向平行边, 简称平行边, 平行边的条数称为重数.
(3) 含平行边的图称为多重图.
(4) 既无平行边也无环的图称为简单图.
注意:简单图是极其重要的概念
图的同构
定义设G1=
向图), 若存在双射函数f: V1→V2, 使得对于任意的
v i,v j∈V1,
(v i,v j)∈E1(
(f(v i),f(v j))∈E2(
的重数相同,则称G1与G2是同构的,记作G1?G2.
几点说明:
图之间的同构关系具有自反性、对称性和传递性.
能找到多条同构的必要条件, 但它们都不是充分条件:
① 边数相同,顶点数相同
② 度数列相同(不计度数的顺序)
③ 对应顶点的关联集及邻域的元素个数相同,等等
若破坏必要条件,则两图不同构
至今没有找到判断两个图同构的多项式时间算法
完全图:n阶无向完全图K n: 每个顶点都与其余顶点相邻的n阶无向简单图.
简单性质: 边数m=n(n-1)/2, ?=δ=n-1
n阶有向完全图: 每对顶点之间均有两条方向相反的有向边的n阶有向简单图.
简单性质: 边数m=n(n-1), ?=δ=2(n-1),
?+=δ+=?-=δ-=n-1
子图:定义设G=
(1) 若V '?V且E '?E,则称G '为G的子图, G为G '的
母图, 记作G '?G
(2) 若G '?G 且V '=V,则称G '为G的生成子图
(3) 若V '?V 或E '?E,称G '为G的真子图
(4) 设V '?V 且V '≠?, 以V '为顶点集, 以两端点都在
V '中的所有边为边集的G的子图称作V '的导
出子图,记作G[V ']
(5) 设E '?E且E '≠?, 以E '为边集, 以E '中边关联的
所有顶点为顶点集的G的子图称作E '的导出子
图, 记作G[E ']
补图:定义设G=
若G?, 则称G是自补图.
例对上一页K4的所有非同构子图, 指出互为补图的每一对子图, 并指出哪些是自补图.
7.2 通路、回路、图的连通性
简单通(回)路, 初级通(回)路, 复杂通(回)路
定义给定图G=
(1) 若?i(1≤i≤l), v i-1, v i是e i的端点(对于有向图, 要求v i-1是始点, v i是终点), 则称Γ为通路, v0是通路的起点, v l是通路的终点, l为通路的长度. 又若v0=v l,则
称Γ为回路.
(2) 若通路(回路)中所有顶点(对于回路, 除v0=v l)各异,则称为初级通路(初级回路).初级通路又称作路径, 初级回路又称作圈.
(3) 若通路(回路)中所有边各异, 则称为简单通路(简单回路), 否则称为复杂通路(复杂回路).
说明:
表示方法
① 用顶点和边的交替序列(定义), 如Γ=v0e1v1e2…e l v l
② 用边的序列, 如Γ=e1e2…e l
③ 简单图中, 用顶点的序列, 如Γ=v0v1…v l
④ 非简单图中,可用混合表示法,如Γ=v0v1e2v2e5v3v4v5
环是长度为1的圈, 两条平行边构成长度为2的圈.
在无向简单图中, 所有圈的长度≥3; 在有向简单图中, 所有圈的长度≥2.
在两种意义下计算的圈个数
① 定义意义下
在无向图中, 一个长度为l(l≥3)的圈看作2l个不同的圈. 如v0v1v2v0 , v1v2v0v1 , v2v0v1v2, v0v2v1v0 , v1v0v2v1 , v2v1v0v2看作6个不同的圈.
在有向图中, 一个长度为l(l≥3)的圈看作l个不同的圈.
② 同构意义下
所有长度相同的圈都是同构的, 因而是1个圈.
定理在n阶图G中,若从顶点v i到v j(v i≠v j)存在通
路,则从v i到v j存在长度小于等于n-1的通路.
推论在n阶图G中,若从顶点v i到v j(v i≠v j)存在通
路,则从v i到v j存在长度小于等于n-1的初级通路.
定理在一个n阶图G中,若存在v i到自身的回路,则
一定存在v i到自身长度小于等于n的回路.
推论在一个n阶图G中,若存在v i到自身的简单回
路,则一定存在长度小于等于n的初级回路.
无向图的连通性
设无向图G=
u与v连通: 若u与v之间有通路. 规定u与自身总连通.
连通关系R={| u,v∈V且u~v}是V上的等价关系
连通图:任意两点都连通的图. 平凡图是连通图.
连通分支: V关于连通关系R的等价类的导出子图
设V/R={V1,V2,…,V k}, G[V1], G[V2], …,G[V k]是G的连通分支, 其个数记作p(G)=k.
G是连通图?p(G)=1
短程线与距离
u与v之间的短程线: u与v之间长度最短的通路
(u与v连通)
u与v之间的距离d(u,v): u与v之间短程线的长度
若u与v不连通, 规定d(u,v)=∞.
性质:
d(u,v)≥0, 且d(u,v)=0 ?u=v
d(u,v)=d(v,u)
d(u,v)+d(v,w)≥d(u,w)
点割集与割点
记G-v: 从G中删除v及关联的边
G-V ': 从G中删除V '中所有的顶点及关联的边
G-e : 从G中删除e
G-E': 从G中删除E'中所有边
定义设无向图G=
边割集与割边(桥)
定义设无向图G=
p(G-E '')=p(G), 则称E '为G的边割集. 若{e}为边割集, 则称e
为割边或桥.
在上一页的图中,{e1,e2},{e1,e3,e5,e6},{e8}等是边割集,
e8是桥,{e7,e9,e5,e6}是边割集吗?
几点说明:
K n无点割集
n阶零图既无点割集,也无边割集.
若G连通,E '为边割集,则p(G-E ')=2
若G连通,V '为点割集,则p(G-V ')≥2
有向图的连通性
设有向图D=
u可达v: u到v有通路. 规定u到自身总是可达的.
可达具有自反性和传递性
D弱连通(连通): 基图为无向连通图
D单向连通: ?u,v∈V,u可达v或v可达u
D强连通: ?u,v∈V,u与v相互可达
强连通?单向连通?弱连通
定理(强连通判别法) D强连通当且仅当D中存在经过每个顶点至少一次的回路定理(单向连通判别法) D单向连通当且仅当D中存在经过每个顶点至少一次的通路
有向图的短程线与距离
u到v的短程线: u到v长度最短的通路(u可达v)
u与v之间的距离d: u到v的短程线的长度
若u不可达v, 规定d=∞.
性质:
d≥0, 且d=0 ?u=v
d+d
注意: 没有对称性
7.3 图的矩阵表示
无向图的关联矩阵
定义设无向图G=
性质
(1) 每一列恰好有两个1或一个2
有向图的关联矩阵
定义设无环有向图D=
E={e1, e2, …, e m}, 令
性质
(1) 每一列恰好有一个1和一个-1
(2) 第i行1 的个数等于d+(v i), -1 的个数等于d-(v i)
(3) 1的总个数等于-1的总个数, 且都等于m
(4) 平行边对应的列相同
有向图的邻接矩阵
有向图的可达矩阵
7.4 最短路径及关键路径
带权图G=
?e∈E, w(e)称作e的权. e=(v i,v j), 记w(e)=w ij . 若v i,v j不相邻, 记w ij =∞.
设L是G中的一条路径, L的所有边的权之和称作L的权, 记作w(L).
u和v之间的最短路径: u和v之间权最小的通路.
标号法(E.W.Dijkstra, 1959)
PERT图与关键路径
PERT图(计划评审技术图)
设有向图G=
v的后继元集Γ+(v)={x|x∈V∧
v的先驱元集Γ-(v)={x|x∈V∧
PERT图:满足下述条件的n阶有向带权图D=
(1) D是简单图,
(2) D中无回路,
(3) 有一个入度为0的顶点, 称作始点; 有一个出度为0
的顶点, 称作终点.
通常边的权表示时间, 始点记作v1, 终点记作v n
关键路径
关键路径: PETR图中从始点到终点的最长路径
v i的最早完成时间TE(v i): 从始点v1沿最长路径到v i
所需的时间
TE(v1)=0
TE(v i)=max{TE(v j)+w ji|v j∈Γ-(v i)}, i=2,3,?,n
v i的最晚完成时间TL(v i): 在保证终点v n的最早完成
时间不增加的条件下, 从始点v1最迟到达v i的时间TL(v n)=TE(v n)
TL(v i)=min{TL(v j)-w ij|v j∈Γ+(v i)}, i=n-1,n-2,?,1
v i的缓冲时间TS(v i)=TL(v i)-TE(v i), i=1,2,?,n
v i在关键路径上?TS(v i)=0
最晚完成时间
TL(v8)=12
TL(v7)=min{12-6}=6
TL(v6)=min{12-1}=11
TL(v5)=min{11-1}=10
TL(v4)=min{10-4}=6
TL(v3)=min{6-2,11-4,6-4}=2
TL(v2)=min{2-0,10-3,6-4}=2
TL(v1)=min{2-1,2-2,6-3}=0 缓冲时间
TS(v1)=0-0=0
TS(v2)=2-1=1
TS(v3)=2-2=0
TS(v4)=6-4=2
TS(v5=10-8=2
TS(v6)=11-9=2
TS(v7)=6-6=0
TS(v8)=12-12=0 关键路径: v1v3v7v8
初中数学知识点总结汇总结构图
有理数数轴:数轴是规定了原点、正方向、单位长度的一条直线。 有理数 概念:凡能写成形式的数,都是有理数。(正整数、0、负整数统称整数;正分数、负分数统称分数;整数和分数统称有理数.注意:0即不是正数, 也不是负数;-a不一定是负数,+a也不一定是正数;π不是有理数。) 有理数的分类:①有理数 正有理数 零 负有理数 正整数 正分数 负整数 负分数 ②有理数 整数 分数 正整数 零 负整数 正分数 负分数 相反数 (1)只有符号不同的两个数,我们说其中一个是另一个的相反数;0的相反数还是0; (2)相反数的和为0 ? a+b=0 ? a、b互为相反数。 绝对值:正数的绝对值是其本身,0的绝对值是0,负数的绝对值是它的相反数;注意:绝对值的意义是数轴上表示某数的点离开原点的距离; 有理数比大小 (1)正数的绝对值越大,这个数越大; (2)正数永远比0大,负数永远比0小; (3)正数大于一切负数; (4)两个负数比大小,绝对值大的反而小; (5)数轴上的两个数,右边的数总比左边的数大; (6)大数-小数>0,小数-大数<0。 互为倒数:乘积为1的两个数互为倒数;注意:0没有倒数;若a≠0,那么的倒数是; 若ab=1? a、b互为倒数;若ab=-1? a、b互为负倒数。 有理数乘方的法则 (1)正数的任何次幂都是正数; (2)负数的奇次幂是负数;负数的偶次幂是正数;注意:当n为正奇数时: (-a)n=-a n 或(a -b)n=-(b-a)n , 当n为正偶数时: (-a)n =a n 或(a-b)n=(b-a)n . 科学记数法:把一个大于10的数记成a×10n的形式,其中a是整数数位只有一位的数,这种记数法叫科学记数法. 近似数的精确位:一个近似数,四舍五入到那一位,就说这个近似数的精确到那一位。 有效数字:从左边第一个不为零的数字起,到精确的位数止,所有数字,都叫这个近似数的有效数字。 举几个例子:3一共有1个有效数字,0.0003有一个有效数字,0.1500有4个有效数字, 1.9*10^3有两个有效数字(不要被10^3迷惑,只需要看1.9的有效数字就可以了,10^n 看作是一个单位)。 整式的加单项式:在代数式中,若只含有乘法(包括乘方)运算。或虽含有除法运算,但除式中不含字母的一类代数式叫单项式。 单项式的系数与次数:单项式中不为零的数字因数,叫单项式的数字系数,简称单项式的系 数;系数不为零时,单项式中所有字母指数的和,叫单项式的次数。 多项式:几个单项式的和叫多项式。
解三角形知识点归纳总结
第一章 解三角形 一.正弦定理: 1.正弦定理:在一个三角形中,各边和它所对角的正弦的比相等,并且都等于外 接圆的直径,即 R C c B b A a 2sin sin sin ===(其中R 是三角形外接圆的半径) 2.变形:1)sin sin sin sin sin sin a b c a b c C C ++=== A + B +A B . 2)化边为角: C B A c b a sin :sin :sin ::=; ;sin sin B A b a = ;sin sin C B c b = ;sin sin C A c a = 3)化边为角:C R c B R b A R a sin 2,sin 2,sin 2=== 4)化角为边: ;sin sin b a B A = ;sin sin c b C B =;sin sin c a C A = 5)化角为边: R c C R b B R a A 2sin ,2sin ,2sin = == 3. 利用正弦定理可以解决下列两类三角形的问题: 4. ①已知两个角及任意—边,求其他两边和另一角; 例:已知角B,C,a , 解法:由A+B+C=180o ,求角A,由正弦定理 ;sin sin B A b a = ;sin sin C B c b = ;sin sin C A c a =求出b 与c ②已知两边和其中—边的对角,求其他两个角及另一边。 例:已知边a,b,A, 解法:由正弦定理B A b a sin sin =求出角B,由A+B+C=180o 求出角C ,再使用正弦定理C A c a sin sin =求出c 边 4.△ABC 中,已知锐角A ,边b ,则 ①A b a sin <时,B 无解; ②A b a sin =或b a ≥时,B 有一个解; ③b a A b < 离散数学必备知识点总 结 Document number:NOCG-YUNOO-BUYTT-UU986-1986UT 总结离散数学知识点 第二章命题逻辑 1.→,前键为真,后键为假才为假;<—>,相同为真,不同为假; 2.主析取范式:极小项(m)之和;主合取范式:极大项(M)之积; 3.求极小项时,命题变元的肯定为1,否定为0,求极大项时相反; 4.求极大极小项时,每个变元或变元的否定只能出现一次,求极小项时变元不够合取真,求极大项时变元不够析取假; 5.求范式时,为保证编码不错,命题变元最好按P,Q,R的顺序依次写; 6.真值表中值为1的项为极小项,值为0的项为极大项; 7.n个变元共有n2个极小项或极大项,这n2为(0~n2-1)刚好为化简完后的主析取加主合取; 8.永真式没有主合取范式,永假式没有主析取范式; 9.推证蕴含式的方法(=>):真值表法;分析法(假定前键为真推出后键为真,假定前键为假推出后键也为假) 10.命题逻辑的推理演算方法:P规则,T规则 ①真值表法;②直接证法;③归谬法;④附加前提法; 第三章谓词逻辑 1.一元谓词:谓词只有一个个体,一元谓词描述命题的性质; 多元谓词:谓词有n个个体,多元谓词描述个体之间的关系; 2.全称量词用蕴含→,存在量词用合取^; 3.既有存在又有全称量词时,先消存在量词,再消全称量词; 第四章集合 1.N,表示自然数集,1,2,3……,不包括0; 2.基:集合A中不同元素的个数,|A|; 3.幂集:给定集合A,以集合A的所有子集为元素组成的集合,P(A); 4.若集合A有n个元素,幂集P(A)有n2个元素,|P(A)|=||2A=n2; 5.集合的分划:(等价关系) ①每一个分划都是由集合A的几个子集构成的集合; ②这几个子集相交为空,相并为全(A); 6.集合的分划与覆盖的比较: 分划:每个元素均应出现且仅出现一次在子集中; 覆盖:只要求每个元素都出现,没有要求只出现一次; 第五章关系 1.若集合A有m个元素,集合B有n个元素,则笛卡尔A×B的基 2种不同的关系; 数为mn,A到B上可以定义mn 2.若集合A有n个元素,则|A×A|=2n,A上有22n个不同的关系; 总结离散数学知识点 第二章命题逻辑 1.→,前键为真,后键为假才为假;<—>,相同为真,不同为假; 2.主析取范式:极小项(m)之和;主合取范式:极大项(M)之积; 3.求极小项时,命题变元的肯定为1,否定为0,求极大项时相反; 4.求极大极小项时,每个变元或变元的否定只能出现一次,求极小项 时变元不够合取真,求极大项时变元不够析取假; 5.求范式时,为保证编码不错,命题变元最好按P,Q,R的顺序依次写; 6.真值表中值为1的项为极小项,值为0的项为极大项; 7.n个变元共有n2个极小项或极大项,这n2为(0~n2-1)刚好为化简完后的主析取加主合取; 8.永真式没有主合取范式,永假式没有主析取范式; 9.推证蕴含式的方法(=>):真值表法;分析法(假定前键为真推出后键为真,假定前键为假推出后键也为假) 10.命题逻辑的推理演算方法:P规则,T规则 ①真值表法;②直接证法;③归谬法;④附加前提法; 第三章谓词逻辑 1.一元谓词:谓词只有一个个体,一元谓词描述命题的性质; 多元谓词:谓词有n个个体,多元谓词描述个体之间的关系; 2.全称量词用蕴含→,存在量词用合取^; 3.既有存在又有全称量词时,先消存在量词,再消全称量词; 第四章集合 1.N,表示自然数集,1,2,3……,不包括0; 2.基:集合A中不同元素的个数,|A|; 3.幂集:给定集合A,以集合A的所有子集为元素组成的集合,P(A); 4.若集合A有n个元素,幂集P(A)有n2个元素,|P(A)|=||2A=n2; 5.集合的分划:(等价关系) ①每一个分划都是由集合A的几个子集构成的集合; ②这几个子集相交为空,相并为全(A); 6.集合的分划与覆盖的比较: 分划:每个元素均应出现且仅出现一次在子集中; 覆盖:只要求每个元素都出现,没有要求只出现一次; 第五章关系 1.若集合A有m个元素,集合B有n个元素,则笛卡尔A×B的基数为mn,A到B上可以定义m n 2种不同的关系; 2.若集合A有n个元素,则|A×A|=2n,A上有22n个不同的关系; 3.全关系的性质:自反性,对称性,传递性; 空关系的性质:反自反性,反对称性,传递性; 初中数学知识点全总结完美打印版 七年级数学(上)知识点 人教版七年级数学上册主要包含了有理数、整式的加减、一元一次方程、图形的认识初步四个章节的内容. 第一章 有理数 一、知识框架 二.知识概念 1.有理数: (1)凡能写成)0p q ,p (p q ≠为整数且形式的数,都是有理数.正整数、0、负整数统称整数;正分数、负分数统称分数;整数和分数统称有理数.注意:0即不是正数,也不是负数;不一定是负数,也不一定是正数;不是有理数; (2)有理数的分类: ① ??? ??????????负分数负整数负有理数零正分数正整数正有理数有理数 ② ???????????????负分数正分数分数负整数零正整数整数有理数 2.数轴:数轴是规定了原点、正方向、单位长度的一条直线. 3.相反数: (1)只有符号不同的两个数,我们说其中一个是另一个的相反数;0的相反数还是0; (2)相反数的和为0 0 a 、b 互为相反数. 4.绝对值: (1)正数的绝对值是其本身,0的绝对值是0,负数的绝对值是它的相反数;注意:绝对值的意义是数轴上表示某数的点离开原点的距离; (2) 绝对值可表示为:?????<-=>=)0a (a )0a (0)0a (a a 或???<-≥=)0a (a )0a (a a ;绝对值的问题经常分类讨论; 5.有理数比大小:(1)正数的绝对值越大,这个数越大;(2)正数永远比0大,负数永远比0小;(3)正数大于一切负数;(4)两个负数比大小,绝对值大的反而小;(5)数轴上的两个数,右边的数总比左边的数大;(6)大数-小数 > 0,小数-大数 < 0. 6.互为倒数:乘积为1的两个数互为倒数;注意:0没有倒数;若 a ≠0,那么a 的倒数是a 1;若1 、b 互为倒数;若-1 、b 互为负倒数. 7. 有理数加法法则: (1)同号两数相加,取相同的符号,并把绝对值相加; (2)异号两数相加,取绝对值较大的符号,并用较大的绝对值减去较小的绝对值; (3)一个数及0相加,仍得这个数. 8.有理数加法的运算律: (1)加法的交换律: ;(2)加法的结合律:()(). 9.有理数减法法则:减去一个数,等于加上这个数的相反数;即(). 10 有理数乘法法则: (1)两数相乘,同号为正,异号为负,并把绝对值相乘; 高中数学必修五 第一章 解三角形知识点归纳 1、三角形三角关系:A+B+C=180°;C=180°—(A+B); 2、三角形三边关系:a+b>c; a-b 离散数学 一、逻辑和证明 1.1命题逻辑 命题:是一个可以判断真假的陈述句。 联接词:∧、∨、→、?、?。记住“p仅当q”意思是“如果p,则q”,即p→。记住“q除非p”意思是“?p→q”。会考察条件语句翻译成汉语。 系统规范说明的一致性是指系统没有可能会导致矛盾的需求,即若pq无论取何值都无法让复合语句为真,则该系统规范说明是不一致的。 1.3命题等价式 逻辑等价:在所有可能情况下都有相同的真值的两个复合命题,可以用真值表或者构造新的逻辑等价式。 谓词+量词变成一个更详细的命题,量词要说明论域,否则没有意义,如果有约束条件就直接放在量词后面,如?x>0P(x)。 当论域中的元素可以一一列举,那么?xP(x)就等价于P(x1)∧P(x2)...∧P(xn)。同理,?xP(x)就等价于P(x1)∨P(x2)...∨P(xn)。 两个语句是逻辑等价的,如果不论他们谓词是什么,也不论他们的论域是什么,他们总有相同的真值,如?x(P(x)∧Q(x))和(?xP(x))∧(?xQ(x))。 量词表达式的否定:??xP(x) ??x?P(x),??xP(x) ??x?P(x)。 1.5量词嵌套 我们采用循环的思考方法。量词顺序的不同会影响结果。语句到嵌套量词语句的翻译,注意论域。嵌套量词的否定就是连续使用德摩根定律,将否定词移入所有量词里。 1.6推理规则 一个论证是有效的,如果它的所有前提为真且蕴含着结论为真。但有效论证 二、集合、函数、序列、与矩阵 2.1集合 ∈说的是元素与集合的关系,?说的是集合与集合的关系。常见数集有N={0,1,2,3...},Z整数集,Z+正整数集,Q有理数集,R实数集,R+正实数集,C复数集。 A和B相等当仅当?x(x∈A?x∈B);A是B的子集当仅当?x(x∈A→x∈B);A是B的真子集当仅当?x(x∈A→x∈B)∧?x(x?A∧x∈B)。 幂集:集合元素的所有可能组合,肯定有?何它自身。如?的幂集就是{?},而{?}的幂集是{?,{?}}。 考虑A→B的函数关系,定义域、陪域(实值函数、整数值函数)、值域、像集(定义域的一个子集在值域的元素集合)。 一对一或者单射:B可能有多余的元素,但不重复指向。 映上或者满射:B中没有多余的元素,但可能重复指向。 一一对应或者双射:符合上述两种情况的函数关系。 反函数:如果是一一对应的就有反函数,否则没有。 合成函数:fοg(a)=f(g(a)),一般来说交换律不成立。 2.4序列 无限集分为:一组是和自然数集合有相同基数,另一组是没有相同基数。前者是可数的,后者不可数。想要证明一个无限集是可数的只要证明它与自然数之间有一一对应的关系。 如果A和B是可数的,则A∪B也是可数的。 实用标准 —tanC。 例 1 ? (1 )在 ABC 中,已知 A 32.00 , B 81.80 因为 00 v B v 1800,所以 B 640,或 B 1160. c as nC 空啤 30(cm). sin A s in400 ②当B 1160时, 点评:应用正弦定理时(1)应注意已知两边和其中一边的对角解三角形时,可能有两解的情形; 对于解三角形中的复杂运算可使用计算器 题型2 :三角形面积 2 , AC 2 , AB 3,求tan A 的值和 ABC 的面积。 2 (2 )在 ABC 中,已知 a 20 cm , b 28 cm , 40°,解三角形(角度精确到 10,边长精确 到 1cm ) o 解:(1 )根据三角形内角和定理, C 1800 (A B) 1800 (32.00 81.80) 66.20 ; 根据正弦定理,b asinB 42.9sin81.80 si nA 眾厂 80.1(cm); 根据正弦定理,c 聲C 丝9也彰 74.1(cm). sin 32.0 (2 )根据正弦定理, s"B 舸 A 28sin4°0 a 20 0.8999. ,a 42.9 cm ,解三角形; ①当 B 640 时, C 1800 (A B) 1800 (40° 640) 760, C 1800 (A B) 1800 (400 116。)240 , c asinC si nA 呼 13(cm). sin 40 (2) 解法一:先解三角方程,求出角 A 的值。 例2 ?在ABC 中, sin A cos A si nA cos A j2cos(A 45 )-—, 2 1 cos(A 45 )-. 又 0 A 180 , A 45o 60o , A 105.° o o 1 \/3 L tan A tan(45 60 ) 一字 2 J3, 1 73 42 si nA sin105 sing5 60) sin4 5 co$60 cos45 si n60 ——-—. 1 1 /2 洽 n S ABC AC AB si nA 2 3 近 46)。 2 2 4 4 解法二:由sin A cos A 计算它的对偶关系式 si nA cos A 的值。 v 2 — si nA cos A —— ① 2 2 1 (si nA cos A)2 2 1 2sin Acos A — 2 Q0o A 180o , si nA 0,cos A 0. 1 另解(si n2A —) 2 2 3 (s in A cos A) 1 2 sin Acos A —, *'6 _ si nA cos A — ② 2 $2 J6 ①+②得sin A --------------- 。 4 ①-②得 cosA <6 。 4 u 而丄 A si nA J 2 J 6 4 c 匚 从而 tan A l l 2 ~3。 cosA 4 v2 v 6 数理逻辑部分 第2章一阶逻辑 2.1 一阶逻辑基本概念 个体词(个体): 所研究对象中可以独立存在的具体或抽象的客体个体常项:具体的事物,用a, b, c表示 个体变项:抽象的事物,用x, y, z表示 个体域: 个体变项的取值范围 有限个体域,如{a, b, c}, {1, 2} 无限个体域,如N, Z, R, … 全总个体域: 宇宙间一切事物组成 谓词: 表示个体词性质或相互之间关系的词 谓词常项:F(a):a是人 谓词变项:F(x):x具有性质F 一元谓词: 表示事物的性质 多元谓词(n元谓词, n≥2): 表示事物之间的关系 如L(x,y):x与y有关系L,L(x,y):x≥y,… 0元谓词: 不含个体变项的谓词, 即命题常项或命题变项 量词: 表示数量的词 全称量词?: 表示任意的, 所有的, 一切的等 如?x 表示对个体域中所有的x 存在量词?: 表示存在, 有的, 至少有一个等 如?x表示在个体域中存在x 一阶逻辑中命题符号化 例1 用0元谓词将命题符号化 要求:先将它们在命题逻辑中符号化,再在一阶逻辑中符号化(1) 墨西哥位于南美洲 在命题逻辑中, 设p:墨西哥位于南美洲 符号化为p, 这是真命题 在一阶逻辑中, 设a:墨西哥,F(x):x位于南美洲 符号化为F(a) 例2 在一阶逻辑中将下面命题符号化 (1)人都爱美; (2) 有人用左手写字 分别取(a) D为人类集合, (b) D为全总个体域 . 解:(a) (1) 设G(x):x爱美, 符号化为?x G(x) (2) 设G(x):x用左手写字, 符号化为?x G(x) (b) 设F(x):x为人,G(x):同(a)中 中考数学知识点 知识点1:一元二次方程的基本概念 1.一元二次方程3x 2+5x-2=0的常数项是-2. 2.一元二次方程3x 2+4x-2=0的一次项系数为4,常数项是-2. 3.一元二次方程3x 2-5x-7=0的二次项系数为3,常数项是-7. 4.把方程3x(x-1)-2=-4x 化为一般式为3x 2-x-2=0. 知识点2:直角坐标系与点的位置 1.直角坐标系中,点A (3,0)在y 轴上。 2.直角坐标系中,x 轴上的任意点的横坐标为0. 3.直角坐标系中,点A (1,1)在第一象限. 4.直角坐标系中,点A (-2,3)在第四象限. 5.直角坐标系中,点A (-2,1)在第二象限. 知识点3:已知自变量的值求函数值 1.当x=2时,函数y=32-x 的值为 1. 2.当x=3时,函数y= 2 1-x 的值为1. 3.当x=-1时,函数y= 3 21-x 的值为1. 知识点4:基本函数的概念及性质 1.函数y=-8x 是一次函数. 2.函数y=4x+1是正比例函数. 3.函数x y 2 1-=是反比例函数. 4.抛物线y=-3(x-2)2-5的开口向下. 5.抛物线y=4(x-3)2-10的对称轴是x=3. (1,2). 6.抛物线 2)1(2 1 2+-= x y 的顶点坐标是7.反比例函数x y 2=的图象在第一、三象限. 知识点5:数据的平均数中位数与众数 1.数据13,10,12,8,7的平均数是10. 2.数据3,4,2,4,4的众数是4. 3.数据1,2,3,4,5的中位数是3. 知识点6:特殊三角函数值 1.cos30°= 2 3. 2.sin 260°+ cos 260°= 1. 3.2sin30°+ tan45°= 2. 4.tan45°= 1. 5.cos60°+ sin30°= 1. 知识点7:圆的基本性质 1.半圆或直径所对的圆周角是直角. 2.任意一个三角形一定有一个外接圆. 3.在同一平面内,到定点的距离等于定长的点的轨迹,是以定点为圆心,定长为半径的圆. 4.在同圆或等圆中,相等的圆心角所对的弧相等. 5.同弧所对的圆周角等于圆心角的一半. 6.同圆或等圆的半径相等. 7.过三个点一定可以作一个圆. 8.长度相等的两条弧是等弧. 数理逻辑部分 第1章命题逻辑 命题符号化及联结词 命题: 判断结果惟一的陈述句 命题的真值: 判断的结果 真值的取值: 真与假 真命题: 真值为真的命题 假命题: 真值为假的命题 注意: 感叹句、祈使句、疑问句都不是命题,陈述句中的悖论以及判断结果不惟一确定的也不是命题。 简单命题(原子命题):简单陈述句构成的命题 复合命题:由简单命题与联结词按一定规则复合而成的命题 简单命题符号化 用小写英文字母p, q, r, … ,p i,q i,r i (i≥1)表示 简单命题 用“1”表示真,用“0”表示假 例如,令p:是有理数,则p 的真值为 0 q:2 + 5 = 7,则q 的真值为 1 联结词与复合命题 1.否定式与否定联结词“” 定义设p为命题,复合命题“非p”(或“p的否定”)称 为p的否定式,记作p. 符号称作否定联结词,并规定p为真当且仅当p为假. 2.合取式与合取联结词“∧” 定义设p,q为二命题,复合命题“p并且q”(或“p与q”)称为p与q 的合取式,记作p∧q. ∧称作合取联结词,并规定 p∧q为真当且仅当p 与q同时为真 注意:描述合取式的灵活性与多样性 分清简单命题与复合命题 例将下列命题符号化. (1) 王晓既用功又聪明. (2) 王晓不仅聪明,而且用功. (3) 王晓虽然聪明,但不用功. (4) 张辉与王丽都是三好生. (5) 张辉与王丽是同学. 解令p:王晓用功,q:王晓聪明,则 (1) p∧q (2) p∧q (3) p∧q. 令r : 张辉是三好学生,s :王丽是三好学生 (4) r∧s. (5) 令t : 张辉与王丽是同学,t 是简单命题 . 说明: 1. 任意角的三角函数的定义:设α是任意一个角,P (,)x y 是α的终边上的任意一点(异 于原点),它与原点的距离是 0r =>,那么 sin ,cos y x r r αα= =, () tan ,0y x x α=≠ 三角函数值只与角的大小有关,而与终边上点P 的位置无关。 2.三角函数在各象限的符号: (一全二正弦,三切四余弦) + + - + - + - - - + + - sin α cos α tan α 3. 同角三角函数的基本关系式: (1)平方关系: 22221sin cos 1,1tan cos αααα+=+= (2)商数关系: sin tan cos α αα= (用于切化弦) ※平方关系一般为隐含条件,直接运用。注意“1”的代换 4.三角函数的诱导公式 诱导公式(把角写成α π±2k 形式,利用口诀:奇变偶不变,符号看象限) Ⅰ)?????=+=+=+x x k x x k x x k tan )2tan(cos )2cos(sin )2sin(πππ Ⅱ)?????-=-=--=-x x x x x x tan )tan(cos )cos(sin )sin( Ⅲ) ?????=+-=+-=+x x x x x x tan )tan(cos )cos(sin )sin(πππ Ⅳ)?????-=--=-=-x x x x x x tan )tan(cos )cos(sin )sin(πππ Ⅴ)???????=-=-ααπααπsin )2cos(cos )2sin( Ⅵ)???????-=+=+ααπααπsin )2cos(cos )2sin( 离散数学笔记 第一章命题逻辑 合取 析取 定义 1. 1.3否定:当某个命题为真时,其否定为假,当某个命题为假时,其否定为真定义 1. 1.4条件联结词,表示“如果……那么……”形式的语句 定义 1. 1.5双条件联结词,表示“当且仅当”形式的语句 定义 1.2.1合式公式 (1)单个命题变元、命题常元为合式公式,称为原子公式。 (2)若某个字符串A 是合式公式,则?A、(A)也是合式公式。 (3)若A、B 是合式公式,则A ∧B、A∨B、A→B、A?B 是合式公式。 (4)有限次使用(2)~(3)形成的字符串均为合式公式。 1.3等值式 1.4析取范式与合取范式 将一个普通公式转换为范式的基本步骤 1.6推理 定义 1.6.1 设 A 与 C 是两个命题公式, 若 A → C 为永真式、 重言式,则称 C 是 A 的有 效结论,或称 A 可以逻辑推出 C ,记为 A => C 。(用等值演算或真值表) 第二章 谓词逻辑 2.1、基本概念 ?:全称量词 ?:存在量词 一般情况下, 如果个体变元的取值范围不做任何限制即为全总个体域时, 带 “全称量词”的谓词公式形如"?x(H(x)→B(x)),即量词的后面为条件式,带“存在量词”的谓词公式形如?x(H(x)∨WL(x)),即量词的后面为合取式 例题 R(x)表示对象 x 是兔子,T(x)表示对象 x 是乌龟, H(x,y)表示 x 比 y 跑得快,L(x,y)表示x 与 y 一样快,则兔子比乌龟跑得快表示为: ?x ?y(R(x)∧T(y)→H(x,y)) 有的兔子比所有的乌龟跑得快表示为:?x ?y(R(x)∧T(y)→H(x,y)) 2.2、谓词公式及其解释 定义 2.2.1、 非逻辑符号: 个体常元(如 a,b,c)、 函数常元(如表示22 y x 的 f(x,y))、 谓词常元(如表示人 类的 H(x))。 定义 2.2.2、逻辑符号:个体变元、量词(??)、联结词(﹁∨∧→?)、逗号、括号。 定义 2.2.3、项的定义:个体常元、变元及其函数式的表达式称为项(item)。 定义 2.2.4、原子公式:设 R(n x x ... 1)是 n 元谓词,n t t ...1是项,则 R(t)是原子公式。原子公式中的个体变元,可以换成个体变元的表达式(项),但不能出现任何联结词与量词,只能为单个的谓词公式。 定义 2.2.5 合式公式:(1)原子公式是合式公式;(2)若 A 是合式公式,则(﹁A)也是合式公式;(3)若 A,B 合式,则 A ∨B, A ∧B, A →B , A ?B 合式(4)若 A 合式,则?xA 、?xA 合式(5)有限次使用(2)~(4)得到的式子是合式。 定义 2.2.6 量词辖域:?xA 和?xA 中的量词?x/?x 的作用范围,A 就是作用范围。 定义 2.2.7 约束变元:在?x 和?x 的辖域 A 中出现的个体变元 x ,称为约束变元,这是与量词相关的变元,约束变元的所有出现都称为约束出现。 定义 2.2.8 自由变元:谓词公式中与任何量词都无关的量词,称为自由变元,它的每次出现称为自由出现。一个公式的个体变元不是约束变元,就是自由变元。 注意:为了避免约束变元和自由变元同名出现,一般要对“约束变元”改名,而不对自由变元改名。 定义 2.2.9 闭公式是指不含自由变元的谓词公式 三角函数及解三角形知识点 总结 -标准化文件发布号:(9556-EUATWK-MWUB-WUNN-INNUL-DDQTY-KII 1. 任意角的三角函数的定义:设α是任意一个角,P (,)x y 是α的终边上的任意 一点(异于原点),它与原点的距离是0r =>,那么 sin ,cos y x r r αα= =,()tan ,0y x x α=≠ 三角函数值只与角的大小有关,而与终边上点P 的位置无关。 2.三角函数在各象限的符号: (一全二正弦,三切四余弦) + + - + - + - - - + + - sin α cos α tan α 3. 同角三角函数的基本关系式: (1)平方关系:22221 sin cos 1,1tan cos αααα +=+= (2)商数关系:sin tan cos α αα = (用于切化弦) ※平方关系一般为隐含条件,直接运用。注意“1”的代换 4.三角函数的诱导公式 诱导公式(把角写成 απ ±2 k 形式,利用口诀:奇变偶不变,符号看象限) Ⅰ)??? ??=+=+=+x x k x x k x x k tan )2tan(cos )2cos(sin )2sin(πππ Ⅱ)?????-=-=--=-x x x x x x tan )tan(cos )cos(sin )sin( Ⅲ) ?? ???=+-=+-=+x x x x x x tan )tan(cos )cos(sin )sin(πππ Ⅳ)?????-=--=-=-x x x x x x tan )tan(cos )cos(sin )sin(πππ Ⅴ)???????=-=-ααπααπsin )2cos(cos )2sin( Ⅵ)??? ????-=+=+α απααπsin )2cos(cos )2sin( 1.常用公式 p ∧(P →Q)=>Q 假言推论 ┐Q ∧(P →Q)=>┐P 拒取式 ┐p ∧(P ∨Q)=>Q 析取三段式 (P →Q) ∧(Q →R)=>P →R 条件三段式 (PQ) ∧(QR)=>PR 双条件三段式 (P →Q)∧(R →S)∧(P ∧R)=>Q →S 合取构造二难 (P →Q)∧(R →S)∧(P ∨R)=>Q ∨S 析取构造二难 (?x)((Ax)∨(Bx)) <=>( ?x)(Ax)∨(?x)(Bx) (?x)((Ax)∧(Bx)) <=>(?x)(Ax)∧(?x)(Bx) —┐(?x)(Ax) <=>(?x)┐(Ax) —┐(?x)(Ax) <=>(?x)┐(Ax) (?x)(A ∨(Bx)) <=>A ∨(?x)(Bx) (?x)(A ∧(Bx)) <=>A ∧(?x)(Bx) (?x)((Ax)→(Bx)) <=>(?x)(Ax)→(?x)(Bx) (?x)(Ax) →B <=>(?x) ((Ax)→B) (?x)(Ax) →B <=>(?x) ((Ax)→B) A →(?x)(Bx) <=>(?x) (A →(Bx)) A →(?x)(Bx) <=>(?x) (A →(Bx)) (?x)(Ax)∨(?x)(Bx) =>(?x)((Ax)∨(Bx)) (?x)((Ax)∧(Bx)) =>(?x)(Ax)∧(?x)(Bx) (?x)(Ax)→(?x)(Bx) =>(?x)((Ax)→(Bx)) 2.命题逻辑 1.→,前键为真,后键为假才为假;<—>,相同为真,不同为假; 2.主析取范式:极小项(m)之和;主合取范式:极大项(M)之积; 3.求极小项时,命题变元的肯定为1,否定为0,求极大项时相反; 4.求极大极小项时,每个变元或变元的否定只能出现一次,求极小项时变元不够合取真,求极大项时变元不够析取假; 5.求范式时,为保证编码不错,命题变元最好按P ,Q,R 的顺序依次写; 6.真值表中值为1的项为极小项,值为0的项为极大项; 7.n 个变元共有n 2个极小项或极大项,这n 2为(0~n 2-1)刚好为化简完后的主析取加主合取; 8.永真式没有主合取范式,永假式没有主析取范式; 9.推证蕴含式的方法(=>):真值表法;分析法(假定前键为真推出后键为真,假定前键为假推出后键也为假) 10.命题逻辑的推理演算方法:P 规则,T 规则 ①真值表法;②直接证法;③归谬法;④附加前提法; 3.谓词逻辑 1.一元谓词:谓词只有一个个体,一元谓词描述命题的性质; 多元谓词:谓词有n 个个体,多元谓词描述个体之间的关系; 2.全称量词用蕴含→,存在量词用合取^; 3.既有存在又有全称量词时,先消存在量词,再消全称量词; 4.集合 1.N ,表示自然数集,1,2,3……,不包括0; 2.基:集合A 中不同元素的个数,|A|; 3.幂集:给定集合A ,以集合A 的所有子集为元素组成的集合,P(A); 4.若集合A 有n 个元素,幂集P(A)有n 2个元素,|P(A)|=||2A =n 2; 5.集合的分划:(等价关系) ①每一个分划都是由集合A 的几个子集构成的集合; ②这几个子集相交为空,相并为全(A); 6.集合的分划与覆盖的比较: 分划:每个元素均应出现且仅出现一次在子集中; 覆盖:只要求每个元素都出现,没有要求只出现一次; 5.关系 1.若集合A 有m 个元素,集合B 有n 个元素,则笛卡尔A ×B 的基数为mn ,A 到B 上可以定义mn 2种不同的关系; 2.若集合A 有n 个元素,则|A ×A|=2n ,A 上有22n 个不同的关系; 3.全关系的性质:自反性,对称性,传递性; 空关系的性质:反自反性,反对称性,传递性; 全封闭环的性质:自反性,对称性,反对称性,传递性; 4.前域(domR):所有元素x 组成的集合; 后域(ranR):所有元素y 组成的集合; 5.自反闭包:r(R)=RU Ix ; 对称闭包:s(R)=RU 1-R ; 传递闭包:t(R)=RU 2R U 3R U …… 6.等价关系:集合A 上的二元关系R 满足自反性,对称性和传递性,则R 称为等价关系; 7.偏序关系:集合A 上的关系R 满足自反性,反对称性和传递性,则称R 是A 上的一个偏序关系; 8.covA={离散数学必备知识点总结
离散数学必备知识点总结
初中数学知识点全总结完美打印版
最新解三角形知识点归纳(附三角函数公式)
离散数学知识点整理
高中数学-解三角形知识点汇总情况及典型例题1
离散数学第二章一阶逻辑知识点总结
初中数学知识点总结(最新版)
离散数学第一章命题逻辑知识点总结
三角函数与解三角形知识点总结
(完整word版)离散数学知识汇总,推荐文档
三角函数及解三角形知识点总结
大学离散数学期末重点知识点总结(考试专用)