离散数学结构 第8章 函数复习

合集下载

《离散数》复习知识点

《离散数》复习知识点

第1章集合及其运算考核知识点1.集合,元素,集合的表示,全集,空集2.集合的包含、相等,子集,幂集3.集合的并、交、补、差、对称差等运算及其运算律4.容斥原理考核要求1.理解集合的概念,容斥原理.2.理解集合的包含、子集、相等和幂集等概念,熟练掌握集合的表示方法和集合的并、交、补、差和对称差等运算,会用文氏图表示集合的各种运算.3.掌握用集合运算基本规律证明集合恒等式的方法.4.掌握利用容斥原理进行计数的方法.第2章关系与函数考核知识点1.有序对和笛卡儿积2.关系及其运算性质3.二元关系的矩阵与图4.复合关系与逆关系5.二元关系的性质6.等价关系与等价类7.偏序关系、复盖集与哈斯图,极大(小)元,最大(小)元,上(下)界,最小上界,最大下界8.函数反函数复合函数单射满射和双射考核要求1.了解有序对和笛卡儿积的概念,掌握笛卡儿积的运算.2.理解关系的概念:包括二元关系、空关系、全关系、恒等关系.掌握关系的集合表示、关系矩阵和关系图,掌握关系的运算.3.掌握求复合关系和逆关系的方法.4.理解关系的性质(自反性和反自反性、对称性和反对称性、传递性),掌握其判别方法.5.理解等价关系和偏序关系概念,掌握等价关系、偏序关系的判定,掌握等价类、复盖集的求法和作偏序关系哈斯图的方法.知道极大(小)元,最大(小)元的概念,会求极大(小)元、最大(小)元、最小上界和最大下界.6.理解函数概念:函数(映射),函数相等,复合函数和反函数.7.理解单射、满射和双射等概念,掌握其判别方法.第3章图的基本概念与性质考核知识点1.图的概念与表示,有向图,无向图,简单图,完全图,结点的度数,图的同构,子图、补图2.通路,通路的长度,初级通路,简单通路,回路,初级回路,简单回路3.图的连通性与连通度概念、判定,点割集与割点,边割集与割边4.图的矩阵表示、邻接矩阵、可达性矩阵及其计算5.最短路径考核要求1.理解图的基本概念:结点、边、有向图,无向图、简单图、完全图、结点的度数、图的同构子图等,理解握手定理.2.了解通路与回路的概念:简单通路、初级通路和复杂通路,简单回路、初级回路和复杂回路,会求通路和回路的长度.3.了解无向图的连通性,会求无向图的连通分支.了解点割集、割点、边割集、割边、点连通度、边连通度等概念.4.了解有向图的强连通性、单向连通性、弱连通性;会判别有向图连通性的类型.5.理解图的矩阵表示法、邻接矩阵、可达性矩阵的概念,掌握邻接矩阵、可达性矩阵的有关计算.6.知道最短路径的概念,会最短路径的算法.第4章几种特殊图考核知识点1.欧拉通路(回路),欧拉图2.哈密顿通路(回路),哈密顿图3.平面图,欧拉公式4.对偶图及着色考核要求1.了解欧拉回路、欧拉图的概念及性质,掌握欧拉图的判别方法.2.了解汉密尔顿回路、汉密尔顿图的概念及性质,掌握汉密尔顿图的判别方法.3.了解平面图的概念:平面图、面、边界、面的次数和非平面图,掌握平面图的判别方法,掌握欧拉公式的应用.4.理解平面图与对偶图的关系、对偶图在图着色中的作用,掌握着色算法;5.掌握图论中常用的证明方法.第5章树及其应用考核知识点1.树的定义及性质2.生成树与最小生成树的概念,最小生成树的Kruskal算法3.根树的概念及性质4.最优树的概念,最优树的Huffman算法,前缀码的求法考核要求1.了解无向树、树叶、分支点、平凡树、生成树和最小生成树等概念及性质,掌握最小生成树的Kruskal算法.2.了解有向树、根树、有序树、最优二元(叉)树等概念及性质,掌握最优树的Huffman 算法.3.掌握利用最优树产生前缀码的方法.第6章命题逻辑考核知识点1.命题与联结词(否定、析取、合取、蕴含、等价),真值与真值表2.命题公式的解释3.命题公式的等值式与蕴涵式,等值演算4.析取范式、合取范式、极小(大)项,主析取范式、主合取范式的概念与求法5.命题逻辑的推理理论考核要求1.理解命题联结词概念,掌握命题公式的翻译(命题符号化)及判断语句是不是命题的方法.2.熟练掌握求给定公式真值表的方法.3.掌握基本等值式以及用真值表法和等值演算法判别公式类型和公式等值的方法.4.了解析取(合取)范式概念,理解极小(大)项的概念和主析取(合取)范式概念,熟练掌握用基本等值式或真值表将公式化为主析取(合取)范式的方法.5.掌握命题公式的的直接证明方法与间接证明方法.第7章谓词逻辑考核知识点1.谓词,量词,个体词,个体域,变元2.谓词公式的解释3.前束范式的概念与求法4.谓词公式的等值式与蕴涵式5.谓词逻辑的推理理论考核要求1.理解谓词、量词、个体词、个体域、全域、原子公式、谓词公式和变元等概念.掌握谓词公式的翻译.2.掌握在有限个体域下消去公式的量词和求公式在给定解释下真值的方法.3.掌握谓词演算的等值式和重言蕴含式.4.了解前束范式的概念,会求谓词公式的前束范式的方法.5.了解谓词逻辑推理的规则,掌握谓词公式的证明与推导方法.。

离散数学-----函数

离散数学-----函数

2019/12/13
11
计算机科学学院 刘芳
8.2 函数的性质
解 (1) f : R→R, f(x)= x2+2x1
在x=1取得极大值0. 既不是单射也不是满射的.
(2) f : Z+→R, f(x)=lnx
单调上升, 是单射的. 但不满射, ranf={ln1, ln2, …}.
(3) f : R→Z, f(x)= x
8.1 函数的定义
例3:
设A = {1, 2, 3}, B = {a, b},则A到B共有多少个不
同的函数?分别列出来。
解:
f0={<1,a>,<2,a>,<3,a>} , f2={<1,a>,<2,b>,<3,a>} , f4={<1,b>,<2,a>,<3,a>},
f6={<1,b>,<2,b>,<3,a>} ,
BA={f | f : A→B}
思考:设|A|=m,|B|=n,则|BA|=?
2019/12/13
7
计算机科学学院 刘芳
8.1 函数的定义
解:
设:A={x1, x2, …,xm}, B={y1, y2, …,yn}, 则集合A到B的函数f形如:
f={<x1,□>, {<x2,□>,…… {<xm,□>} 对于每个□所在的 位置都可用B中的任何一个
2019/12/13
19
计算机科学学院 刘芳
8.4 函数的复合和反函数
定理8.1
设f, g是函数, 则f∘g也是函数, 且满足

东北大学离散数学复习总结(满分版)

东北大学离散数学复习总结(满分版)

方法、知识点总结(知识重点和考题重点)前三章重点内容(知识重点):1、蕴含(条件)“→”的真值P→Q的真值为假,当且仅当P为真,Q为假。

2、重言(永真)蕴涵式证明方法<1>假设前件为真,推出后件也为真。

<2>假设后件为假,推出前件也为假。

易错3、等价公式和证明中运用4、重要公式重言蕴涵式:P∧Q => P or QP or Q => p∨QA->B =>(A∧or∨C)->(B∧or∨C)其他是在此基础上演变等价公式:幂等律P∧P=P P∨P=P吸收律P∧(P∨Q)=P P∨(P∧Q)=P同一律P∨F=P P∧T=PP∨T=T P∧F=FP <-> Q = (P->Q)∧(Q->P) = (P∧Q)∨(﹁P∧﹁Q)5、范式的写法(最方便就是真值表法)6、派遣人员、课表安排类算法:第一步:列出所有条件,写成符号公式第二步:用合取∧连接第三步:求上一步中的析取范式即可7、逻辑推理的写法直接推理论证:其中I公式是指重言蕴涵式那部分其中E公式是指等价公式部分条件论证: 形如~ , ~, ~ => R->SR P(附加条件)......S TR->S CP8、谓词基本内容注意:任意用—> 连接存在用∧连接量词的否定公式量词的辖域扩充公式量词分配公式其他公式9、带量词的公式在论域内的展开10、量词辖域的扩充公式11、前束范式的写法给定一个带有量词的谓词公式,1)消去公式中的联接词→和←→(为了便于量词辖域的扩充);2)如果量词前有“﹁”,则用量词否定公式﹁”后移。

再用摩根定律或求公式的否定公式,将“﹁”后移到原子谓词公式之前;3)用约束变元的改名规则或自由变元的代入规则对变元换名(为量词辖域扩充作准备);4)用量词辖域扩充公式提取量词,使之成为前束范式形式。

简要概括:1、去-> ,<-> 2、移﹁3、换元4、量词辖域扩充12、谓词演算的推理理论推理规则:P、T、CP、US、ES、EG、UG 的使用ES US 去量词EG UG 添量词★谨记:ES要在US之前,很重要添加量词注意事项:13、集合的幂集(用P表示,也常有花P表示)A是集合,由A的所有子集构成的集合,称之为A的幂集。

离散数学8-代数系统基础

离散数学8-代数系统基础
理学院
第八章 代数系统基础
第八章 代数系统基础
8.1 代数系统概念 8.2 半群与独异点 8.3 群的基本定义与性质 8.4 子群与陪集 8.5 循环群和置换群 8.6 环和域
2
一、基本概念
定义1: 设A是个非空集合且函数f:A*A→A,则称f为 A上的二元运算。
二元运算的两个重要特点: 一是运算封闭性,集合内任意两个元素都可以运算,运算后仍在同
主要包括运算所具有的算律和特殊元素 算律主要:结合律、交换律、分配律、吸收律和消去律 特殊元素:等幂元、幺元、零元和逆元。
9
1.结合律
定义3: 设代数系统<A,*>,对于A中任意元素a,b,c, (ab)c=a(bc),都称运算满足结合律,或是可结合的 。
实数集合上的加法和乘法满足结合律。幂集P(A)上的交、并和对称差 都满足结合律。矩阵的加法和乘法满足结合律。代数系统(Nk,+k)和 (Nk, ×k)中的+k和×k都满足结合律。
例设<A,*>是一个代数系统,其中*定义为a*b=a,证明运算是不可交 换的。
11
3.幂等律
定义5: 设代数系统<A,*>,对于A中任意元素有 x*x=x,则称运算*在A上满足幂等律。
设A为集合,<P(A), ∩>和<P(A), ∪>中的∩和换律、结合律和幂等律。
则称<A,*>是群。
如果<A,>是独异点且每个元素存在逆元,则称<A,>是群。 (R,+),(Z,+)都是群,幺元为零,x -1 = -x;(R-{0},×)是群,幺
元为1,x -1 =1/x ;<Q,>不是群,1是幺元,而0是无逆元。

离散数学知识点总结

离散数学知识点总结

离散数学知识点总结 一、各章复习要求与重点第一章 集 合[复习知识点]1、集合、元素、集合的表示方法、子集、空集、全集、集合的包含、相等、幂集2、集合的交、并、差、补等运算及其运算律(交换律、结合律、分配律、吸收律、 De Morgan 律等),文氏(V enn )图3、序偶与迪卡尔积本章重点内容:集合的概念、集合的运算性质、集合恒等式的证明 [复习要求]1、理解集合、元素、子集、空集、全集、集合的包含、相等、幂集等基本概念。

2、掌握集合的表示法和集合的交、并、差、补等基本运算。

3、掌握集合运算基本规律,证明集合等式的方法。

4、了解序偶与迪卡尔积的概念,掌握迪卡尔积的运算。

[本章重点习题]P5~6,4、6; P14~15,3、6、7; P20,5、7。

[疑难解析] 1、集合的概念因为集合的概念学生在中学阶段已经学过,这里只多了一个幂集概念,重点对幂集加以掌握,一是掌握幂集的构成,一是掌握幂集元数为2n 。

2、集合恒等式的证明通过对集合恒等式证明的练习,既可以加深对集合性质的理解与掌握;又可以为第三章命题逻辑中公式的基本等价式的应用打下良好的基础。

实际上,本章做题是一种基本功训练,尤其要求学生重视吸收律和重要等价式在B A B A ~⋂=-证明中的特殊作用。

[例题分析]例1 设A ,B 是两个集合,A={1,2,3},B={1,2},则=-)()(B A ρρ 。

解}}3,2,1{},3,2{},3,1{},2,1{},3{},2{},1{,{)(φρ=A}}2,1{},2{},1{,{)(φρ=B于是}}3,2,1{},3,2{},3,1{},3{{)()(=-B A ρρ例2 设{}{}Φ=,,,,b a b a A ,试求:(1){}b a A ,-; (2)Φ-A ; (3){}Φ-A ; (4){}{}A b a -,; (5)A -Φ; (6){}A -Φ。

解 (1){}{}{}Φ=-,,,b a b a A (2)A A =Φ- (3){}{}{}b a b a A ,,,=Φ- (4){}{}Φ=-A b a , (5)Φ=-ΦA (6){}Φ=-ΦA 例3 试证明()()()()B A B A B A B A ~~~~⋂⋃⋂=⋃⋂⋃ 证明()()()()()()()()()()()()()()()()()()B A B A B A B A B B B A A B A A B B A A B A B A B A ~~~~~~~~~~~~~⋂⋃⋂=Φ⋃⋂⋃⋂⋃Φ=⋂⋃⋂⋃⋂⋃⋂=⋂⋃⋃⋂⋃=⋃⋂⋃第二章 二元关系[复习知识点]1、关系、关系矩阵与关系图2、复合关系与逆关系3、关系的性质(自反性、对称性、反对称性、传递性)4、关系的闭包(自反闭包、对称闭包、传递闭包)5、等价关系与等价类6、偏序关系与哈斯图(Hasse )、极大/小元、最大/小元、上/下界、最小上界、最大下界7、函数及其性质(单射、满射、双射)8、复合函数与反函数本章重点内容:二元关系的概念、关系的性质、关系的闭包、等价关系、半序关系、映射的概念 [复习要求]1、理解关系的概念:二元关系、空关系、全关系、恒等关系;掌握关系的集合表示、关系矩阵和关系图、关系的运算。

《离散数学》总复习上课讲义

《离散数学》总复习上课讲义
不是闭式的公式在某些解释下也可能是命题. 公式类型. 换名规则与代替规则
第3章 集合的基本概念和运算
3.1 集合的基本概念 3.2 集合的基本运算(重点) 3.3 集合中元素的计数(容斥原理是重点)
3.1 集合的基本概念
元素x与集合A的关系:属于xA,不属于xA 集合A与集合B的关系:习题3.2, 3.8, 3.12, 3.16
构造性二难
(AB)(AB)(AA) B 构造性二难(特殊形式)
(AB)(CD)( BD) (AC) 破坏性二难
习题1.18, 1.21, 1.17(2)。六1
注意事项1:命题
只有能确定真假(但不能可真可假)的陈述句才是 命题. 不管是正确的观点, 还是错误的观点, 都 是命题. 猜想和预言是命题, 如哥德巴赫猜想.
pq为假当且仅当 p 为真 q 为假,即 当p为假时,pq为真(不管q为真, 还是为假); 当q为真时,pq为真(不管p为真, 还是为假). 习题1.5(6)(7)
了解概念、掌握方法
真值表、命题公式类型 所有等值的含n个命题变项的公式对应同一
个n元真值函数F:{0,1}n{0,1};哑元 最小联结词组 对偶式与对偶原理 简单析取式、简单合取式 析取范式与合取范式 附加前提证明法、反证法
x(A(x)B)xA(x)B x(A(x)B)xA(x)B x(BA(x))BxA(x)
x(A(x)B(x))xA(x)xB(x)
x(A(x)B(x))xA(x)xB(x)
注意事项1:前束范式(重点)
设A为一个一阶逻辑公式, 若A具有如下形式 Q(11xi1Qk2)x为2…或Qkx,kBB, 则为称不A含为量前词束的范公式式, 其. 中Qi
重要的推理定律 第一组 命题逻辑推理定律代换实例 第二组 由基本等值式生成(置换规则) 第三组 xA(x)xB(x)x(A(x)B(x))

离散数学复习(08)

离散数学复习(08)
陪集与拉格朗日定理 设<H,*>是群 <G,*>的一个子群,a∈G,则集合 定的H在G中的左陪集,记为aH。 拉格朗日定理。 {a}H称为由a所确
1、设<S,*>是一个半群,如果S是一个有限集,则必有a∈S,使 得a*a=a。 2、设<G,*>是一个群,B是G的非空子集,如果B是一 个有限集, 那末只要运算*在B上封闭,<B,*>必定是<G,*>的子群。 3、设<G,*>是群,S是G的非空子集,如果对于S中的 任意元素a和b有a*b-1∈S,则<S,*>是<G,*>的子群。 4、设<S,*>是有限的可交换独异点,且对任意的a,b,c∈S,等式 a*b=a*c 蕴含着 b = c,证明<S,*>是阿贝尔群。 5、设<G,*>是一个群,<G,*>是阿贝尔群的充要条件 是对任意 的a,b∈G,有(a*b)*(a*b)=(a*a)*(b*b) 6、设<H , *>是群<G , *>的子群, A={x|x∈G , x*H*x-1=H},证明 <A , *>是<G , *>的一个子群。 7、设<H,﹡>是群<G,﹡>的子群, aH和bH是H在G中的任意 两个左陪集,证明:或者aH=bH,或者aH∩bH=Ф。 8、若<A,*>是半群,e是左幺元且对每一个x∈A,存的a,b,c∈A,如果a*b=a*c,则b=c。 b)通过证明e是<A,*>中的幺元,证明<A,*>是群。 9、证明:循环群的同态象必定是循环群。
Ch5 代数系统
• 运算的性质(封闭性、交换性、结合性、分配律、吸收 律、等幂律) • 特殊的元素(幺元、零元、逆元) • 广群、半群、独异点、群和子群 • 阿贝尔群和循环群 证明方法举例: 设<S,*>是一个半群,如果S是一个有限集,则必有 对于bS , b*bS,记b2=b*b b2*b=b*b2S,记b3=b2*b=b*b2 …… 由于S是有限集,所以必存在 j>i,使得bi=bj ……

第8章 可计算函数

第8章 可计算函数

f ( g1 ( y),, gn ( y))也是初等函数。
( x) 是初等函数,那么
xu
g (u ) = f ( x) ,
g (u ) = f ( x) 也是初等函数。
x u
(5) 只有有限次使用上述条款确定的函数是初等函数。
离散数学 第8章 可计算函数 8.2 初等函数
x1x x2
8.2.1 初等函数集
sg( x ) =
0 当x > 0 1 当x = 0
sg( x ) = 1 * x
右边是常数函数、投影函数合成于二元差函数。
离散数学 第8章 可计算函数
8.2 初等函数
x1x x2
8.2.1 初等函数集
EF4. 符号函数 sg(x) =
1 当x>0 0 当x=0
sg( x ) = 1 * - sg( x )
x u

为迭乘操作。
x u
离散数学 第8章 可计算函数
8.2 初等函数
x1x x2
8.2.1 初等函数集
定义8.2 归纳定义初等函数集:
(1) 本原函数是初等函数。 (2) 二元差函数是初等函数:
x
y=
0 x- y
当x ≤ y 当 y < x , 这里的- 是通常的算术减
(3) 如果f ( x1 , , xn ) 与g1 ( y) , , gn ( y) 都是初等函数,那么它们 的合成 (4) 如果f
1 1 m m m 1
离散数学 第8章 可计算函数
8.2 初等函数
8.2.2 初等谓词
定理8.4 下列判定函数 con(x,y,s,t)是初等函数:
s 当x y con( x , y , s , t ) t 当x y

(完整word版)离散数学复习提纲(完整版)

(完整word版)离散数学复习提纲(完整版)

《离散数学》期末复习大纲(完整版)(含例题和考试说明)一、命题逻辑[复习知识点]1、命题与联结词(否定¬、析取∨、合取∧、蕴涵→、等价↔),复合命题2、命题公式与赋值(成真、成假),真值表,公式类型(重言、矛盾、可满足),公式的基本等值式3、范式:析取范式、合取范式,极大(小)项,主析取范式、主合取范式4、公式类型的判别方法(真值表法、等值演算法、主析取/合取范式法)5、命题逻辑的推理理论本章重点内容:命题与联结词、公式与解释、(主)析取范式与(主)合取范式、公式类型的判定、命题逻辑的推理[复习要求]1、理解命题的概念;了解命题联结词的概念;理解用联结词产生复合命题的方法.2、理解公式与赋值的概念;掌握求给定公式真值表的方法,用基本等值式化简其它公式,公式在解释下的真值。

3、了解析取(合取)范式的概念;理解极大(小)项的概念和主析取(合取)范式的概念;掌握用基本等值式或真值表将公式化为主析取(合取)范式的方法.4、掌握利用真值表、等值演算法和主析取/合取范式的唯一性判别公式类型和公式等价方法。

5、掌握命题逻辑的推理理论。

[疑难解析]1、公式类型的判定判定公式的类型,包括判定公式是重言的、矛盾的或是可满足的。

具体方法有两种,一是真值表法,二是等值演算法。

2、范式求范式,包括求析取范式、合取范式、主析取范式和主合取范式。

关键有两点:一是准确理解掌握定义;另一是巧妙使用基本等值式中的分配律、同一律和互补律(排中律、矛盾律),结果的前一步适当使用幂等律,使相同的短语(或子句)只保留一个.3、逻辑推理掌握逻辑推理时,要理解并掌握12个(除第10,11)推理规则和3种证明法(直接证明法、附加前提证明法和归谬法). 例1.试求下列公式的主析取范式:(1)))()((P Q Q P P ⌝∨⌝⌝∧→→;(2))))((R Q Q P P →⌝∨→⌝∨())()(())()((:)1P Q Q P Q P P P Q Q P P ∧∧∨∧∧⌝∨⌝=∧∧∨⌝∨⌝=原式解Q P P P Q P P Q P ∨⌝=∨⌝∧∨⌝=∧∨⌝=)()()())(())((Q P P Q Q P ∧∨⌝∨∨⌝∧⌝=)()()(Q P Q P Q P ∧∨∧⌝∨⌝∧⌝=)))((()))(((:)2R Q Q P P R Q Q P P ∨∨∨∨=→⌝∨→⌝∨解)()()()(R Q P R Q P R Q P R Q P R Q P ∧⌝∧∨∧∧⌝∨⌝∧∧⌝∨∧⌝∧⌝=∨∨=)()()(R Q P R Q P R Q P ∧∧∨⌝∧∧∨⌝∧⌝∧∨)2.用真值表判断下列公式是恒真?恒假?可满足?(1)(PP )Q (2)(P Q)Q (3)((P Q)(Q R ))(P R) 解:(1) 真值表 P QP P P (P P)Q 0 01 0 1 0 11 0 0 1 00 0 1 1 1 0 0 0因此公式(1)为可满足.(2) 真值表P Q P Q (P Q) (P Q)Q0 0 1 0 00 1 1 0 01 00 1 01 1 1 0 0因此公式(2)为恒假。

离散数学8

离散数学8

再证R传递:任取 a,b,cA 设<a,b>R,
<b,c>R。(要证出<a,c>R ) 由R是对称的,得<b,a>R ,由 <b,a>R且<b,c>R,根据已知条件得 <a,c>R , 所以R是传递的。
(4). R是A上关系, 设 S={<a,b>|c∈A∧<a,c>∈R∧<c,b>∈R} 求证若R是等价关系,则S也是等价关系。 证明:a)证S自反:任取a∈A,∵R是自反的,∴有 <a,a>∈R,由S定义得<a,a>∈S, (S定义中c就是a)∴ S自反. b)证S对称: 任取a,b∈A,且有<a,b>∈S,由S定义得 c∈A∧<a,c>∈R∧<c,b>∈R, 由R对称得 c∈A∧<b,c>∈R∧<c,a>∈R,由S定义得<b,a>∈S,S对称. c)证S传递:任取a,b,c∈A,有<a,b>∈S,<b,c>∈S,由S定义 得 (d∈A∧<a,d>∈R∧<d,b>∈R)∧(e∈A∧<b,e>∈R∧ <e,c>∈R) , 由于R传递,所以有<a,b>∈R,<b,c>∈R, 由S定义得<a,c>∈S, 所以S传递. 所以S是A上等价关系. (6). R是A上对称和传递的关系,证明如果a∈A,b∈A, 使得<a,b>∈R,则R是一个等价关系. 证明:任取a∈A,有已知得b∈A,使得<a,b>∈R,由R对称 得<b,a>∈R,又由R传递得, <a,a>∈R,R自反, ∴R是等价 关系.

《离散数学》复习练习题带答案(八)

《离散数学》复习练习题带答案(八)
7、P(P( ))=。
8、 =。
9、设R为集合A上的关系,则t(R)=。
10、若R 是集合A上的偏序关系,则R满足。
二、
1、下列命题正确的有()。
A、若 是满射,则 是满射;B、若 是满射,则 都是满射;
C、若 是单射,则 都是单射;D、若 单射,则 是单射。
2、设f,g是函数,当()时,f=g。
A、 ;B、 ;
10、“没有不犯错误的人”的逻辑符号化为()。
设H(x):x是人,P(x):x犯错误。
A、 ;B、 ;
C、 ;D、 。
三、
1、(10分)用反证法证明 。
2、(8分)用CP规则证明 。
3、(10分)演绎推理:所有的有理数都是实数,所有的无理数也是实数,虚数不是实数。因此,虚数既不是有理数,也不是无理数。
答案
七、填空15%(每小题3分)
1、P,Q的真值相同;2、 ;3、 ;4、 ;5、 。
八、选择30%(每小题3分)
题目
1
2
3
4
5
6
7
8
9
10
答案
B、C
A、C
B
C、D
C
D
A
B、C
B、D
C
九、逻辑判断28%
1、(8分)
① P
②AP
③BT①②I
④ P
⑤ T④E
⑥ T⑤I
⑦FT③⑥I
所以 不相容。
2、(10分)
2、集合A={ ,{ }}的幂集P(A)=。
3、设A={1,2,3,4},A上二元关系R={<1,2>,<2,1>,<2,3>,<3,4>}画出R的关系图

高一数学第八章知识点总结

高一数学第八章知识点总结

高一数学第八章知识点总结第八章是高一数学的重要章节,主要涉及到函数与导数的相关知识。

下面将对该章节的知识点进行总结。

一、函数的概念和性质函数是一种特殊的关系,它将一个自变量的值与一个因变量的值相对应。

函数可以用图像、表格、公式等形式表示。

函数的定义域、值域、分段函数、奇偶性等都是函数的重要性质。

二、函数的基本类型1. 一次函数:y = kx + b,k为斜率,b为截距。

一次函数的图像是一条直线,斜率决定了直线的倾斜程度,截距决定了直线与y轴的交点。

2. 二次函数:y = ax² + bx + c,a≠0。

二次函数的图像是一条抛物线,开口方向由二次项系数a的正负确定。

3. 反比例函数:y = k/x,k≠0。

反比例函数的图像是一个双曲线,通过原点,随着x的增大,y的值逐渐减小或增大。

4. 幂函数:y = x^a,a为常数。

幂函数的图像形状多种多样,a的正负和大小决定了图像的特征。

三、函数的图像与性质1. 函数的图像可以通过函数的定义域、值域、单调性、最值等性质来确定。

2. 函数的单调性可以分为增函数和减函数,增函数表示随着自变量的增加,函数值也随之增加;减函数表示随着自变量的增加,函数值却减小。

3. 函数的最值表示在定义域范围内的最大值和最小值。

四、导数的概念与性质导数是函数的一个重要属性,表示函数在某一点的变化率。

导数的定义是函数在该点的极限值。

导数可以用于求函数图像的切线方程、函数的单调区间、函数的极值等。

五、导数的计算法则1. 基本导数法则:常数函数的导数为0,幂函数的导数为该幂次的系数乘以幂次减1。

2. 和、差、积的导数法则:和、差、积的导数等于各个函数的导数之和、差、积。

3. 商的导数法则:商的导数等于分子的导数乘以分母减去分母的导数乘以分子,再除以分母的平方。

六、导数的应用1. 函数的极值问题:通过求函数的导数,可以确定函数的极值点及极值。

2. 函数的单调性:通过求函数的导数,可以确定函数的单调递增或单调递减区间。

高三数学第八章知识点总结

高三数学第八章知识点总结

高三数学第八章知识点总结在高三数学学习中,第八章的内容涉及到一些重要的知识点,如三角函数、向量、指数函数等。

这些知识点在学生的数学基础中扮演着重要的角色。

在这篇文章中,我们将对这些知识点进行总结和归纳,以帮助同学们更好地理解和掌握。

一、三角函数1. sin、cos和tan的定义在直角三角形中,正弦(sin)、余弦(cos)和正切(tan)这三个函数都是通过三角形中某个角的边长比例来定义的。

其中,sin A = a / c,cos A = b / c,tan A = a / b。

这些函数可以帮助我们计算角度的大小,解决相关的几何和物理问题。

2. 三角函数的基本关系三角函数之间存在着一系列的基本关系,如sin^2 A + cos^2 A = 1,1 + tan^2 A = sec^2 A等。

这些关系式可以帮助我们化简复杂的三角函数表达式,简化运算。

3. 三角函数的图像和性质通过绘制三角函数的图像,我们可以观察到它们的周期性、对称性和振幅等性质。

同时,这些图像可以带给我们直观的感受,帮助我们更好地理解三角函数的行为和性质。

二、向量1. 向量的定义和表示向量是由大小(模长)和方向(方向角)组成的量。

我们可以用箭头来表示一个向量,并且箭头的长度代表向量的大小和模长。

向量的方向可以用角度来表示,也可以用坐标系中的坐标来表示。

2. 向量的运算向量的运算包括加法、减法、数量积和向量积等。

向量加法是将两个向量的对应分量相加,得到一个新的向量。

向量减法是将一个向量的对应分量减去另一个向量的对应分量,得到一个新的向量。

数量积是两个向量的数量相乘再求和,得到一个标量。

向量积是两个向量的数量相乘再求和,得到一个新的向量。

3. 向量的应用向量在几何和物理中有广泛的应用。

例如,在平面几何中,我们可以用向量来表示线段的方向和长度。

在力学中,向量可以用来表示力的大小和方向,帮助我们解决相关的问题。

三、指数函数1. 指数函数的定义指数函数是以某个固定的正数为底数,变量为指数的函数。

离散数学第8章函数

离散数学第8章函数

离散数学第8章函数离散数学第8章函数***** Eight离散数学Discrete Mathematics6/2/20XX年9:02 PMDiscrete Math. , Chen Chen离散数学第8章函数***** Eight第八章函数§8.1 函数的定义与性质§8.2 函数的复合与反函数§8.3 双射函数与集合的基数§8.4一个电话系统的描述实例6/2/20XX年9:02 PMDiscrete Math. , Chen Chen离散数学第8章函数§8.1 函数的定义与性质***** Eight定义8.1 设F 为二元关系,若x domF 都存在唯一的y ranF 使xFy 成立, 则称F为函数。

对于函数F, 如果xFy,则记y =F(x),并称y为 F 在x 的值。

例8.1 设F1={x1,y1, x2,y1, x3,y2},F2={x1,y1, x1,y2}. 则F1是函数,而F2不是函数。

定义8.2 设F、G是函数,则F=G F G∧ G F.注:如果F=G,那么它们满足:(1) dom F=dom G; (2) x dom F = dom G都有F(x)= G(x). 定义8.3 设A, B为集合, 如果f 是函数, 且domf=A,ran f B,则f 称为从A到B的函数,记作f : A→B.6/2/20XX年9:02 PM Discrete Math. , Chen Chen 3离散数学第8章函数§8.1 函数的定义定义8.4 所有从A 到B 的函数的集合记作BA,即BA={f | f: A→B}. A m 注:1. 若|A|=m, |B|=n, 则| B | = n ; 2. ΦΦ ={Φ }, BΦ={Φ}, ΦA=Φ. 例8.2 见教材P137. 定义8.5 设函数f : A→B,A1 A,B1 B.***** Eight(1) 令f (A1)={ f (x)| x A1}. 称f (A1)为A1在f 下的像。

离散数学PPT电子教案-第08章函数 精品 推荐

离散数学PPT电子教案-第08章函数 精品 推荐
离散数学
2018年3月2日星期五
第三篇 二元关系
第8章 函数
8.0 内容提要
1 2
函数的概念 集合的概念
集合的表示方法 特殊函数
函数的复合运算 函数的逆运算
无限集合 函数的运算定理
3
4 5
8.1 本章学习要求
重点掌握 1 1 函数的概念 2 单射、满射 和双射函数的 概念 3 函数的复合 运算和逆运算 一般掌握 了解 3 1 置换的计算
定义8.2.2 设f是从A到B的函数, 对任意x1,x2∈A,如果x1≠x2,有f(x1)≠f(x2),
则称f为从A到B的单射(不同的x对应不同的y);
如果ranf=B,则称f为从A到B的满射;
若f是满射且是单射,则称f为从A到B的双射。
若A=B,则称f为A上的函数;当A上的函数f 是双射时,称f为一个变换。
结论
设A,B为有限集合,f是从A到B的函数,则:


f是单射的必要条件为|A|≤|B|;
f是满射的必要条件为|B|≤|A|; f是双射的必要条件为|A|=|B|。
A B
定理8.2.1 设A, B是有限集合, 且|A|=|B|.
若f是A到B的函数, 则f是单射当且仅当f是满射。
证明必要性():设f是单射, 则f是A到f(A)的双射, 因此
|A|=|f(A)|。
由|f(A)|=|B| 且f(A)B, 得f(A)=B, 故f是A到B的满射。
充分性():设f是满射。假设f不是单射, 则
存在x1,x2∈A, x1≠x2, 有 f(x1)=f(x2). 由于f是A到B的满射, 所以f也是A-{x1}到B的满射, 故|A-{x1}|≥|B|,即|A|-1≥|B|,这与|A|=|B|矛盾。 因此f是A到B的单射。

(优质)离散数学函数PPT课件

(优质)离散数学函数PPT课件
规定:从∅到∅的函数只有f=∅。 从∅到Y的函数只有f=∅。 若X≠∅,常值函数:函数f:XY ,如果y0∈Y, 使得对x∈X, 有f(x)=y0 , 即ran f={y0} ,称f是常值函数。
2.恒恒等等函函数数:。恒显等然关对系于IX是x∈X到X,X函有数IX,(x)即=xIX。:XX,称之为
则称 g f 为f与g的复合函数(左复合).
结论: g f(x)=g(f(x)) 二. 复合函数的计算
计算方法同复合关系的计算.
例 f:XY, g:YZ X={1,2,3} Y={1,2,3,4,} Z={1,2,3,4,5,} f= {<1,2>,<2,4>,<3,1>} g={ <1,3>,<2,5>,<3,2>,<4,1> } 则g f=
: 是双射。
思考题:如果 f:XX是入射的函数,则必是满射的,所 以 f 也是双射的。此命题在什么条件下成立吗?
5-2 函数的复合
关系的复合: 设R是从X到Y的关系,S是从Y到Z的关系,
则R和S的复合关系记作R S 。定义为: R S ={<x,z>|xXzZy(yY <x,y>R<y,z>S)}
二. 函数的表示方法
有 枚举法、关系图、关系矩阵、谓词描述法。
三.从X到Y的函数的集合YX:
YX ={f| f:XY} YX :它是由所有的从X到Y函数构成的集合 例 X={1,2,3} Y={a,b} 求所有从X到Y函数.
结论: 若X、Y是有限集合,且|X|=m,|Y|=n,则 |YX|=|Y||X|=nm。从X到Y的关系= |P(X Y)|= 2nm.
设f:XY, f的定义域(domain),记作dom f,或Df 即 Df =dom f={x|x∈X∧y(y∈Y∧<x,y>f)} =X f的值域(range) :记作ran f, 或Rf 即或f(X) Rf =ran f=f(X)={y| y∈Y∧x(x∈X∧<x,y>f)}

电子科技大学离散数学第8章-函数

电子科技大学离散数学第8章-函数

R11={<a,1>,<a,2>,<b,1>};
R12={<a,1>,<a,2>,<b,2>};
R13={<a,1>,<b,1>,<b,2>};
R14={<a,2>,<b,1>,<b,2>};
R15={<a,1>,<a,2>,<b,1>,<b,2>}。
2019/6/2
67-12
A到B不同的函数
从A到B的不同的函数仅有22=4个。分别如下: f1={<a,1>,<b,1>}, f2={<a,1>,<b,2>}, f3={<a,2>,<b,1>}, f4={<a,2>,<b,2>}。
67-11
A到B不同的关系
R0=Φ;R1={<a,1>};R2={<a,2>};R3={<b,1>};
R4={<b,2>};R5={<a,1>,<b,1>};R6={<a,1>,<b,2>};
R7={<a,2>,<b,1>};R8={<a,2>,<b,2>};
R9={<a,1>,<a,2>};R10={<b,1>,<b,2>};
2019/6/2
67-6
例8.2.1
设 A={1,2,3,4} , B={a,b,c,d} , 试 判 断 下 列 关 系 哪 些是函数。如果是函数,请写出它的值域。 ( 1 ) f1 = {<1,a>,<1,b>,<2,c>,<3,b>}, 其 中 A = {1,2,3},B={a,b, c}; ( 2 ) f2 = {<a,b>,<b,b>,<c,c>}, 其 中 A = {a,b,c},B ={b,c}; (3)f3={<x,y>|y−x=1,x,y∈R},其中A=B=R (4)f4={<x,y>|y−x=1,x,y∈Z+},其中A=B=Z+
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

第八章函数主要内容1. 函数的基本概念与性质(单射,满射,双射)2. 函数的合成与反函数学习要求1. 掌握:函数、A到B的函数、集合在函数下的像、集合在函数下的完全原像的概念及表示法;当A与B都是有穷集时,会求A到B的函数的个数2. 掌握:A到B的函数是单射、满射、和双射的定义及证明方法3. 掌握:常函数、恒等函数、单调函数、特征函数、自然映射等概念4. 掌握:合成函数的主要性质和求合成函数的方法5. 掌握:反函数的概念及主要性质8.1 函数的定义与性质一.函数和像函数是一种特殊的二元关系。

定义8.1设F为二元关系,若x∈domF都存在唯一的y∈ranF使xFy成立,则称F为函数(函数也可以称作映射)。

对于函数F,如果有xFy,则记作y=F(x),并称y为F在x 的值。

例8.1设F1={<x1,y1>,<x2,y2>,<x3,y2>}F2={<x1,y1>,<x1,y2>}判断它们是否为函数。

解F1是函数,F2不是函数,因为对应于x1存在y1和y2满足x1F2y1和x1F2y2,与函数定义矛盾。

由于函数是集合,可以用集合相等来定义函数的相等。

定义8.2设F,G为函数,则F=G F G∧G F由以上定义可知,如果两个函数F和G相等,一定满足下面两个条件:1.domF=domG2.x∈domF=domG都有F(x)=G(x)例如函数F(x)=(x2-1)/(x+1),G(x)=x-1是不相等的,因为domF={x|x∈R∧x≠-1} 而domG=R。

domF≠domG。

定义8.3设A,B为集合,如果f为函数,且domf=A,ranf B,则称f为从A到B的函数,记作f:A→B。

例如f:N→N,f(x)=2x是从N到N的函数,g:N→N,g(x)=2也是从N到N的函数。

定义8.4所有从A到B的函数的集合记作B A,读作“B上A”。

符号化表示为B A={f|f:A→B}例8.2设A={1,2,3},B={a,b},求B A。

解B A={f0,f1,…,f7},其中f0={<1,a>,<2,a>,<3,a>}f1={<1,a>,<2,a>,<3,b>}f2={<1,a>,<2,b>,<3,a>}f3={<1,a>,<2,b>,<3,b>}f4={<1,b>,<2,a>,<3,a>}f5={<1,b>,<2,a>,<3,b>}f6={<1,b>,<2,b>,<3,a>}f7={<1,b>,<2,b>,<3,b>}由排列组合的知识不难证明:若|A|=m,|B|=n,且m,n>0,则|B A|=n m。

在例8.2中,|A|=3,|B|=2,而|B A|=23=8。

当A或B中至少有一个集合是空集时,可以分成下面三种情况:1. A=且B=,则B A=={}。

2. A=且B≠,则B A=B={}。

3. A≠且B=,则B A=A=。

定义8.5设函数f:A→B,A1A,B1B。

(1) 令f(A1)={f(x)|x∈A1},称f(A1)为A1在f下的像。

特别的,当A1=A时称f(A)为函数的像。

(2) 令f-1(B1)={x|x∈A∧f(x)∈B1},称f-1(B1)为B1在f下的完全原像。

在这里注意区别函数的值和像两个不同的概念。

函数值f(x)∈B,而像f(A1)B。

设B1B,显然B1在f下的完全原像f-1(B1)是A的子集,考虑A1A,那么f(A1)B。

f(A1)的完全原像就是f-1(f(A1))。

一般说来f-1(f(A1))≠A1,但是A1f-1(f(A1))。

例如函数f:{1,2,3}→{0,1},满足f(1)=f(2)=0,f(3)=1令A1={1},那么有f-1(f(A1))=f-1(f({1}))=f-1({0})={1,2}这时A 1f-1(f(A1))。

例8.3设f:N→N,且令A={0,1},B={2},那么有f(A)=f({0,1})={f(0),f(1)}={0,2}f-1(B)= f-1({2})={1,4}二.函数的性质下面讨论函数的性质。

定义8.6设f:A→B,(1)若ranf=B,则称f:A→B是满射的。

(2)若y∈ranf都存在唯一的x∈A使得f(x)=y,则称f:A→B是单射的。

(3)若f:A→B既是满射又是单射的,则称f:A→B是双射的(或一一映像)。

由定义不难看出,如果f:A→B是满射的,则对于任意的y∈B,都存在x∈A,使得f(x)=y。

如果f:A→B是单射的,则对于x1,x2∈A,x1≠x2,一定有f(x1)≠f(x2)。

换句话说,如果对于x1,x2∈A有f(x1)=f(x2),则一定有x1=x2。

例8.4判断下面函数是否为单射,满射,双射的,为什么?(1) f:R→R,f(x)= -x2+2x-1(2) f:Z+→R,f(x)=lnx,Z+为正整数集(3) f:R→Z,f(x)=(4) f:R→R,f(x)=2x+1(5) f:R+→R+,f(x)=(x2+1)/x,其中R+为正实数集。

解(1) f:R→R,f(x)=-x2+2x-1是开口向下的抛物线,不是单调函数,并且在x=1点取得极大值0。

因此它既不是单射也不是满射的。

(2) f:Z+→R,f(x)=lnx是单调上升的,因此是单射的。

但不是满射的,因为ranf={ln1,ln2,…}R。

(3) f:R→Z,f(x)=是满射的,但不是单射的,例如f(1.5)=f(1.2)=1。

(4) f:R→R,f(x)=2x+1是满射,单射,双射的,因为它是单调函数并且ranf=R。

(5) f:R+→R+,f(x)=(x2+1)/x不是单射的,也不是满射的,当x→0时,f(x)→+∞;而当x→+∞时,f(x)→+∞。

在x=1处函数f(x)取得极小值f(1)=2。

所以该函数既不是单射的也不是满射的。

例8.5对于以下各题给定的A,B和f,判断是否构成函数f:A→B。

如果是,说明f:A→B是否为单射,满射,双射的。

并根据要求进行计算。

(1) A={1,2,3,4,5},B={6,7,8,9,10},f={<1,8>,<3,9>,<4,10>,<2,6>,<5,9>}。

(2) A,B同(1),f={<1,7>,<2,6>,<4,5>,<1,9>,<5,10>}。

(3) A,B同(1),f={<1,8>,<3,10>,<2,6>,<4,9>}。

(4) A=B=R,f(x)=x3。

(5) A=B=R+,f(x)=x/(x2+1)。

(6) A=B=R×R,f(<x,y>)=<x+y,x-y>,令L={<x,y>|x,y∈R∧y=x+1},计算f(L)。

(7) A=N×N,B=N,f(<x,y>)=|x2-y2|。

计算f(N×{0}),f-1({0})。

解(1) 能构成f:A→B,但f:A→B既不是单射也不是满射,因为f(3)=f(5)=9,且7 ranf。

(2) 不能构成f:A→B,因为f不是函数。

<1,7>∈f且<1,9>∈f,与函数定义矛盾。

(3) 不能构成f:A→B,因为domf={1,2,3,4}≠A。

(4) 能构成f:A→B,且f:A→B是双射的。

(5) 能构成f:A→B,但是f:A→B既不是单射的也不是满射的。

因为该函数在x=1取得极大值f(1)=1/2。

函数不是单调的,且ranf≠R+。

(6) 能构成f:A→B,且f:A→B是双射的。

f(L)={<2x+1,-1>|x∈R}=R×{-1}(7) 能构成f:A→B,但是f:A→B既不是单射的也不是满射的。

因为f(<1,1>)=f(<2,2>)=0,且2ranf。

f(N×{0})={n2-02|n∈N}={n2|n∈N},f-1({0})={<n,n>|n∈N}。

例8.6对于给定的集合A和B构造双射函数f:A→B。

(1) A=P({1,2,3}),B={0,1}{1,2,3}(2) A=[0,1],B=[1/4,1/2](3) A=Z,B=N(4) A=[π/2,3π/2],B=[-1,1]解(1)A={,{1},{2},{3},{1,2},{1,3},{2,3},{1,2,3}}。

B={f0,f1,…,f7},其中f0={<1,0>,<2,0>,<3,0>},f1={<1,0>,<2,0>,<3,1>},f2={<1,0>,<2,1>,<3,0>},f3={<1,0>,<2,1>,<3,1>},f4={<1,1>,<2,0>,<3,0>},f5={<1,1>,<2,0>,<3,1>},f6={<1,1>,<2,1>,<3,0>},f7={<1,1>,<2,1>,<3,1>}。

令f:A→B,使得f()=f0,f({1})=f1,f({2})=f2,f({3})=f3,f({1,2})=f4,f({1,3})=f5,f({2,3})=f6,f({1,2,3})=f7(2) 令f:[0,1]→[1/4,1/2],f(x)=(x+1)/4.(3) 将Z种元素以下列顺序排列并与N种元素对应:Z:0-11-22-3 3 …↓↓↓↓↓↓↓N:0 1 2 3 4 5 6 …则这种对应所表示的函数是:f:Z→N(4) 令f:[π/2,3π/2]→[-1,1]f(x)=sinx三.常用函数下面定义一些常用的函数。

定义8.7(1) 设f:A→B,如果存在y∈B使得对所有的x∈A都有f(x)=y,则称f:A→B是常函数。

(2) 称A上的恒等关系I A为A上的恒等函数,对所有的x∈A都有I A(x)=x。

(3) 设<A,>,<B,>为偏序集,f:A→B,如果对任意的x1,x2∈A,x1x2,就有f(x 1)f(x2),则称f为单调递增的;如果对任意的x1,x2∈A,x1x2,就有f(x1)f(x2),则称f为严格单调递增的。

相关文档
最新文档