(完整word版)离散数学必备知识点总结.docx
总结离散数学知识点
第二章命题逻辑
1.→,前键为真,后键为假才为假;<—>,相同为真,不同为假;
2.主析取范式:极小项 (m) 之和;主合取范式:极大项(M)之积;
3.求极小项时,命题变元的肯定为1,否定为 0,求极大项时相反;
4.求极大极小项时,每个变元或变元的否定只能出现一次,求极小项
时变元不够合取真,求极大项时变元不够析取假;
5.求范式时,为保证编码不错,命题变元最好按P,Q,R 的顺序依次写;
6.真值表中值为 1 的项为极小项,值为0 的项为极大项;
7.n 个变元共有2n个极小项或极大项,这2n为(0~ 2n -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) 有2
n个元素, |P(A)|= 2| A| =
2
n;
5.集合的分划: (等价关系 )
①每一个分划都是由集合 A 的几个子集构成的集合;
② 几个子集相交空,相并全(A);
6.集合的分划与覆盖的比:
分划:每个元素均出且出一次在子集中;
覆盖:只要求每个元素都出,没有要求只出一次;
第五章关系
1.若集合 A 有 m 个元素,集合 B 有 n 个元素,笛卡 A×B 的基数mn,
A 到
B 上可以定2mn种不同的关系;
2.若集合 A 有 n 个元素, |A ×A|= n2,A 上有2n2个不同的关系;
3.全关系的性:自反性,称性,性;
空关系的性:反自反性,反称性,性;
全封的性:自反性,称性,反称性,性;
4.前域 (domR) :所有元素 x 成的集合;
后域 (ranR) :所有元素 y 成的集合;
5.自反包: r(R)=RU I x ;
称包: s(R)=RU R-1 ;
包: t(R)=RU R2 U R3 U??
6.等价关系:集合 A 上的二元关系 R 足自反性,称性和性,
R 称等价关系;
7.偏序关系:集合 A 上的关系 R 足自反性,反称性和性,
称 R 是 A 上的一个偏序关系;
8.covA={
9.极小元:集合 A 中没有比它更小的元素 (若存在可能不唯一 );极
大元:集合 A 中没有比它更大的元素 (若存在可能不唯一 );最小元:
比集合 A 中任何其他元素都小 (若存在就一定唯一 );最大元:比集
合 A 中任何其他元素都大 (若存在就一定唯一 );10.前提: B 是 A 的子集
上界: A 中的某个元素比 B 中任意元素都大,称个元素是 B 的上界 (若存在,可能不唯一 );
下界: A 中的某个元素比 B 中任意元素都小,称个元素是 B 的下界 (若存在,可能不唯一 );
上确界:最小的上界 (若存在就一定唯一 );
下确界:最大的下界 (若存在就一定唯一 );
第六章函数
1.若|X|=m,|Y|=n, 则从 X 到 Y 有2mn种不同的关系,有n m
种不同的函数;
2.在一个有 n 个元素的集合上,可以有2n2种不同的关系,有n n种不同的函数,有 n!种不同的双射;
3.若|X|=m,|Y|=n ,且 m<=n ,则从 X 到 Y 有A m n种不同的单射;
4.单射: f:X-Y ,对任意x1 , x2属于 X, 且x1≠x2,若 f( x1 )≠f( x2 );
满射: f:X-Y ,对值域中任意一个元素 y 在前域中都有一个或多个元素对应;
双射: f:X-Y ,若 f 既是单射又是满射,则 f 是双射;
5.复合函数: fog=g(f(x));
6.设函数 f:A-B ,g:B-C ,那么
①如果 f,g 都是单射,则 fog 也是单射;②如
果 f,g 都是满射,则 fog 也是满射;③如果 f,g
都是双射,则 fog 也是双射;④如果 fog 是双
射,则 f 是单射, g 是满射;
第七章代数系统
1.二元运算:集合 A 上的二元运算就是A2到A的映射;
2.集合 A 上可定义的二元运算个数就是从 A×A 到 A 上的映射的个数,即从从 A×A 到 A 上函数的个数,若 |A|=2, 则集合 A 上的二元运算的
个数为 22* 2= 24=16种;
3.判断二元运算的性质方法:①封闭性:运算表内只有所给元素;
②交换律:主对角线两边元素对称相等;③幂等律:主对角线上每个
元素与所在行列表头元素相同;④有幺元:元素所对应的行和列的元
素依次与运算表的行和列相同;⑤有零元:元素所对应的行和列的元
素都与该元素相同;
4.同态映射:,, 满足 f(a*b)=f(a)^f(b), 则 f 为由 到的同态映射;若 f 是双射,则称为同构;
第八章群
1.广群的性质:封闭性;
半群的性质:封闭性,结合律;
含幺半群 (独异点 ):封闭性,结合律,有幺元;
群的性质:封闭性,结合律,有幺元,有逆元;
2.群没有零元;
3.阿贝尔群 (交换群 ):封闭性,结合律,有幺元,有逆元,交换律;
4.循环群中幺元不能是生成元;
5.任何一个循环群必定是阿贝尔群;
第十章格与布尔代数
1.格:偏序集合 A 中任意两个元素都有上、下确界;
2.格的基本性质:
1)自反性
a≤a对偶: a≥a
2)反对称性
a≤b ^ b ≥a=> a=b
对偶 :a≥b ^ b ≤a=> a=b
3)传递性
a≤b ^ b ≤c => a≤c
对偶 :a≥b ^ b ≥c => a≥c
4)最大下界描述之一
a^b ≤a对偶avb≥a
A^b ≤b对偶avb≥b
5)最大下界描述之二
c≤a,c≤b => c≤a^b
对偶 c≥a,c ≥b => c≥avb
6)结合律
a^(b^c)=(a^b)^c
对偶 av(bvc)=(avb)vc
7)等幂律
a^a=a对偶ava=a
8)吸收律
a^(avb)=a 对偶av(a^b)=a
9) a≤b <=> a^b=a avb=b
10)a≤c,b≤d => a^b ≤c^d avb ≤cvd
11)保序性
b≤c => a^b≤ a^c avb≤ avc
12 )分配不等式
av(b^c) ≤(avb)^(avc)
对偶a^(bvc) ≥(a^b)v(a^c)
13)模不等式
a≤c <=>av(b^c) ≤(avb)^c
3.分配格:满足 a^(bvc)=(a^b)v(a^c) 和 av(b^c)=(avb)^(avc) ;
4.分配格的充要条件:该格没有任何子格与钻石格或五环格同构;
5.链格一定是分配格,分配格必定是模格;
6.全上界:集合 A 中的某个元素 a 大于等于该集合中的任何元素,则称 a 为格 的全上界,记为1;(若存在则唯一 )
全下界:集合 A 中的某个元素 b 小于等于该集合中的任何元素,则称 b 为格 的全下界,记为0;(若存在则唯一 )
7.有界格:有全上界和全下界的格称为有界格,即有0 和 1 的格;
8.补元:在有界格内,如果a^b=0,avb=1 ,则 a 和 b 互为补元;
9.有补格:在有界格内,每个元素都至少有一个补元;
10.有补分配格 (布尔格 ):既是有补格,又是分配格;
11.布尔代数:一个有补分配格称为布尔代数;
第十一章图论
1.邻接:两点之间有边连接,则点与点邻接;
2.关联:两点之间有边连接,则这两点与边关联;
3.平凡图:只有一个孤立点构成的图;
4.简单图:不含平行边和环的图;
5.无向完全图:n 个节点任意两个节点之间都有边相连的简单无向图;
有向完全图 :n 个节点任意两个节点之间都有边相连的简单有向图;
6.无向完全图有 n(n-1)/2 条边,有向完全图有n(n-1) 条边;
7.r- 正则图:每个节点度数均为r 的图;
8.握手定理:节点度数的总和等于边的两倍;
9.任何图中,度数为奇数的节点个数必定是偶数个;
10.任何有向图中,所有节点入度之和等于所有节点的出度之和;
11.每个节点的度数至少为 2 的图必定包含一条回路;
12.可达:对于图中的两个节点v i , v j,若存在连接v i到v j的路,则称v i 与 v j相互可达,也称v i与 v j是连通的;在有向图中,若存在v i到 v j的路,则称 v i到v j可达;
13.强连通:有向图章任意两节点相互可达;
单向连通:图中两节点至少有一个方向可达;
弱连通:无向图的连通;(弱连通必定是单向连通 )
14.点割集:删去图中的某些点后所得的子图不连通了,如果删去其
他几个点后子图之间仍是连通的,则这些点组成的集合称为点割集;
割点:如果一个点构成点割集,即删去图中的一个点后所得子图
是不连通的,则该点称为割点;
15.关联矩阵: M(G) ,m ij是v i与e j关联的次数,节点为行,边为列;
无向图:点与边无关系关联数为0,有关系为 1,有环为 2;
有向图:点与边无关系关联数为0,有关系起点为 1 终点为 -1,关联矩阵的特点:
无向图:
①行:每个节点关联的边,即节点的度;
②列:每条边关联的节点;
有向图:
③所有的入度 (1)=所有的出度 (0);
16.邻接矩阵: A(G) ,a ij是v i邻接到v j的边的数目,点为行,点为列;
17.可达矩阵: P(G) ,至少存在一条回路的矩阵,点为行,点为列;
P(G)=A(G)+ A2 (G)+ A3 (G)+ A4 (G)
可达矩阵的特点:表明图中任意两节点之间是否至少存在一条路,以及在任何节点上是否存在回路;
A(G) 中所有数的和:表示图中路径长度为 1 的通路条数;
A2(G)中所有数的和:表示图中路径长度为 2 的通路条数;
A3(G)中所有数的和:表示图中路径长度为 3 的通路条数;
A4(G)中所有数的和:表示中路径度 4 的通路条数;
P(G) 中主角所有数的和:表示中的回路条数;
18.布矩: B(G) ,v i到v j有路 1,无路 0,点行,点列;
19.代价矩:接矩元素 1 的用表示,0 的用无大表示,点自身到自身的0;
20.生成:只每个点一次,的点和构成的子;
21.构造生成的两种方法:深度先;广度先;
深度先:
① 定起始点v0;
② 一个与v0接且未被的点v1;
③从 v1出按接方向,当遇到一个点所
有接点均已被,回到点的前一个点,再求未被的接点,直到所有点都被一次;
广度先:
① 定起始点 v0;
② 与 v0接的所有点v1, v2,??, v k,些作
第一点;
③在第一点中定一个点v1起点;
④重复②③,直到所有点都被一次;
22.最小生成:具有最小(T) 的生成;
23.构造最小生成的三种方法:
克斯卡方法;管梅谷算法;普利姆算法;
(1)克鲁斯卡尔方法
①将所有权值按从小到大排列;
②先画权值最小的边,然后去掉其边值;重新按小到大排序;
③再画权值最小的边,若最小的边有几条相同的,选择时要满
足不能出现回路,然后去掉其边值;重新按小到大排序;
④重复③,直到所有节点都被访问过一次;
(2)管梅谷算法 (破圈法 )
①在图中取一回路,去掉回路中最大权值的边得一子图;
②在子图中再取一回路,去掉回路中最大权值的边再得一子图;
③重复②,直到所有节点都被访问过一次;
(3)普利姆算法
①在图中任取一点为起点v1,连接边值最小的邻接点v2;
②以邻接点 v2为起点,找到v2邻接的最小边值,如果最小边值
比v1邻接的所有边值都小(除已连接的边值),直接连接,否则退回 v1,连接 v1现在的最小边值(除已连接的边值);
③重复操作,直到所有节点都被访问过一次;
24.关键路径
例2 求 PERT 图中各顶点的最早完成时间 , 最晚完成时间 , 缓冲时间及关键路径 .
解:最早完成时间
TE(v1)=0
TE(v2)=max{0+1}=1
TE(v3)=max{0+2,1+0}=2
TE(v4)=max{0+3,2+2}=4
TE(v5)=max{1+3,4+4}=8
TE(v6)=max{2+4,8+1}=9
TE(v7)=max{1+4,2+4}=6
TE(v8)=max{9+1,6+6}=12最晚完成时间
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
关键路径 : v1-v3-v7-v8
25.欧拉路:经过图中每条边一次且仅一次的通路;欧
拉回路:经过图中每条边一次且仅一次的回路;欧
拉图:具有欧拉回路的图;
单向欧拉路:经过有向图中每条边一次且仅一次的单向路;
欧拉单向回路:经过有向图中每条边一次且仅一次的单向回路;26.(1)无向图中存在欧拉路的充要条件:①连
通图;②有 0 个或 2 个奇数度节点;(2)无
向图中存在欧拉回路的充要条件:①连通图;②
所有节点度数均为偶数;
(3)连通有向图含有单向欧拉路的充要条件:
①除两个节点外,每个节点入度=出度;
②这两个节点中,一个节点的入度比出度多1,另一个节点的入;
度比出度少 1;
(4)连通有向图含有单向欧拉回路的充要条件:
图中每个节点的出度 =入度;
27.哈密顿路:经过图中每个节点一次且仅一次的通路;
哈密顿回路:经过图中每个节点一次且仅一次的回路;
哈密顿图:具有哈密顿回路的图;
28.判定哈密顿图(没有充要条件)
必要条件:
任意去掉图中 n 个节点及关联的边后,得到的分图数目小于等于n;
充分条件:
图中每一对节点的度数之和都大于等于图中的总节点数;
29.哈密顿图的应用:安排圆桌会议;
方法:将每一个人看做一个节点,将每个人与和他能交流的人连
接,找到一条经过每个节点一次且仅一次的回路(哈密顿图 ),即可;
30.平面图:将图形的交叉边进行改造后,不会出现边的交叉,则是
平面图;
31.面次:面的边界回路长度称为该面的次;
32.一个有限平面图,面的次数之和等于其边数的两倍;
33.欧拉定理:假设一个连通平面图有v 个节点, e 条边, r 个面,则
v-e+r=2 ;
34.判断是平面图的必要条件:(若不满足,就一定不是平面图)
设图 G 是 v 个节点,e 条边的简单连通平面图,若 v>=3 ,则 e<=3v-6 ;
35.同胚:对于两个图G1,G2 ,如果它们是同构的,或者通过反复插
入和除去 2 度节点可以变成同构的图,则称G1,G2 是同胚的;
36.判断 G 是平面图的充要条件:
图 G 不含同胚于 K3.3 或 K5 的子图;
37.二部图:①无向图的节点集合可以划分为两个子集V1 ,V2;②图
中每条边的一个端点在 V1 ,另一个则在 V2 中;
完全二部图:二部图中 V1 的每个节点都与 V2 的每个节点邻接;判定无向图 G 为二部图的充要条件:
图中每条回路经过边的条数均为偶数;
38.树:具有 n 个顶点 n-1 条边的无回路连通无向图;
39.节点的层数:从树根到该节点经过的边的条数;
40.树高:层数最大的顶点的层数;
41.二叉树:
①二叉树额基本结构状态有 5 种;②二叉树内节点的度数只考虑
出度,不考虑入度;③二叉树内树叶的节点度数为 0,而树内树叶
节点度数为 1;④二叉树内节点的度数 =边的总数 (只算出度 );握
手定理“节点
数=边的两倍”是在同时计算入度和出度的时成立;
⑤二叉树内节点的总数=边的总数 +1;
⑥位于二叉树第k 层上的节点,最多有2k 1个(k>=1);
⑦深度为k的二叉树的节点总数最多为2k-1个,最少k 个 (k>=1) ;
⑧如果有 n0个叶子, n2个2度节点,则 n0= n2+1;
42.二叉树的节点遍历方法:
先根顺序( DLR );
中根顺序( LDR );
后根顺序( LRD );
43.哈夫曼树:用哈夫曼算法构造的最优二叉树;
44.最优二叉树的构造方法:
①将给定的权值按从小到大排序;
②取两个最小值分支点的左右子树(左小右大 ),去掉已选的这两个权值,并将这两个最小值加起来作为下一轮排序的权值;
③重复②,直达所有权值构造完毕;
45.哈夫曼编码:在最优二叉树上,按照左0 右 1 的规则,用 0 和 1代替所有边的权值;
每个节点的编码:从根到该节点经过的0 和 1 组成的一排编码;
高中通用技术会考、高考知识点总结与归纳整理(知识主干).资料
通用技术复习资料 第一章走进技术世界 一、技术的价值: 1、技术与人的关系 技术是人类满足自身的需求、愿望,更好的适应大自然,而采取的方法和手段。 (1)人类需要着衣裳遮身避寒——纺织、印染、缝制技术。 (2)人类需要进食补充能量——食品烹饪加工、农作物栽培、家禽饲养技术。 (3)人类需要住所以避风挡雨——建筑技术 (4)人类需要抵御野兽攻击和伤害——武器制造技术。 (5)人类需要出行——车、船制造技术。 (6)人类需要交往、保持联系——邮电通讯技术。 技术的作用: 保护人:提供抵抗不良环境,防止被侵害的手段和工具。 解放人:解放或延长了身体器官,拓展活动了空间,提高了劳动效率,增强了各方面的能力。 发展人:技术促进人的精神和智力的发展,使得人的创新精神和批判能力得以提高,思维方式发生转变,自我价值得以体现。 2、技术与社会的关系 技术促进社会的发展,丰富社会文化内容,改变社会生活方式,是推动社会发展和文明进步的主要动力之一。具体为: (1)技术是社会财富积累的一种形式,对社会生产具有直接的经济意义。它促进了社会经济的增长,实现了产业结构的升级,并为企业的发展提供了基础。如福特T型车的生产流水线。 (2)随着技术的发展,劳动力结构也发生了较大的变化,第一第二产业从业者数量减少,第三产业从业者数量大幅度增加。例如:因为农业技术的发展与劳作方式的变革使农业从业人口减少。 (3)技术不仅为生产提供了先进的手段和工具,提高了生产效率和经济效益,而且丰富了人们的社会生活,使人们衣食、住、行、交往、娱乐、教育等方面都发生了改变。 (4)技术进步不仅带动社会生产的发展和社会活动的变化,而且渗透到军事、政治、文化各领域。 3、技术与自然的关系 (1)利用技术,人类可以改造和利用自然。如:填海造田、南水北调、西气东输、都江堰、荷兰的风车。 (2)人类利用技术和改造自然要有合理的尺度,要注意对自然的保护,不能忽视对自然的保护,不能忽视一些技术或产品对环境可能造成的负面影响。 (3)技术的发展给自然环境带来了问题,但也给解决这些问题提供了可能。 “绿色”技术:主要包括绿色产品的生产技术以及清洁工艺等。 绿色产品:指在生产和生活中,不会污染环境和破坏生态的产品的总称。 二、技术的性质 1、技术的目的性 技术总是从一定的目的出发,针对具体的问题,形成解决方案,从而满足人们的某方面的需求。例如:助听器的发明。人类有目的、有计划、有步骤地技术活动推动了技术的不断发展。 2、技术的创新性 创新是技术发展的核心。技术的发展需要创新。技术创新常常表现为技术革新和技术发明。技术革新一般是在原有技术的基础上的变革和改进,技术发明则是一项新技术的产生。 3、技术的综合性 (1)技术活动往往需要综合运用多种知识。 技术具有跨学科的性质,综合性是技术的内在特性。一般地,每一项技术都需要综合运用多个学科、多方面的知识。 (2)技术与科学的区别与联系 科学是对各种事实和现象进行观察、分类、归纳、演绎、分析、推理、计算和实验,从而发现规律,并予以验证和公式化的知识体系。科学侧重认识自然,力求有所发展,科学是回答“为什么”);科学通过实验验证假设,形成结论。 技术则是人类为了满足自身的需要和愿望对大自然进行的改造。技术侧重改造和利用自然,力求有所发明(技术是解决“怎么办”),科学促进了技术的发展,技术推动了科学的进步。技术通过试验,验证方案的可行性与合理性,并实现优化。
离散数学必备知识点总结
离散数学必备知识点总 结 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、命题的判断方法:陈述句真值唯一,特殊:反问句也是命题。其它疑问句、祈使句、感叹句、悖论等皆不是。详见教材P1 2、联结词运算定律┐∧∨→记住特殊的:1∧1?1,0∨0?0,1→0?0,11?1,00?1详见P5 3、命题符号化步骤:A划分原子命题,找准联结词。特殊自然语言:不但而且,虽然但是用∧,只有P才Q,应为Q→P;除非P否则Q,应为┐P→Q。B设出原子命题写出符号化公式。详见P5 4、公式的分类判定(重言式、矛盾式、可满足式)方法:其一根据所有真值赋值情况,其二根据等价演算来判断。详见P9 5、真值表的构造步骤:①命题变元按字典序排列,共有2n个真值赋值。②对每个指派,以二进制数从小到大或从大到小顺序列出。③若公式较复杂,可先列出各子公式的真值(若有括号,则应从里层向外层展开),最后列出所求公式的真值。详见P8。 6、基本概念:置换规则,P规则,T规则,详见P24;合取范式,析取范式,详见P15;小项详见P16;大项详见P18,最小联结词组详见P15 7、等价式详见P22表1.6.2 证明方法:①真值表完全相同②用等价演算③利用A?B的充要条件是A?B且B?A。主要等价式:(1)双否定:??A?A。(2)交换律:A∧B?B∧A,A∨B?B∨A,A?B?B?A。3)结合律:(A∧B)∧C?A ∧(B∧C),(A∨B)∨C?A∨(B∨C),(A?B)?C?A?(B?C)。(4) 分配律:A∧(B∨C)?(A∧B)∨(A∧C),A∨(B∧C)?(A∨B)∧(A∨C)。(5) 德·摩根律:?(A∧B)??A∨?B,?(A∨B)??A∧?B。(6) 等幂律:A∧A?A,A∨A?A。(7) 同一律:A∧T?A,A∨F?A。(8) 零律:A∧F?F,A∨T?T。(9) 吸收律:A∧(A∨B)?A,A∨(A∧B)?A。(10) 互补律:A∧?A?F,(矛盾律),A∨?A?T。(排中律)(11) 条件式转化律:A→B??A∨B,A→B??B→?A。(12) 双条件式转化律:A?B?(A→B)∧(B→A)?(A∧B)∨(?A∧?B) 8、蕴含式详见P23表1.6.3 证明方法:①前件真导后件真方法②后件假导前件假方法③真值表中,前件为真的行,后件也为真或者后件为假的行,前件也为假。④用定义,证A?B,即证A→B是永真式。 9、范式求法步骤:①使用命题定律,消去公式中除∧、∨和?以外公式中出现的所有联结词;②使用?(?P)?P和德·摩根律,将公式中出现的联结词?都移到命题变元之前;③利用结合律、分配律等将公式化成析取范式或合取范式。10、主范式的求法重点步骤:(a)把给定公式化成析取(合取)范式;(b)删除析取范式中所有为永假的简单合取(析取)式;(c)用等幂律化简简单合取(析取)式中同一命题变元的重复出现为一次出现,如P∧P?P。(d)用同一律补进简单合取(析取)式中未出现的所有命题变元,如Q,则P?P∧(?Q∨Q)或P?P∨(?Q∧Q),并用分配律展开之,将相同的简单合取式的多次出现化为一次出现,这样得到了给定公式的主析取(合取)范式。 注意:主析取范式与主合取范式之间的联系。例如:(P→Q)∧Q?m1∨m3?M0∧M2,即剩下的编码就是另一个主范式的编码,因此,求主范式,哪一个简单易求,就先求哪个,然后对应出所求结果。详见P16 11、推理证明:重点方法:演算、演绎法(常用的格式)、反证法、CP规则即附加前提等。 重点规则(主要蕴含式):(1) P∧Q?P化简(2) P∧Q?Q化简(3) P?P∨Q附加(4) ?P?P→Q变形附加(5)Q?P→Q变形附加(6) ?(P→Q)?P变形化简(7) ?(P→Q)??Q变形化简(8) P,(P→Q)?Q假言推理(9) ?Q,(P→Q)??P拒取式(10) ?P,(P∨Q)?Q析取三段论(11) (P→Q),(Q→R)?P→R条件三段论(12) (P?Q),(Q?R)?P?R 双条件三段论 文字证明推理三步:一命题符号化,二写出前提和结论,三进行证明。详见P21 二、强化练习 1.命题的是( )A.走,看电影去B.x+y>0C.空集是任意集合的真子集D.你明天能来吗? 2.下列式子为重言式的是( ) A.P→P∨Q B.(┐P∧Q)∧(P∨┐Q) C.┐ (P Q) D.(P∨Q) (P→Q) 3.下列为两个命题变元P,Q的小项是() A.P∧Q∧? P B.? P∨Q C.? P∧Q D.? P∨P∨Q 4.下列语句中是真命题的是() A.我正在说谎B.严禁吸烟C.如果1+2=3,那么雪是黑的D.如果1+2=5,那雪是黑的 5.设P:我们划船,Q:我们跑步。命题“我们不能既划船又跑步”符号化为() A.? P∧? Q B.? P∨? Q C.?(P?Q) D.?(? P∨? Q) 6.命题公式(P∧(P→Q))→Q是()A.矛盾式B.蕴含式C.重言式D.等价式 7.命题公式?(P∧Q)→R的成真指派是() A.000,001,110,B.001,011,101,110,111 C.全体指派D.无 8.设P:他聪明,Q:他用功,命题“他虽聪明但不用功”的符号化正确的是()
Internet技术知识点总结
Internet技术 1.Internet是世界上最大的网络,实质是网络的网络。 2.互联网是一组全球信息资源的总称。 3.Internet:由路由器及通信线路基于一个共同的通信协议,将不同地区,不同环境的网 络互联成为一个整体,形成一个全球化的虚拟网络,是共享资源的集合。 Internet的主要功能 4.WWW服务 a)(WorldWideWeb)万维网服务 b)网页文件连接的组合 c)超级连接文本:文本,声音,图形,动画,影像组成。 d)HTTP协议:WWW客户机到WWW服务器之间传输用的协议。 e)HTML:超文本标记语言,编写网页的语言。 5.电子邮件服务:利用存储-转发原理,克服时间,地理上的距离,通过计算机终端和通 信网络进行文字、声音、图像等信息的传递 6.数据检索:分类目录和关键字 7.电子公告板(BBS):基于电子邮件的服务 8.远程登录 9.商业应用 ISP 网络服务供应商,是Internet网络用户接入和信息服务的提供者 10.分类 a)为用户提供拨号入网业务的小型ISP(应为IAP)。区域性强,服务能力有限,没有 自己的主干网络和信息源,提供的服务信息有限 b)真正意义上的ISP:全方位服务,有全国或较大区域的联网能力,可提供专线、拨 号上网 11.ISP服务 a)提供专线接入:提供如DDN、X.25、FR、CATV等专线接入 b)提供拨号接入:向用户提供通过公用电话网联机访问Internet的能力,包括UNIX 仿真终端方式和SLIP/PPP连网方式 c)提供电子邮件服务 d)提供信息服务:提供的信息(用户名(账号)、用户口令(密码)、IP地址、域名服 务器(DNS)地址) e)提供联网设备,网络系统集成,软件安装和使用培训服务 12.主页:打开浏览器后第一个出现的页面 13.超文本:含有超链接的文本 14.超链接:通过网址链接到别的网页 15.统一资源定位器(URL,又称为网址) 16.HTML的超链接用URL来定位信息资源所在的位置 17.格式协议://域名或IP地址(:端口号)/路径名/文件名 a)协议:又称信息服务类型,是客户端浏览器访问各种服务器资源的方法 b)端口号:默认端口号可以省略 c)文件名或路径名缺省时,会返回浏览器一个index.html或default.html文件 18.Internet的特点 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也是可数的。
检测技术知识点总结
1、检测技术:完成检测过程所采取的技术措施。 2、检测的含义:对各种参数或物理量进行检查和测量,从而获得必 要的信息。 3、检测技术的作用:①检测技术是产品检验和质量控制的重要手段 ②检测技术在大型设备安全经济运行检测中得到广泛应用③检测技 术和装置是自动化系统中不可缺少的组成部分④检测技术的完善和 发展推动着现代科学技术的进步 4、检测系统的组成:①传感器②测量电路③现实记录装置 5、非电学亮点测量的特点:①能够连续、自动对被测量进行测量和 记录②电子装置精度高、频率响应好,不仅能适用与静态测量,选 用适当的传感器和记录装置还可以进行动态测量甚至瞬态测量③电 信号可以远距离传输,便于实现远距离测量和集中控制④电子测量 装置能方便地改变量程,因此测量的范围广⑤可以方便地与计算机 相连,进行数据的自动运算、分析和处理。 6、测量过程包括:比较示差平衡读数 7、测量方法;①按照测量手续可以将测量方法分为直接测量和间接 测量。②按照获得测量值得方式可以分为偏差式测量,零位式测量 和微差式测量,③根据传感器是否与被测对象直接接触,可区分为 接触式测量和非接触式测量 8、模拟仪表分辨率= 最小刻度值风格值的一半数字仪表的分辨率 =最后一位数字为1所代表的值 九、灵敏度是指传感器或检测系统在稳态下输出量变化的输入量变化的 比值 s=dy/dx 整个灵敏度可谓s=s1s2s3。 十、分辨率是指检测仪表能够精确检测出被测量的最小变化的能力 十一、测量误差:在检测过程中,被测对象、检测系统、检测方法和检测人员受到各种变动因素的影响,对被测量的转换,偶尔也会改变被测对象原有的状态,造成了检测结果和被测量的客观值之间存在一定的差别,这个差值称为测量误差。 十二、测量误差的主要来源可以概括为工具误差、环境误差、方法误差和人员误差等 十三、误差分类:按照误差的方法可以分为绝对误差和相对误差;按照误差出现的规律,可以分系统误差、随机误差和粗大误差;按照被测量与时间的关系,可以分为静态误差和动态误差。 十四、绝对误差;指示值x与被测量的真值x0之间的差值 =x—x0 十五、相对误差;仪表指示值得绝对误差与被测量值x0的比值r=(x-x0/x0)x100%
离散数学第二章一阶逻辑知识点总结
数理逻辑部分 第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)中
离散数学第四章二元关系和函数知识点总结
集合论部分 第四章、二元关系和函数 集合的笛卡儿积与二元关系有序对 定义由两个客体x 和y,按照一定的顺序组成的 二元组称为有序对,记作
不适合交换律A B B A (A B, A, B) 不适合结合律 (A B)C A(B C) (A, B)对于并或交运算满足分配律 A(B C)=(A B)(A C) (B C)A=(B A)(C A) A(B C)=(A B)(A C) (B C)A=(B A)(C A) 若A或B中有一个为空集,则A B就是空集. A=B= 若|A|=m, |B|=n, 则 |A B|=mn 证明A(B C)=(A B)(A C) 证任取
高一通用技术知识点总结。
第一章走进技术世界 一、技术的价值 技术是人类为满足自身的需求和愿望对大自然进行的改造。它具有保护人、解放人和发展人的作用。 1.技术改造自然、利用自然,使自然造福人类。 2.技术对自然产生负影响,应以可持续发展为目标开发利用自然。 二、技术的性质 技术的目的性;技术的创新性;技术的综合性;技术的两面性;技术的专利性 1.创新是技术发展的核心所在,创新推动技术的发展。 2.技术创新表现为:技术革新、技术发明。 科学是发现规律并对其验证和公式化的知识体系。技术则是为了满足人的需要而对大自然的改造。 侧重:科学发现什么,为什么; 技术回答怎么办; 过程:科学用实验证明理论规律;技术用试验验证可行、合理性联系:科学是技术发展的基础,技术发展促进科学的应用。 知识产权:著作权、专利权、商标权。 专利权申请:符合新颖性、创造性、实用性的发明技术可以提出申请。 提交申请阶段、受理阶段、初审阶段、发明专利申请公布阶段、
发明专利申请实质审查阶段、授权阶段 第二章技术世界中的设计 一、技术与设计的关系 1.技术的发展离不开设计:设计是基于一定设想的、有目的的规划及创造活动。 (1)设计是推动技术发展的重要驱动力。技术的创新、技术产品的更替、工艺的改进都需要设计。 (2)设计是技术成果转化的桥梁和纽带。(3)设计促进了技术的革新。 2.技术更新对设计产生重要影响 (1)技术是设计的平台,技术的进步直接制约着设计的发展。(2)技术更新为设计提供了更为广阔的发展空间。 (3)技术进步还促进人们设计思维和手段的发展。 3.设计的丰富内涵 技术设计侧重:功能、材料、程序、工艺;艺术设计侧重:色彩、造型、欣赏、审美、感觉 二、设计中的人机关系 人机关系要实现的目标:高效、健康、舒适、安全。 (1)普通人群与特殊人群 (2)静态的人与动态的人:设计的产品不但要符合人体的静态尺寸,也要符合人体的动态尺寸。 (3)人的生理需求与人的心理需求:设计中的人机关系,满足
离散数学第一章命题逻辑知识点总结
数理逻辑部分 第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、计算机的四特点:有信息处理的特性,有广泛适应的特性,有灵活选择的特性。有正确应用的特性。(此条不需要知道) 2、计算机的发展阶段:经历了以下5个阶段(它们是并行关系): 大型机阶段(1946年ENIAC、1958年103、1959年104机)、 小型机阶段、微型机阶段(2005年5月1日联想完成了收购美国IBM公司的全球PC业务)、客户机/服务器阶段(对等网络与非对等网络的概念) 互联网阶段(Arpanet是1969年美国国防部运营,在1983年正式使用TCP/IP协议;在1991年6月我国第一条与国际互联网连接的专线建成,它从中国科学院高能物理研究所接到美国斯坦福大学的直线加速器中心;在1994年实现4大主干网互连,即全功能连接或正式连接;1993年WWW技术出现,网页浏览开始盛行。 3、计算机应用领域:科学计算(模拟核爆炸、模拟经济运行模型、中长期天气预报)、事务处理(不涉及复杂的数学问题,但数据量大、实时性强)、过程控制(常使用微控制器芯片或者低档微处理芯片)、辅助工程(CAD,CAM,CAE,CAI,CAT)、人工智能、网络应用、多媒体应用。 4、计算机种类: 按照传统的分类方法:分为6大类:大型主机、小型计算机、个人计算机、工作站、巨型计算机、小巨型机。 按照现实的分类方法:分为5大类:服务器、工作站(有大屏幕显示器)、台式机、笔记本、手持设备(PDA等)。 服务器:按应用范围分类:入门、工作组、部门、企业级服务器;按处理器结构分:CISC、RISC、VLIW(即EPIC)服务器; 按机箱结构分:台式、机架式、机柜式、刀片式(支持热插拔,每个刀片是一个主板,可以运行独立操作系统); 工作站:按软硬件平台:基于RISC和UNIX-OS的专业工作站;基于Intel和Windows-OS 的PC工作站。 5、计算机的技术指标: (1)字长:8个二进制位是一个字节。(2)速度:MIPS:单字长定点指令的平均执行速度,M:百万;MFLOPS:单字长浮点指令的平均执行速度。(3)容量:字节Byte用B表示,1TB=1024GB(以210换算)≈103GB≈106MB≈109KB≈1012B。 (4)带宽(数据传输率) :1Gbps(10亿)=103Mbps(百万)=106Kbps(千)=109bps。(5)可靠性:用平均无故障时间MTBF和平均故障修复时间MTTR来表示。(6)版本 6、微处理器简史:Intel8080(8位)→Intel8088(16位)→奔腾(32位)→安腾(64位)EPIC 7、奔腾芯片的技术特点:奔腾32位芯片,主要用于台式机和笔记本,奔腾采用了精简指令RISC技术。 (1)超标量技术:通过内置多条流水线来同时执行多个处理,其实质是用空间换取时间;两条整数指令流水线,一条浮点指令流水线。 (2)超流水线技术:通过细化流水,提高主频,使得机器在一个周期内完成一个甚至多个操作,其实质是用时间换取空间。 奔腾采用每条流水线分为四级流水:指令预取,译码,执行和写回结果。(3)分支预测:分值目标缓存器动态的预测程序分支的转移情况。(4)双cache哈佛结构:指令与数据分开存储。 (5)固化常用指令。(6)增强的64位数据总线:内部总线是32位,与存储器之间的外部总线
(完整word版)离散数学知识汇总,推荐文档
离散数学笔记 第一章命题逻辑 合取 析取 定义 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 闭公式是指不含自由变元的谓词公式
通用技术相关知识点汇总完整版
通用技术相关知识点汇 总 HEN system office room 【HEN16H-HENS2AHENS8Q8-HENH1688】
通用技术相关知识点汇总 一、技术的性质 1、技术的目的性 2、技术的创新性 3、技术的综合性 4、技术的两面性 5、技术 的专利性 注:能通过具体的实例分析出体现技术的什么性质。 二、技术与设计的关系 1、设计是技术发展的重要驱动力 设计:是基于一定的设想,有目的的规划及创造活动。 技术:认为为满足自身的需求和愿望对大自然进行的改造。 科学:对各种事实和现象进行观察,分析,发现规律,并予以验证和公式化的知识体系。 科学是“是什么为什么”,二技术是“怎么办”。 2、技术发展对设计产生重要影响 3、技术的丰富内涵:技术设计是设计的核心。 三、人机关系及其目标 人机关系:物品与使用的人产生一种相互的关系。 人机关系的目标:1、高效 2、健康 3、舒适 4、安全。 四、技术试验及其方法 技术试验:为了某种目的所进行的尝试,检验等探索性试验活动。 技术试验的方法:1、优先实验法 2、模拟实验法 3、虚拟实验法 4、强化实验法 5、移植实验法 五、设计的一般过程 发现与明确问题—制定设计方案—制作模型或原型—测试评估及优化—编写产品说明书 六、设计的一般原则 1、创新性原则:创新是设计的核心。 2、实用性原则 3、经济型原则:最低的费用取得最大的效益。 4、美观原则 5、道德原则 6、技术规范原则 7、可持续发展原则 七、方案构思的方法 方案构思:在一定的调查研究和设计分析的基础上,通过思考将客观存在的各要素按照一定的规律架构起来,形成一个完整的抽象物,并采用图、模型、语言、文字等方式呈现的思维过程。 方法:1、草图法 2、模仿法 3、奇特构思法 八、常用的创造技法 1、头脑风暴法 2、列举法 3、设问法 九、常见的技术图样 1、正投影与三视图(主视图俯视图左视图) 2、形体的尺寸标注 3、机械加工图 4、剖视图
大学离散数学期末重点知识点总结(考试专用)
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={