离散数学教案

离散数学教案
离散数学教案

《离散数学》教案

第一章集合与关系

集合是数学中最基本的概念,又是数学各分支、自然科学及社会科学各领域的最普遍采用的描述工具。集合论是离散数学的重要组成部分,是现代数学中占有独特地位的一个分支。

G. Cantor(康脱)是作为数学分支的集合论的奠基人。1870年前后,他关于无穷序列的研究导致集合论的系统发展。1874年他发表了关于实数集合不能与自然数集合建立一一对应的有名的证明。1878年,他引进了两个集合具有相等的“势”的概念。然而,朴素集合论中包含着悖论。第一个悖论是布拉利-福尔蒂的最大序数悖论。1901年罗素发现了有名的罗素悖论。1932年康脱也发表了关于最大基数的悖论。集合论的现代公理化开始于1908年策梅罗所发表的一组公理,经过弗兰克尔的加工,这个系统称为策梅罗-弗兰克尔集合论(ZF),其中包括1904年策梅罗引入的选择公理。另外一种系统是冯·诺伊曼-伯奈斯-哥德尔集合论。公理集合论中一个有名的猜想是连续统假设(CH)。哥德尔证明了连续统假设与策梅罗-弗兰克尔集合论的相容性,科恩证明了连续统假设与策梅罗-弗兰克尔集合论的独立性。现在把策梅罗-弗兰克尔集合论与选择公理一起称为ZFC系统。

一、学习目的与要求

本章目的是介绍集合的基本概念,讲授集合运算的基本理论,关系的定义与运算。通过本章的学习,使学生了解集合是数学的基本语言,掌握主要的集合运算方法和关系运算方法,为学习后续章节打下良好基础。

二、知识点

1.集合的基本概念与表示方法;

2.集合的运算;

3.序偶与笛卡尔积;

4.关系及其表示、关系矩阵、关系图;

5.关系的性质,符合关系、逆关系;

6.关系的闭包运算;

7.集合的划分与覆盖、等价关系与等价类;相容关系;

8.序关系、偏序集、哈斯图。

三、要求

1.识记

集合的层次关系、集合与其元素间的关系,自反关系、对称关系、传递关系的识别,复合关系、逆关系的识别。

2.领会

领会下列概念:两个集合相等的概念几证明方法,关系的闭包运算,关系等价性证明。

集合论的基本概念与运算

1.1.1 集合的概念

集合不能精确定义。集合可以描述为:一个集合把世间万物分成两类,一些对象属于该集合,是组成这个集合的成员,另一些对象不属于该集合。可以说,由于一个集合的存在,世上的对象可分成两类,任一对象或属于该集合或不属于该集合,二者必居其一也只居其一。

直观地说,把一些事物汇集到一起组成一个整体就叫集合,而这些事物就是这个集合的元素或成员。

例如:方程x2-1=0的实数解集合;26个英文字母的集合;坐标平面上所有点的集合;……

集合通常用大写的英文字母A,B,C,…,来标记,元素通常用小写字母a,b,c,…,来表示。例如自然数集合N(在离散数学中认为0也是自然数),整数集合Z,有理数集合Q,实数集合R,复数集合C等。

集合的表示方法:表示一个集合的方法通常有三种:列举法、描述法和归纳定义法。

(1) 列举法列出集合的所有元素,元素之间用逗号隔开,并把它们用花括号括起来。在能清楚地表示集合成员的情况下可使用省略号。

例如 A={a,b,c,…,z},Z={0,±1,±2,…}都是合法的表示。

(2) 描述法用谓词来概括集合中元素的属性来表示这个集合。

例如 B={x|x∈R∧x2-1=0}表示方程x2-1=0的实数解集。

许多集合可以用两种方法来表示,如B也可以写成{-1,1}。但是有些集合不可以用列元素法表示,如实数集合。

(3) 归纳定义法:节再讨论。

属于、不属于:元素和集合之间的关系是隶属关系,即属于或不属于,属于记作∈,不属于记作?。例如A={a,{b,c},d,{{d}}},这里a∈A,{b,c}∈A,d∈A,{{d}}∈A,但b?A,{d}?A。b和{d}是A的元素的元素。

外延公理:两个集合A和B相等,当且仅当它们有相同的成员。

集合的元素是彼此不同的:如果同一个元素在集合中多次出现应该认为是一个元素。

如 {1,1,2,2,3}={1,2,3}。

集合的元素是无序的:如{1,2,3}={3,1,2}。

1.1.2 集合间的关系

定义1.1.1 设A ,B 为集合,如果B 中的每个元素都是A 中的元素,则称B 是A 的子集合,简称子集。这时也称B 被A 包含,或A 包含B ,记作B ?A 。称B 是A 的扩集。

包含的符号化表示为:B ?A ??x(x∈B→x∈A)。如果B 不被A 包含,则记作B ?A 。

例如 N ?Z ?Q ?R ?C ,但Z ?N 。显然对任何集合A 都有A ?A 。

注意:属于关系和包含关系都是两个集合之间的关系,对于某些集合可以同时成立这两种关系。例如A ={a ,{a}}和{a},既有{a}∈A,又有{a}?A 。前者把它们看成是不同层次上的两个集合,后者把它们看成是同一层次上的两个集合,都是正确的。

定义1.1.2 设A ,B 为集合,如果B ?A 且B≠A,则称B 是A 的真子集,记作B ?A 。如果B 不是A 的真子集,则记作B ?A 。真子集的符号化表示为:B ?A ?B ?A∧B≠A。

例如 N ?Z ?Q ?R ?C ,但N ?N 。

为方便起见,所讨论的全部集合和元素是限于某一论述域中,即使这个论述域有时没有明确地指出,但表示集合元素的变元只能在该域中取值。此论述域常用U 表示,并称为全集。

定义1.1.3 不含任何元素的集合叫空集,记作Φ。空集可以符号化表示为Φ={x|x≠x}。

例如{x|x∈R∧x 2+1=0}是方程x 2

+1=0的实数解集,因为该方程无实数解,所以是空集。

定理 空集是一切集合的子集。

证:对任何集合A ,由子集定义有()A x x x A Φ???∈Φ→∈,右边的蕴涵式因前件为假而为真命题,所以A Φ?也为真。

推论 空集是唯一的。

证:假设存在空集1Φ和2Φ,由定理有12Φ?Φ,21Φ?Φ。根据集合相等的定义,有12Φ=Φ。

含有n 个元素的集合简称n 元集,它的含有m(m≤n)个元素的子集叫做它的m 元子集。任给一个n 元集,怎样求出它的全部子集呢?举例说明如下。

例1.1.1 A ={1,2,3},将A 的子集分类:

0元子集,也就是空集,只有一个:Φ;1元子集,即单元集:{1},{2},{3}; 2元子集:{1,2},{1,3},{2,3}; 3元子集:{1,2,3}。

一般地说,对于n 元集A ,它的0元子集有0n C 个,1元子集有1

n C 个,…,m 元子集有m n C 个,…,n 元子集有n n C 个。子集总数为012n n n n n C C C +++=L 个。 全集与空集在本章中起重要作用,注意掌握它们的基本概念。

注意:∈与?的联系与区别。

(1) ∈表示集合的元素(可以为集合)与集合本身的从属关系,

(2) ?表示两个集合之间的包含关系。

例如:对于集合A={a,b,c},{a}是A 的子集:{a}?A ,a 是A 的元素:a∈A。 注意:不要写成{a}∈A 和a ?A 。

{}a a ≠,但{}a a ∈;{}Φ是一元集,而不是空集。|{}|1Φ=,||0Φ=。

1.1.3 集合的运算

集合的交、并和差运算

1. 集合交、并、差运算的定义(注意集合运算与逻辑运算的对应关系)

定义 设A 和B 是集合,

(1) A 和B 的交记为A B I ,定义为:{|}A B x x A x B =∈∧∈I ;

(2) A 和B 的并记为A B U ,定义为:{|}A B x x A x B =∈∨∈U ;

(3) A 和B 的差记为A B -,定义为:{|}A B x x A x B -=∈∧?。

例:设{,,,}A a b c d =,{,,}B b c e =,则

{,}A B b c =I ,{,,,,}A B a b c d e =U ,{,}A B a d -=,{}B A e -=

定义:如果,A B 是两个集合,A B =ΦI ,那么称A 和B 是不相交的。如果C 是一个集合的族,且C 中的任意两个不同元素都不相交,那么称C 是(两两)不相交集合的族。

2. 集合的并和交运算的推广(广义交、广义并)

n 个集合 12121{|}n

i n n i A A A A x x A x A x A ===∈∧∈∧∧∈I I L I L I ,

1

2121{|}n i n n i A A A A x x A x A x A ===∈∨∈∨∨∈U UL U L U ,

无穷可数个集合: 121i i A A A ∞

==I I L I ,121

i i A A A ∞

==U UL U 一般情形:

{|()}S C S x S S C x S ∈=?∈→∈I (C ≠Φ),

{|()}S C S x S S C x S ∈=?∈∧∈U

3. 集合交、并、差运算的性质:

(1) 交换律 A B B A =I I , A B B A =U U ,

(2) 结合律 ()()A B C A B C =I I I I , ()()A B C A B C =U U U U .

(3) 分配律 ()()()A B C A B A C =U I U I U , ()()()A B C A B A C =I U I U I

(4) 幂等律 A A A =I , A A A =U ,

(5) 同一律 A A Φ=U , A U A =I ,

(6) 零 律 A U U =U A Φ=ΦI ,

(7) 吸收律 ()A A B A =U I , ()A A B A =I U ,

(8) 德摩根律 ()()()A B C A B A C -=--U I ()()()A B C A B A C -=--I U

(9) (a) A A -Φ=, (b) A B A -?, (c)A A B ?U , (d)A B A ?I ,

(e) 若A B ?,C D ?,则()()A C B D ?U U ,()()A C B D ?I I ,

(f) 若A B ?,则A B A =I , (g) 若A B ?,则A B B =U ,

(h) A B A A B B A B =?=?-=ΦI U 。

证:利用运算的定义(与逻辑运算的关系)或已证明的性质。

集合的补运算

1. 集合的补运算的定义

定义:设U 是论述域而A 是U 的子集,则A 的(绝对)补为:

B A =当且仅当A B U =U 和A B =ΦI 。

2. 集合补运算的性质:

(1) 矛盾律 A A =ΦI ; (2) 排中律 A A U =U ;

(3) 德摩根律 U Φ=, U =Φ, ________A B A B =U I , ________

A B A B =I U ;

(4) 双重否定律(A 的补的补是A ):A A =;(5) 若A B ?,则B A ?。 例:证明A -(B ∪C)=(A -B)∩( A -C)。 证对任意的x ,

x ∈A -(B ∪C) ? x ∈A ∧x ?B ∪C ? x ∈A ∧┐(x ∈B ∨x ∈C) ? x ∈A ∧(┐x ∈B ∧┐x ∈C) ? x ∈A ∧x ?B ∧x ?C

? (x ∈A ∧x ?B)∧(x ∈A ∧x ?C) ? x ∈A -B)∧x ∈A -C

? x ∈(A -B)∩(A -C)

所以 A -(B ∪C)=(A -B)∩( A -C)。

例:证明A ∩E =A 。

证对任意的x ,x ∈A ∩E ?x ∈A ∧x ∈E ?x ∈A(因为x ∈E 是恒真命题),所以A ∩E =A 。

注意:以上证明的基本思想是:设P ,Q 为集合公式,欲证P =Q ,即证P ?Q ∧Q ?P 为真。

也就是要证对于任意的x 有 x ∈P ?x ∈Q 和x ∈Q ?x ∈P 成立。对于某些恒等式可以将这两个方向的推理合到一起,就是 x ∈P ?x ∈Q 。

不难看出,集合运算的规律和命题演算的某些规律是一致的,所以命题演算的方法是证明集合恒等式的基本方法。

证明集合恒等式的另一种方法是利用已知的恒等式来代入。

例:证明A ∪(A ∩B)=A 。

证 A∪(A∩B)=(A∩E)∪(A∩B)=A∩(E∪B)=A∩(B∪E)=A∩E=A 。

例:证明等式A -B =A ∩~B 。

证对于任意的x ,x ∈A -B ?x ∈A ∧x ?B ?x ∈A ∧x ∈~B ?x ∈A ∩~B , 所以A -B =A ∩~B 。

注意:上式把相对补运算转换成交运算,这在证明有关相对补的恒等式中是很有用的。

例:证明(A -B)∪B =A ∪B

证 (A -B)∪B =(A ∩~B)∪B =(A ∪B)∩(~B ∪B)=(A ∪B)∩E =A ∪B 。

例:证明命题A ∪B =B ?A ∩B =A ?A -B =Φ。 证

(1) 证A ∪B =B ?A ?B ,对于任意的x ,

x ∈A ?x ∈A ∨x ∈B ?x ∈A ∪B ?x ∈B(因为A ∪B =B),所以A ?B 。

(2) 证A ?B ?A ∩B =A 。显然有A ∩B ?A ,下面证A ?A ∩B ,对于任意的x , x ∈A ?x ∈A ∧x ∈A ?x ∈A ∧x ∈B(因为A ?B) ?x ∈A ∩B ,由集合相等的定义有A ∩B =A 。

(3) 证A ∩B =A ?A -B =Φ。

A -

B =A ∩~B =(A ∩B)∩~B(因为A ∩B =A)=A ∩(B ∩~B)=A ∩Φ=Φ。

(4) 证A -B =Φ?A ∪B =B 。A ∪B =B ∪(A -B)=B ∪Φ=B 。

注意:上式给出了A ?B 的另外三种等价的定义,这不仅为证明两个集合之间的包含关系提供了新方法,同时也可以用于集合公式的化简。

例:化简((A ∪B ∪C)∩(A ∪B))-((A ∪(B -C))∩A)。 解因为A ∪B ?A ∪B ∪C ,A ?A ∪(B -C),故有

((A ∪B ∪C)∩(A ∪B))-((A ∪(B -C))∩A)=(A ∪B)-A =B -A 。

定义:两集合,A B 的环和(对称差)定义为:

环和: ()(){|}A B A B B A x x A x B x A x B ⊕=--=∈∧?∨?∧∈U

2. 环和与环积的性质: (1) ()()()()A B A B A B A B A B ⊕==-U I U U I , (2) A B A B ⊕=⊕, B A A B ⊕=⊕,

(3) ()()A B C A B C ⊕⊕=⊕⊕, ()()()C A B C A C B ⊕=⊕I I I ;

(4) A A ⊕=Φ, A A ⊕Φ=,

(5) A B A C B C ⊕=⊕?=

例:已知A ⊕B =A ⊕C ,证明B =C 。

证 已知A ⊕B =A ⊕C ,所以有

A ⊕(A ⊕B)=A ⊕(A ⊕C) ?(A ⊕A)⊕

B =(A ⊕A)⊕C

?Φ⊕B =Φ⊕C ?B ⊕Φ=C ⊕Φ?B =C 。

3. 集合运算的文氏图表示

注意:如果没有特殊说明,任何两个集合都画成相交的。

幂集合

定义:设A 是一个集合,A 的幂集是A 的所有子集的集合,即(){|}A B B A ρ=?。 若A 是n 元集,则()A ρ有2n 个元素。

例:若A =Φ,则(){}A ρ=Φ;若{1,2}A =,则(){,{1},{2},{1,2}}A ρ=Φ。 对任意集合A :()A ρΦ∈,()A A ρ∈。

集合运算的顺序:为了使得集合表达式更为简洁,我们对集合运算的优先顺序做如下规定:称广义交,广义并,幂集,绝对补运算为一类运算,交,并,补,环和,环积运算为二类运算。一类运算优先于二类运算;一类运算之间由右向左顺序进行;二类运算之间由括号决定先后顺序。

1.2

关系及其表示

1.2.1集合的笛卡儿积与二元关系

定义 1 由两个元素x 和y (允许x=y )组成的序列记作,称为二重组或有序对或序偶,其中x 是它的第一元素(分量),y 是它的第二元素(分量)。

有序对具有以下性质:

1.当x ≠y 时,; 2.=的充分必要条件是x=u 且y=v 。 注意:这些性质是二元集{x,y}所不具备的。例如当x ≠y 时有{x,y}={y,x}。原因在于有序对中的元素是有序的,而集合中的元素是无序的。

例1 已知=<5,2x+y>,求x 和y 。

解 由有序对相等的充要条件有x+2=5,2x+y=4,解得x=3,y=-2。

定义2 设12,,,n a a a K 是(2)n n >个元素,定义

为n 重组。

注意:n 重组是一个二重组,其中第一个分量是1n -重组。如2,3,5<>代表2,3,5<<>>而不代表2,3,5<<>>,按定义后者不是三重组,并且2,3,52,3,5<<>>≠<<>>。

n 重组121,,,,n n a a a a -<>L 与121,,,,n n b b b b -<>L 相等当且仅当i i a b =,1i n ≤≤。

定义3 设A ,B 为集合,用A 中元素为第一元素,B 中元素为第二元素构成有序对。所有这样的有序对组成的集合叫做A 和B 的笛卡儿积(叉积),记作A ×B 。

笛卡儿积的符号化表示为A ×B={|x ∈A ∧y ∈B}。

集合12,,,n A A A K (2n >)的叉积记为12n A A A ???L 或1n

i i A =?,定义为 例2 设A={a,b}, B={0,1,2},则

A ×B={,,,,,};

B ×A={<0,a>,<0,b>,<1,a>,<1,b>,<2,a>,<2,b>}。

由排列组合的知识不难证明,如果|A|=m ,|B|=n ,则|A ×B|=mn 。

笛卡儿积的运算性质

(1).对任意集合A ,根据定义有 A ×Φ=Φ, Φ×A=Φ;

(2).一般地说,笛卡儿积运算不满足交换律,即A ×B ≠B ×A(当A ≠Φ∧B ≠Φ∧A ≠B 时);

(3).笛卡儿积运算不满足结合律,即(A ×B)×C ≠A ×(B ×C)(当A ≠Φ∧B ≠Φ∧C ≠Φ时);

(4).笛卡儿积运算对并和交运算满足分配律,即

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 ∪C)? x ∈A ∧y ∈B ∪C ?x ∈A ∧(y ∈B ∨y ∈C)

?(x ∈A ∧y ∈B)∨(x ∈A ∧y ∈C)?∈A ×B ∨∈A ×C ?∈(A ×B ∪A ×C)

所以有 A ×(B ∪C) = (A ×B)∪(A ×C)。

(5).A ?C ∧B ?D ?A ×B ?C ×D

性质5的证明和性质4类似,也采用命题演算的方法。

注意:性质5的逆命题不成立,可分以下情况讨论。

(a) 当A=B=Φ时,显然有A ?C 和B ?D 成立。

(b) 当A ≠Φ且B ≠Φ时,也有A ?C 和B ?D 成立。证明如下:任取x ∈A ,由于B ≠Φ,必存在y ∈B ,因此有x ∈A ∧y ∈B ?∈A ×B ?∈C ×D ?x ∈C ∧y ∈D ?x ∈C ,

从而证明了A ?C 。同理可证B ?D 。

(c) 当A=Φ而B ≠Φ时,有A ?C 成立,但不一定有B ?D 成立。

反例:令A=Φ,B={1},C={3},D={4}。

(d) 当A ≠Φ而B=Φ时,有B ?D 成立,但不一定有A ?C 成立。反例类似于(c)。 例3 设A={1,2},求P(A)×A 。

解 P(A)×A={Φ,{1},{2},{1,2}}×{1,2}

={<Φ,1>,<Φ,2>,<{1},1>,<{1},2>,<{2},1>,<{2},2>,<{1,2},1>,<{1,2},2>}

例4 设A ,B ,C ,D 为任意集合,判断以下命题是否为真,并说明理由。

(1) A ×B=A ×C ?B=C ; (2) A-(B ×C)=(A-B)×(A-C);

(3) A=B ∧C=D ?A ×C=B ×D ; (4) 存在集合A ,使得A ?A ×A 。 解(1) 不一定为真。当A=Φ,B={1},C={2}时,有A ×B=Φ=A ×C ,但B ≠C 。

(2) 不一定为真。当A=B={1},C={2}时有A-(B ×C)={1}–{<1,2>}={1},

(A-B)×(A-C)= Φ×{1}=Φ

(3) 为真。由等量代入的原理可证。

(4) 为真。当A=Φ时有A ?A ×A 成立。

定理1:若(1,2,,)i A i n =K 都是有限集合,则1212||||||||n n A A A A A A ???=L g g L g 。

定义4 如果一个集合满足以下条件之一:(1)集合非空,且它的元素都是有序对;

(2)集合是空集;则称该集合为一个二元关系,记作R 。二元关系也可简称为关系。

对于二元关系R ,若,x y R <>∈,则称,x y 有关系R ,可记作xRy ;若

,x y R <>?,则记作xRy /。一般地,,x y y x <>≠<>,因此xRy yRx ≠。

例1 1{1,2,,}R a b =<><>,2{1,2,,}R a b =<>,则1R 是二元关系,2R 不是二

元关系,只是一个集合,除非将a 和b 定义为有序对。根据以上记法可以写成112R ,

1aR b 等。

定义5 设,A B 为集合,A B ?的任何子集所定义的二元关系叫做从A 到B 的二元关系,特别地,当A B =时,则叫做A 上的二元关系。12n A A A ???L 的子集称为12n A A A ???L 上的一个n 元关系,当12n A A A ===L 时称为A 上的一个n 元关系。

例2 {0,1}A =,{1,2,3}B =,那么1{0,2}R =<>,2R A B =?,3R =Φ,4{0,1}R =<>等都是从A 到B 的二元关系,而其中3R 和4R 同时也是A 上的二元关系。

注:可把A 到B 的二元关系看成是A B U 上的二元关系或2

()A B U 上的二元关系。 二元关系的数目:集合A 上的二元关系的数目依赖于A 中的元素数。如果||A n =,

那么2||A A n ?=,A A ?的子集就有22n 个。每一个子集代表一个A 上的二元关系,所以A 上有22n 个不同的二元关系。例如||3A =,则A 上有232512=个不同的二元关系。如果||i i A m =,则1212||n n A A A m m m ???=???L L ,因此12n A A A ???L 上有122n m m m ???L 个不同的n 元关系。

一些重要关系:

(1) 空关系:若R =Φ,则R 称为空关系;

(2) 全域关系:{,|}A E x y x A y B A B =<>∈∧∈=?

(3) 恒等关系:A 上的二元关系{,|}A I x x x A =<>∈称为恒等关系。

(4) 小于或等于关系:{,|,}A L x y x y A x y =<>∈∧≤,这里A R ?;

(5) B 上的整除关系:{,|,}B D x y x y B x y =<>∈∧整除,这里A Z *

?(非零整数集);

(6) A 上的包含关系:{,|,}R x y x y A x y ?=<>∈∧?,这里A 是集合族。 例3 设{1,2,3}A =,{,}B a b =,(){,{},{},{,}}C B a b a b ρ==Φ,则 {1,1,1,2,1,3,2,2,2,3,3,3}A L =<><><><><><>,

C 上的包含关系:

{,,,{},,{},,{,},{},{},R a b a b a a ?=<ΦΦ><Φ><Φ><Φ><>

{},{,},{},{},{},{,},{,},{,}}a a b b b b a b a b a b <><><><>。

类似的还可以定义大于等于关系,小于关系,大于关系,真包含关系等等。 关系是有序对的集合,因此对它可进行集合运算,运算结果定义一个新的关系。例如:设R 和S 是给定集合上的关系,则R S U ,R S I ,R S -,R 分别称为关系R 与S 的并关系,交关系,差关系和R 的补关系。这样一来,可以从已知关系派生出各种新关系。

二元关系

A 到

B 的二元关系可以用一个图来形象地表示。

定义6 设R 是A 到B 的一个二元关系,则A 叫着关系R 的前域,B 叫着关系R 的陪域;(){|(,)}D R x y x y R =?<>∈称为关系R 的定义域;

(){|(,)}R R y x x y R =?<>∈称为关系R 的值域。

关于关系的定义域、值域的一些性质:

()()()D R S D R D S =U U ;()()()D R S D R D S ?I I ;

()()()R R S R R R S =U U ;()()()D R S R R R S ?I I 。

证明 (证明第一个式子,其余类似)

1.2.2关系矩阵与关系图

(1) 集合表示法:非空关系都是元素为有序对的集合。

(2) 关系图:设12{,,,}n A x x x =K ,R 是A 上的关系,令图,G V E =<>,其中顶点集合V A =,边集为E ,对于,i j x x V ?∈,满足,i j i j x x E x Rx <>∈?,则称图G 为R 的关系图,记作R G 。

(3)关系矩阵:设12{,,,}n A x x x =K ,R 是A 上的关系,令10i j ij i j x Rx r x Rx ?=?/?

,(,1,2,,)i j n =K

则111212122212()n n ij n n nn r r r r r r r r r r ?? ? ?= ? ???

L L M M O M L 称为关系R 的关系矩阵,记作R M 。 例 空关系的关系矩阵为全0矩阵:0A M =; 全域关系的关系矩阵为全1矩阵,记为J ;相等关系的关系矩阵为单位矩阵:A I M I =。

基于关系R 与关系矩阵R M 互相唯一决定的特性,可用关系矩阵有效地刻画关系的许多性质。如对于有限集A 上的任意关系R 与S :R S R S M M =?=;R S R S M M ??≤。

关系的运算

1.3.1关系的逆

定义1 设R 是从A 到B 的二元关系,关系R 的逆(R 的逆关系)记为R %,定义

如下:

当A 上的关系R 具有对称性时,R R =%。

相等关系的逆是相等关系;空关系的逆是空关系;全域关系的逆是全域关系。

列举法:把R 中每个有序对的第一和第二成分都加以交换,就可得到逆关系R %的

所有元素。

对x A ∈和y B ∈来说,这意味着xRy yRx

?%。 关系矩阵:将R M 的行和列交换即可得到R M %,即T R R M M =%(T

R M 表示R M 的转置)。 关系图:颠倒R 的关系图中的每条弧(有向边)的箭头,就得到R %的关系图。

逆关系的性质:

(1) 设12,,R R R 都是从A 到B 的二元关系,则

(a) ()R R =%%;(b) 1212R R R R =%%%U U ;(c) 1212

R R R R =%%%I I ;(d) 1212

R R R R -=-%%%; (e) R R =%%,(R A B R =?-); (f) 1212

R R R R ???%%; (2) 设1R 是从A 到B 的关系,2R 是从B 到C 的关系,则1221

()R R R R ?=?%%%。 1.3.2关系的合成

定义2 设1R 是从A 到B 的关系,2R 是从B 到C 的关系,则1R 与2R 的合成(右复合)为从A 到C 的关系,记为12R R 或12R R g (其中g 表示合成运算),定义为

1212{,|(,,)}R R a c a A c C b b B a b R b c R =<>∈∧∈∧?∈∧<>∈∧<>∈。

例1 设{1,2,3,4}A =,{2,3,4}B =,{1,2,3}C =,1R 是从A 到B 的关系,2R 是从B 到C 的关系:

1{,|6}{2,4,3,3,4,2}R x y x y =<>+==<><><>,

2{,|1}{2,1,3,2,4,3}R y z y z =<>-==<><><>。

分别用列举法、图示法、关系矩阵表示关系的合成12R R g ,21R R g 。

例2 设{1,2,3,4,5}A =,1R 和2R 都是A 上的二元关系,如果

1{1,2,3,4,2,2}R =<><><>,

2{4,2,2,5,3,1,1,3}R =<><><><>,

分别用列举法、图示法、关系矩阵表示关系的合成12R R ?,21R R ?,121()R R R ??,121()R R R ??,11R R ?,22R R ?等。

合成关系的性质:

(1) 设R 是从A 到B 的关系,,A B I I 分别是,A B 上的相等关系,则

A B I R R I R ?=?=;

(2) 如果关系1R 的值域与2R 的定义域的交集为空集,则合成关系12R R ?是空关系;

(3) 关系的合成关于交和并的分配律:

设1R 是从A 到B 的关系,23,R R 是从B 到C 的关系,4R 是从C 到D 的关系,则 (a) 1231213()()()R R R R R R R =U U ,(b) 1231213()()()R R R R R R R ?I I ; (c) 2342434()()()R R R R R R R =U U ,(d) 2342434()()()R R R R R R R ?I I ;

(4) 关系的合成满足结合律:

设123,,R R R 分别是从A 到B ,B 到C ,C 到D 的关系,则123123()()R R R R R R =。

1.3.3 关系的幂

定义3设R 是集合A 上的二元关系,n N ∈为任一自然数,

则R 的n 次幂记为n R ,定义为:(1) 0R 为A 上的相等关系,0

{,|}R x x x A =<>∈ (2) 1n n R R R +=?。

关系的幂运算的性质:

(1) 对A 上的任意关系12,R R 有:0012A R R I ==,1011111A R R R I R R =?=?=; (2) 设R 是集合A 上的二元关系,,m n N ∈,则m n m n R R R +?=,()m n mn R R =;

(3) 设||A n =,R 是集合A 上的一个二元关系,则存在i 和j ,202n i j ≤<≤使i j R R =;

(4) 循环性质:设R 是集合A 上的二元关系,若存在i 和j ,i j <,使i j R R =,则

(a) 对所有0k ≥,i k j k R R ++=; (b) 对所有,0k m ≥,i mdk i k R R ++=(其中

d j i =-)

;(c) 令0121{,,,,}j S R R R R -=L ,则R 的每一次幂是S 的元素,即对n N ∈,n R S ∈。

关系的幂的计算:

给定A 上的关系R 和自然数n ,怎样计算n

R 呢?若n 是0或1,结果是很简单的。 下面考虑2n ≥的情况。

如果R 是用集合表达式给出的,可以通过1n -次合成计算得到n R 。

如果R 是用关系矩阵M 给出的,则n R 的关系矩阵是n M ,即n 个矩阵M 之积。与普通矩阵乘法不同的是,其中的相加是逻辑加,即111,10011,000+=+=+=+=。

如果R 是用关系图G 给出的,可以直接由图G 得到n R 的关系图G '。G '的顶点集与G 相同。考察G 的每个顶点i x ,如果在G 中从i x 出发经过n 步长的路径到达顶点

j x ,则在G '中加一条从i x 到j x 的边。当把所有这样的边都找到以后,就得到图G '。

例3 设{,,,}A a b c d =,{,,,,,,,}R a b b a b c c d =<><><><>,求R 的各次幂,分别用矩阵和关系图表示。

解 R 的关系矩阵为0100101000010

000M ?? ? ?= ? ???,则234,,R R R 的关系矩阵分别是 21010010100000

000M MM ?? ? ?== ? ???,320101101000000000M M M ?? ? ?== ? ???,431010010100000

000M M M ?? ? ?== ? ??? 因此42M M =,53R R =,L 。所以可以得到246R R R ===L ,

357R R R ===L ,而0R ,即A I 的关系矩阵为01000010000100

001M ?? ? ?= ? ???

。至此,R 各次幂的关系矩阵都得到了。 用关系图的方法得到0123,,,,R R R R L 的关系图如下图所示。

合成关系的矩阵表达

二元集{,}{1,0}T F ≈上的布尔运算:

① T F F T T T T ∨?∨?∨?,F F F ∨?; 1001111∨=∨=∨=,000∨=;

② T F F T F F F ∧?∧?∧?,T T T ∧?; 1001000∧=∧=∧=,111∧=;

③ T F =?,F T =?; 10=?,01=?;

④ 配合,∨∧的其他性质(结合律、分配律等)可计算更复杂的式子。

注 {0,1}关于上述两个运算构成二元数域。

(0,1)-矩阵的布尔运算:

对于m n ?的(0,1)矩阵()R ij mn M r =,()S ij mn M s =,定义下列运算:

()R ij mn M r =??,()R S ij ij mn M M r s ∨=∨,()R S ij ij mn M M r s ∧=∧;

对m n ?和n p ?的(0,1)矩阵()R ij mn M r =和()S ij np M r =:

1(())n

R S ik kj mp k M M r s =?=∨∧。 例4 对全0矩阵0,全1矩阵J 有

零律:000M M ∧=∧=,J M M J J ∨=∨=;

同一律:0M M ∨=,J M M ∧=。

用关系矩阵的布尔运算研究关系的运算:

定理:设12{,,,}m X x x x =L ,12{,,,}n Y y y y =L ,12{,,,}p Z z z z =L ,R 是X 到Y 的关系,()R ij mn M a =是m n ?矩阵,S 是Y 到Z 的关系,()S ij np M b =是n p ?矩阵,则()R S ij R S M c M M ?==?,这里1()n

ij ik kj k c a b ==∨∧,1,2,,i m =L ,1,2,,j p =L 。 设,R S 是X 到Y 的关系,()R ij M a =,()S ij M b =,ij c 是运算后得到新关系的关系矩阵的元素,则

R S R S M M M =∧I , ij ij ij c a b =∧;

R S R S M M M =∨U , ij ij ij c a b =∨;

R M , ij ij c a =?;

R S R S M M M -=∧, ij ij ij c a b =∧?。

定理:关系矩阵的乘法是可结合的。

证明:利用关系合成的可结合律:

()()()()R S T R S T R S T R S T R S T R S T M M M M M M M M M M M M ????????=?===?=??。

借助关系矩阵及其运算还可导出其他一些结论,如:

R 为A 上的传递关系2R R R R R M M ????≤;

R 为A 上的自反关系A R I R I M ???≤。

本节要求:

1. 掌握关系的合成运算、关系的幂运算的概念及性质;

2. 能分别利用关系的不同的表示方法(集合的表示法、图示法、关系矩阵、关系图)对关系进行合成和幂运算。

关系的性质

定义1 设R 是A 上的一个二元关系,

(1) 若对A 中的每一x ,xRx ,则称R 是自反的;

(2) 若对A 中的每一x ,xRx /,则称R 是反自反的;

(3) 若对每一,x y A ∈,xRy 蕴含着yRx ,则称R 是对称的;

(4) 若对每一,x y A ∈,xRy ,yRx 蕴含着x y =,则称R 是反对称的;

(5) 若对每一,,x y z A ∈,xRy ,yRz 蕴含着xRz ,则称R 是传递的。

对于A 上的任意关系R ,对应于不同的关系特性的关系图和关系矩阵的性质(如下表):

(1) R 是自反的 ()x x A xRx ??∈→R M ?主对角元全为1R G ?每一节点有自回路;

(2) R 是反自反的()x x A xRx

??∈→/R M ?主对角元全为0R G ?每一节点无自回路

(3) R 是对称的 ()x y x A y A xRy yRx ???∈∧∈∧→R M ?是对称矩阵 R G ?有向边是成对出现的(若有从a 到b 的弧,则必有从b 到a 的弧);

离散数学(第五版)清华大学出版社第2章习题解答

离散数学(第五版)清华大学出版社第2章习题解答 2.1 本题没有给出个体域,因而使用全总个体域. (1) 令F(x):x是鸟 G(x):x会飞翔. 命题符号化为 ?x(F(x)→G(x)). (2)令F(x):x为人. G(x):x爱吃糖 命题符号化为 ??x(F(x)→G(x)) 或者 ?x(F(x)∧?G(x)) (3)令F(x):x为人. G(x):x爱看小说. 命题符号化为 ?x(F(x)∧G(x)). (4) F(x):x为人. G(x):x爱看电视. 命题符号化为 ??x(F(x)∧?G(x)). 分析1°如果没指出要求什么样的个体域,就使用全总个休域,使用全总个体域时,往往要使用特性谓词。(1)-(4)中的F(x)都是特性谓词。 2°初学者经常犯的错误是,将类似于(1)中的命题符号化为 27 ?x(F(x)∧G(x)) 即用合取联结词取代蕴含联结词,这是万万不可的。将(1)中命题叙述得更透彻些,是说“对于宇宙间的一切事物百言,如果它是鸟,则它会飞翔。”因而符号化应该使用联结词→而不能使用∧。若使用∧,使(1)中命题变成了“宇宙间的一切事物都是鸟并且都会飞翔。”这显然改变了原命题的意义。

3°(2)与(4)中两种符号化公式是等值的,请读者正确的使用量词否定等值式,证明(2),(4)中两公式各为等值的。 2.2 (1)d (a),(b),(c)中均符号化为 ?xF(x) 其中F(x):(x+1)2=x2+2x+1,此命题在(a),(b),(c)中均为真命题。 (2)在(a),(b),(c)中均符号化为 ?xG(x) 其中G(x):x+2=0,此命题在(a)中为假命题,在(b)(c)中均为真命题。 (3)在(a),(b),(c)中均符号化为 ?xH(x) 其中H(x):5x=1.此命题在(a),(b)中均为假命题,在(c)中为真命题。 分析1°命题的真值与个体域有关。 2°有的命题在不同个体域中,符号化的形式不同,考虑命题 “人都呼吸”。 在个体域为人类集合时,应符号化为 ?xF(x) 这里,F(x):x呼吸,没有引入特性谓词。 在个体域为全总个体域时,应符号化为 ?x(F(x)→G(x)) 这里,F(x):x为人,且F(x)为特性谓词。G(x):x呼吸。 28 2.3 因题目中未给出个体域,因而应采用全总个体域。 (1)令:F(x):x是大学生,G(x):x是文科生,H(x):x是理科生,命题符号化为?x(F(x)→(G(x)∨H(x)) (2)令F(x):x是人,G(y):y是化,H(x):x喜欢,命题符号化为 ?x(F(x)∧?y(G(y)→H(x,y))) (3)令F(x):x是人,G(x):x犯错误,命题符号化为 ??x(F(x)∧?G(x)), 或另一种等值的形式为 ?x(F(x)→G(x)

《离散数学》-教案.doc

《离散数学》教案 第一章集合与关系 集合是数学中最基本的概念,又是数学各分支、自然科学及社会科学各领域的最普 遍采用的描述工具。集合论是离散数学的重要组成部分,是现代数学中占有独特地位的 一个分支。 G. Cantor( 康脱 ) 是作为数学分支的集合论的奠基人。1870 年前后,他关于无穷序列的研究导致集合论的系统发展。 1874 年他发表了关于实数集合不能与自然数集合建立 一一对应的有名的证明。 1878 年,他引进了两个集合具有相等的“势”的概念。然 而,朴素集合论中包含着悖论。第一个悖论是布拉利 - 福尔蒂的最大序数悖论。 1901 年罗素发现了有名的罗素悖论。 1932 年康脱也发表了关于最大基数的悖论。集合论的现代公理化开始于1908 年策梅罗所发表的一组公理,经过弗兰克尔的加工,这个系统称 为策梅罗 - 弗兰克尔集合论( ZF),其中包括 1904 年策梅罗引入的选择公理。另外一种系 统是冯·诺伊曼 - 伯奈斯 - 哥德尔集合论。公理集合论中一个有名的猜想是连续统假设(CH)。哥德尔证明了连续统假设与策梅罗 - 弗兰克尔集合论的相容性,科恩证明了连续统假设与策梅罗 - 弗兰克尔集合论的独立性。现在把策梅罗 - 弗兰克尔集合论与选择公理一起称为 ZFC系统。 一、学习目的与要求 本章目的是介绍集合的基本概念,讲授集合运算的基本理论,关系的定义与运算。 通过本章的学习,使学生了解集合是数学的基本语言,掌握主要的集合运算方法和关系运 算方法,为学习后续章节打下良好基础。 二、知识点 1.集合的基本概念与表示方法; 2.集合的运算; 3.序偶与笛卡尔积; 4.关系及其表示、关系矩阵、关系图; 5.关系的性质,符合关系、逆关系; 6.关系的闭包运算; 7.集合的划分与覆盖、等价关系与等价类;相容关系; 8.序关系、偏序集、哈斯图。

小学二年级数学:(数一数)教学设计

新修订小学阶段原创精品配套教材(数一数)教学设计教材定制 / 提高课堂效率 /内容可修改 (Number one) instructional design 教师:风老师 风顺第二小学 编订:FoonShion教育

(数一数)教学设计 教学内容 北师大版二年级上册第一单元“数一数与乘法”第一课时“数一数”。 教材分析 本节课“数一数”是第一单元“数一数与乘法”的起始课,为体会学习乘法的必要性,理解乘法的意义奠定基础。学生经历从数数的问题中抽象出相同加数的连加算式的过程,体验这种相同加数的连加运算与生活的联系。 学生分析: 在教学设计前我设计了三个前测问题: 1、观察方阵图,让学生说说一共有多少个图形,你是怎么列式的,说说为什么这么列,我出示的是每排6个,有4列,通过调查孩子的列式有三种方法, (1)6+6+6+6= 4+4+4+4+4+4=(我横着看一行是6个,竖着看每行是4个) (2)只列出了6+6+6+6=(我横着看一行是6个)

(3)6+12+6=(第一行是6个,第二行和第三行一共是12个第三行是6个) 2、你知道乘法吗?并用自己的语言讲一讲。(知道乘法,但是说不清楚。) 3、会背诵乘法口诀吗?(共同的答案不会.) 通过前测,我发现学生在数物体的时候,不一定有序的按照排和列来数,所以在课的伊始,我想应该给学生一个空间,让他们自己感到应该有序的数,多角度的数。 我们班的学生思维活跃,课堂上经常有灵动的思维火花闪现。所以我在教学中努力为学生创设主动思考的空间,从而使学生积极主动地参与到知识的获取中。 教学目标 1、结合数数的具体情境,经历相同加数连加算式的抽象过程,感受这种运算与日常生活的联系,以便进一步体会学习乘法的必要性。 2、会用两种不同的方法(一排一排或一列一列地)数方阵排列的物体的个数,相应列出两个不同的连加算式。 3、在具体情境中,体会生活中存在着大量的相同加数连加的问题,为学习乘法奠定基础。 教学重点:感受相同加数连加与日常生活的联系,体会学习乘法和必要性。 教学难点:用两种方法数方阵排列物体的个数,并列出

《离散数学》清华大学出版社 前四章小测验

一、判断题 (正确的在括号内填写“√”,错误的写“×”) ( )1、“只有天下大雨,他才乘班车上班”与“除非天下大雨,否则他不乘班车上班”所表达的逻辑关系是一样的。 ( )2、公式B A ,含相同的命题变项,若B A ∨是重言式,则A 与B 都是重言式。 ( )3、在命题逻辑中,任何命题公式的主合取范式都是存在的,并且是惟一的。 ( )4、永真式的主合取范式是1,矛盾式的主析取范式是0。 ( )5、同一个谓词公式,在不同个体域中,真值不一定相同。 二、单项选择题 1、下列命题是复合命题的是( ) A 、黄色和蓝色可以调配成绿色; B 、李辛与李未是兄弟; C 、黄色和蓝色都是常用颜色; D 、张辉与王力是同学 ; 2、设p:天下大雨,q:小王乘公共汽车上班,命题“只有天下大雨,小王才乘公共汽车上班”的符号化形式为( ) A 、p →q ; B 、q →p ; C 、p →┐q ; D 、┐p →q ; 3、公式()p q r ∧?∨的公式类型为( ) A 、重言式; B 、矛盾式; C 、非重言式的可满足式; 4、下列联结词集是联结词完备集的是( ) A 、{,,}∧∨→; B 、{,}?→; C 、{,,}∨→?; D 、{,,,}∧∨→?; 5、设解释I 如下:个体域D={a,b},F(a,a)=(b,b)=0,F(a,b)=F(b,a)=1,在解释I 下,下列公式中真值为1的是( ) A 、(,)x yF x y ??; B 、(,)x yF x y ??; C 、(,)x yF x y ??; D 、(,)y xF x y ??; 三、填空题 1、公式)(q p ??与)()(q p q p ∧?∨?∧共同的成真赋值为 。 2、设命题公式A 为含命题变项,p q r ,的重言式,则公式(())A p q r ∨∧→的类型为 。

二年级数学上册优质课教学设计

二年级数学上册教学设计、“长度单位厘米”教学设计 【教学内容】 数学(二年级上册)》第1~3页和练习一的第1~3题。 【教学目标】 1.通过动手实践,使学生意识到量物体应该用相同的工具来量。 2.认识尺子,初步建立1厘米的长度概念,会用厘米度量比较短的物体的长度。3.培养学生的估算意识和能力。 4.培养学生动手实践和合作学习的学习方法,并感受到生活中处处有数学。【教学过程】 一、感知量物体可以用相同的工具来量 导入:同学们,今天老师给你们带来了一些礼物,就放在盒子里面,想知道是什么吗?请把盒子打开,拿出来相互看一看,并说说你们看到了什么。 (学生打开盒子观察并进行交流) 1.用学具量同样长的边。 教师请学生挑出一件自己最喜欢的物体,摆一摆数学书的短边是几个物体的长。(学生动手操作,并汇报测量结果,同时用多媒体显示测量结果) 师:难道你们数学书的短边不一样长吗?请动手比一比。 (学生相互动手比数学课本并回答“一样长”) 师:一样长的边为什么测量的结果不一样呢? 生:因为量书时用的东西有的长,有的短。 师:如果都用同样长的工具来测量,结果会怎样呢?请小组再用正方体摆一摆,数学书的短边是几个小正方体的长呢? (学生动手操作并分小组汇报,使学生知道,如果都用同样的物体量书的短边,得到的结果相同。) 2.用学具量长度不同的边。 (电脑出示数学课本和文具盒这两幅图,并演示用曲别针测量书的短边,用小刀测量文具盒的长边。) 测量后教师问发现了什么(小刀比曲别针长,文具盒的边比书的边也长)。 师:如果把小刀换成曲别针,让我们来看一看会出现什么情况。

(多媒体演示用曲别针量文具盒的过程,让学生知道文具盒的长度比书的短边多用了6个曲别针。) 小结:我们通过动手实践和观察,知道了量物体应该用相同的工具。 3.实践活动。 (1)处理第2页“做一做”中的第1题。 (学生独立完成) (2)处理第2页“做一做”中的第2题。 (学生都用新铅笔量所想量的物体的长,可以自己量,也可以几人合作,最后相互交流并汇报测量结果。) (3)处理第2页“做一做”中的第3题。 (多媒体显示题目内容,说明题意,让学生估算,电脑验证。) 二、知道量物体的长度也可以用尺子来量 1.认识尺子。 师:刚才我们用铅笔来测量物体时,量了一次又一次,多麻烦呀。用什么去量比较方便呢?(尺子) 教师请学生拿出尺子看一看,能发现什么(数字、刻度线、cm),教师介绍刻度线和“cm”;并向学生说明“厘米”是一种长度单位。 2.认识长度单位“厘米”。 (1)认识1厘米有多长。 (电脑演示从0到1中间的长是1厘米) 师:你认为还有从哪个数字到哪个数字中间的长度也是1厘米呢?在你的尺子上找出1厘米给你的同桌看一看。 (小组活动) (2)感知厘米有多长。 ①测量棱长1厘米的小正方体的长。 ②感知1厘米有多长(教师带领学生用左手的拇指和食指轻轻夹住小正方体,右手慢慢把它拿走,告诉学生拇指与食指中间的空隙大约是1厘米,并让学生把它记在脑子里)。 ③闭上眼睛想想1厘米有多长。

离散数学课后习题答案 (邱学绍)

第一章 命题逻辑 习题1.11.解 ⑴不是陈述句,所以不是命题。 ⑵x 取值不确定,所以不是命题。 ⑶问句,不是陈述句,所以不是命题。 ⑷惊叹句,不是陈述句,所以不是命题。 ⑸是命题,真值由具体情况确定。 ⑹是命题,真值由具体情况确定。 ⑺是真命题。 ⑻是悖论,所以不是命题。 ⑼是假命题。 2.解 ⑴是复合命题。设p :他们明天去百货公司;q :他们后天去百货公司。命题符号化为q p ∨。 ⑵是疑问句,所以不是命题。 ⑶是悖论,所以不是命题。 ⑷是原子命题。 ⑸是复合命题。设p :王海在学习;q :李春在学习。命题符号化为p ∧q 。 ⑹是复合命题。设p :你努力学习;q :你一定能取得优异成绩。p →q 。 ⑺不是命题。 ⑻不是命题 ⑼。是复合命题。设p :王海是女孩子。命题符号化为:?p 。 3.解 ⑴如果李春迟到了,那么他错过考试。 ⑵要么李春迟到了,要么李春错过了考试,要么李春通过了考试。 ⑶李春错过考试当且仅当他迟到了。 ⑷如果李春迟到了并且错过了考试,那么他没有通过考试。 4.解 ⑴?p →(q ∨r )。⑵p →q 。⑶q →p 。⑷q → p 。 习题1.2 1.解 ⑴是1层公式。 ⑵不是公式。 ⑶一层: p ∨q ,?p 二层:?p ?q 所以,)()(q p q p ??→∨是3层公式。 ⑷不是公式。 ⑸(p →q )∧?(?q ?( q →?r ))是5层公式,这是因为 一层:p →q ,?q ,?r 二层:q →?r 三层:?q ?( q →?r ) 四层:?(?q ?( q →?r )) 2.解 ⑴A =(p ∨q )∧q 是2层公式。真值表如表2-1所示: 表2-1 ⑵p q p q A →→∧= )(是3层公式。真值表如表2-2所示:

离散数学教案

学习目标: 1.深刻理解序偶、笛卡尔积、关系、集合的划分与覆盖、等价关系、等价类、商集、相容关系、(最大)相容类、偏序关系、极大元、极小元、上(下)界、上(下)确界、最大(小)元、全序关系、良序关系等概念; 2.掌握集合的交、并、差、补、对称差的运算及其运算规律; 3.掌握关系的交、并、逆、复合运算、闭包运算及其性质; 4.掌握关系的矩阵表示与关系图; 5.深刻理解关系的自反性、反自反性、对称性、反对称性与传递性,掌握其判别方法; 6.掌握集合的覆盖与划分的联系与区别; 7.掌握偏序关系的判别及其哈斯图的画法;会求偏序集中给定集合的极大元、极小元、上(下)界、上(下)确界、最大(小)元。 主要内容: 1.集合的基本概念及其运算 2.序偶与笛卡尔积 3.关系及其表示 4.关系的性质及其判定方法 5.复合关系与逆关系 6.关系的闭包运算 7.等价关系与相容关系 8.偏序关系 重点: 1.关系的性质及其判别; 2.关系的复合运算及其性质; 3.等价关系与等价类、等价关系与集合的划分的联系; 4.偏序关系判别及其哈斯图的画法、偏序集中特异位置元素的理解。 难点: 1.关系的传递性及其判别; 2.等价关系的特性; 3.偏序关系的哈斯图的画法;偏序集中特异位置元素的求法。 教学手段: 通过多个实例的精讲帮助同学理解重点与难点的内容,并通过大量的练习使同学们巩固与掌握关系的性质及其判别、关系的复合运算及其性质、等价关系的特性、偏序关系的哈斯图的画法及偏序集中特异位置元素的求法。 习题: 习题3、1:4,6;习题3、2:3(8),4(12),6(m);习题3、4:1 (2)、(4),3;习题3、5:1,4;习题3、6:2,5,6;习题3、7:2,5,6;习题3、8:1(1)-(6);习题3、9:3(2)、(4),4(3);习题3、10:1 ,4,5。

(完整版)人教版二年级数学下册教学设计

人教版二年级数学下册教学设计 第一单元数据收集整理 单元教学内容: 义务教育教科书人教版数学最新教材二年级下册《数据收集整理》第2~6 页 单元教材分析: 本单元学生主要学习一些简单的统计图表知识。初步体验数据的收集、整理、描述和分析的过程,学会用简单的方法收集和整理数据,掌握统计数据的记录方法,并能根据统计图表的数据提出并回答简单的问题。使学生了解统计的意义和作用,初步了解统计的基本思想方法,认识统计的作用和意义,逐步形成统计观念,进而养成尊重事实、用数据说话的态度教学目标: 【知识技能】:使学生经历数据的收集、整理、描述和分析的过程能利用统计表的数据提出问题并回答问题。 【数学思考】:了解统计的意义,学会用简单的方法收集和整理数据。 【问题解决】:能根据统计图表中的数据提出并回答简单的问题,并能够进行简单的分 析 【情感态度】:通过对周围现实生活中有关事例的调查,激发学生的学习兴趣,培养学生的合作意识和创新精神。 教学重点: 使学生初步认识简单的统计过程,能根据统计表中的数据提出问题、回答问题,同时能够进行简单的分析。 教学难点: 使学生亲历统计的过程,在统计中发展数学思考,提高学生解决问题的能力。 课时安排:3 课时 1.数据收集整理............... 2 课时 2.练习..................... 1课时 教学设计: 第一课时:收集数据、认识简单的统计表 教学内容:教材第2页的例1 和练习一的第1、2小题教学目标: 1、让学生经历数据的收集、整理、分析和做出判断的过程,体会统计的必要性;

2、认识简单的统计表,能根据统计表回答一些简单的问题; 3、学会与他人合作,积累解决问题的经验,体会数学与生活的密切联系教学重点:学会收集数据,认识简单的统计表教学难点:能根据统计表回答一些简单的问题教学过程: 一、创设情境 引入新课师:同学们,新的学期开始了,学校要给同学们定做校服。有下面4 种颜色,出示例1 中的四种颜色,选哪种颜色合适呢? 生:选大多数同学喜欢的颜色师:怎么知道哪种颜色是大多数同学最喜欢的呢? 生:可以在全校的同学们中去调查一下生:全校学生有那么多,怎样调查呢?生:我觉得可以先在班里进行调查 生:还可以现在组内进行调查师:你们真聪明,你们刚才说的调查,其实也就是进行统计。 揭示课题:统计要统计出喜欢每种颜色的学生人数,首先要进行数据的收集过程。下面我们就一起来调查喜欢每种颜色的学生人数。 二、亲历统计过程体会收集数据的形式和过程 1、收集数据师:在这四种颜色中,你最喜欢哪种颜色?为什么?师:要想知道喜欢哪种颜色的同学最多?我们应该怎样调查呢?生:自由发言师:我们可以采用举手、起立、画"√" 、" ○"作记号等很多方式来收集数据,但是这些方式中举手既快速又简捷,下面我们就用举手的方式来进行调查,请听规则:每个人只能选一种颜色,每当老师说出一种颜色时。喜欢这种颜色的同学就举手,好吗?一个人能选两种颜色或不选吗? 生:不能师:为什么? 生:如果选一种以上就重复了,而不选又遗漏了。师:是呀,收集数据有很多不同的方式,但是无论采用哪种方式调查。都要做到不重复、不遗漏,也就是说你只能选择一次,那好。现在我们开始举手调查 2 、整理数据 师:刚才同学们已经通过举手这种方式选出了自己喜欢的颜色了。老师也知道了,但是负责定制校服的领导还不知道,那该怎么办呢? 生: 自由发言 师:你们真会想办法,那我们现在再举一次手。在这张表中统计出喜欢每种颜色的人数,好吗?

清华大学-计算机专业-培养计划

一、培养目标 信息科学技术学院(以下简称信息学院)本科培养方案面向电子信息科学与技术、计算机科学与技术、自动化、微电子学、示范性软件学院的计算机软件等五个专业,从2003级开始实行多学科交叉背景下、通识教育基础上的宽口径专业教育,构建具有各专业共性基础的学院平台课程体系以及具有一定特长的专业核心课程体系,强调对学生进行基本理论、基础知识、基本能力(技能)以及健全人格、综合素质和创新精神培养,为学生提供增强基础、选择专业的机制,培养基础厚、专业面宽、具有自主学习能力的复合型人才。 从2011级开始,信息学院对培养方案进行了全面修订,进一步将学科交叉范围扩大到专业核心课程体系,为学生提供更加灵活的选课机制和更加宽广的专业空间;并将继续深入研究和不断改进课程内容和教学方法,加强实践环节,更好地培养适应时代要求的信息科学技术专业人才。 信息学院致力于为学生全面参与教育教学、科学研究、文化艺术、社会服务等活动创造条件,提倡学生在参与中发现自己的能力和兴趣,最大限度地发展自己的智力和潜能,鼓励学生敢于面对挑战、不断探索、努力创造、追求卓越,并提供一种基础和环境,促使学生养成独立工作的能力和终身学习的习惯。 二、基本要求 信息学院各专业通过各种教育教学活动发展学生个性,培养学生具有健全人格;具有成为高素质、高层次、多样化、创造性人才所具备的人文精神以及人文、社科方面的背景知识;具有国际化视野;具有创新精神;具有提出、解决带有挑战性问题的能力。具有进行有效的交流与团队合作的能力;在信息科学技术领域掌握扎实的基础理论、相关领域基础理论和专门知识及基本技能,具有在相关领域跟踪、发展新理论、新知识、新技术的能力,能从事相关领域的科学研究、技术开发、教育和管理等工作。 电子信息科学与技术专业的本科生运用所掌握的理论知识和技能,从事信号获取、处理和应用,通信及系统和网络,模拟及数字集成电路设计和应用,微波及电磁技术理论、信号与信息处理的新型电子材料、器件和系统,包括信息光电子和光子器件、微纳电子器件、微光机电系统、大规模集成电路和电子信息系统芯片的理论和应用等方面的科研、开发与教育工作。 微电子学专业的本科生运用所掌握的理论知识和技能,从事大规模模拟及数字集成电路设计和应用,工艺开发,EDA工具开发,新型电子材料、微纳电子器件和系统,量子信息和电子信息系统的理论和应用等方面的科研、开发与教育工作。培养基础扎实,创新能力突出,有国际视野的微纳电子专业人才。 计算机科学与技术专业的本科生运用所掌握的理论知识和技能,从事计算机科学理论、计算机系统结构、计算机网络、计算机软件及计算机应用技术等方面的科研、开发与教育工作。 自动化专业的本科生运用所掌握的理论知识和技能,从事国民经济、国防和科研各部门的运动控制、过程控制、机器人智能控制、导航制导与控制,现代集成制造系统、模式识别与智能系统、生物信息学、人工智能与神经网络、系统工程理论与实践、新型传感器、电子与自动检测系统、复杂网络与计算机应用系统等领域的科学研究、技术开发、教育及管理等工作。 计算机软件专业的本科毕业生应该具备扎实的软件理论和软件工程专业基础知识,具有良好的工具使用与实验能力、软件分析与开发能力、过程控制与管理能力、团队协作与沟通能力。 三、学制与学位授予

离散数学教案

学习目标: 1.深刻理解序偶、笛卡尔积、关系、集合的划分与覆盖、等价关系、等价类、商集、相容关系、(最大)相容类、偏序关系、极大元、极小元、上(下)界、上(下)确界、最大(小)元、全序关系、良序关系等概念; 2.掌握集合的交、并、差、补、对称差的运算及其运算规律; 3.掌握关系的交、并、逆、复合运算、闭包运算及其性质; 4.掌握关系的矩阵表示和关系图; 5.深刻理解关系的自反性、反自反性、对称性、反对称性和传递性,掌握其判别方法; 6.掌握集合的覆盖与划分的联系与区别; 7.掌握偏序关系的判别及其哈斯图的画法;会求偏序集中给定集合的极大元、极小元、上(下)界、上(下)确界、最大(小)元。 主要内容: 1.集合的基本概念及其运算 2.序偶与笛卡尔积 3.关系及其表示 4.关系的性质及其判定方法 5.复合关系和逆关系 6.关系的闭包运算 7.等价关系与相容关系 8.偏序关系 重点: 1.关系的性质及其判别; 2.关系的复合运算及其性质; 3.等价关系与等价类、等价关系与集合的划分的联系; 4.偏序关系判别及其哈斯图的画法、偏序集中特异位置元素的理解。 难点: 1.关系的传递性及其判别; 2.等价关系的特性; 3.偏序关系的哈斯图的画法;偏序集中特异位置元素的求法。 教学手段: 通过多个实例的精讲帮助同学理解重点和难点的内容,并通过大量的练习使同学们巩固和掌握关系的性质及其判别、关系的复合运算及其性质、等价关系的特性、偏序关系的哈斯图的画法及偏序集中特异位置元素的求法。 习题:

习题 3.1:4,6;习题 3.2:3(8),4(12),6(m );习题 3.4:1 (2)、 (4),3;习题 3.5:1,4;习题 3.6:2,5,6;习题 3.7:2,5,6;习题 3.8:1(1)-(6);习题3.9:3(2)、(4),4(3);习题3.10:1 ,4,5。 3.1 集合的基本概念 集合(set)(或称为集)是数学中的一个最基本的概念。所谓集合,就是指具有共同性质的或适合一定条件的事物的全体,组成集合的这些“事物”称为集合的元素。 集合常用大写字母表示,集合的元素常用小写字母表示。若A 是集合,a 是A 的元素,则称a 属于A ,记作a A ∈;若a 不是A 的元素,则称a 不属于A ,记作。若组成集合的元素个数是有限的,则称该集合为有限集(Finite Set),否则称为无限集(Infinite Set)。 常见集合专用字符的约定: N —自然数集合(非负整数 集) I (或Z )—整数集合(I +,I -) Q —有理数集合(Q +,Q -) R —实数集合(R +,R -) F —分数集合(F +,F -) 脚标+和-是对正、负的区分 C —复数集合 P —素数集合 O —奇数集合 E —偶数集合 幂集 定义 3.1.1 对于每一个集合A ,由A 的所有子集组成的集合,称为集合A 的幂集(Power Set),记为 ()P A 或2A .即(){}P A B B A =?。 例如:{,,}A a b c =, (){,{},{},{},{,},{,},{,},{,,}}P A a b c a b b c a c a b c φ=。 定理3.1.1 如果有限集A 有n 个元素,则其幂集()P A 有2n 个元素。 证明 A 的所有由k 个元素组成的子集数为从n 个元素中取k 个的组合数。 (1)(2)(1)! k n n n n n k C k ---+= L 另外,因A φ?,故()P A 的元素个数N 可表示为 1 201n k n k n n n n n k N C C C C C ==++++++=∑L L 又因 0()n n k k n k n k x y C x y -=+= ∑ 令 1x y == 得 02n n k n k C ==∑ 故()P A 的元素个数是2n 。 人们常常给有限集A 的子集编码,用以表示A 的幂集的各个元素。具体方法是: 设12{,,,}n A a a a =L ,则A 子集B 按照含i a 记1、不含i a 记0(1,2,,)i n =L 的规定

小学二年级趣味数学教案设计

二年级趣味数学活动设计 快乐运算 青岛华侨国际小学袁蓉蓉 活动目标: 1、通过独立思考,初步培养学生的逻辑维能力。 2、通过有趣的数学题,引起学生对数学的兴趣,开发学生智 力、提高学生探究问题的积极性,从而提高学生的逻辑思考能力。 3、学生通过练习掌握一定的数学方法,并体验到学习数学的 乐趣。 活动重点与难点: 通过解答例题引导学生思维方向,让学生学会善于思考。 活动过程: 一、数学故事: 师:今天,老师给同学们带来一个非常有趣的故事,大家想听吗?生:想?! 出示《小狐狸的故事》:从前,山上住着一只粗心的小狐狸。这一天,妈妈让它背着8块马铃薯到外婆家去。一接到这个任务,小狐狸高兴得一蹦三尺高,马上背起马铃薯出发了。一路上,它哼着歌往前走。可是,走着走着,小狐狸觉得有点不对劲,怎么越背越轻了。它赶紧停下脚步,打开袋子一看,怎么只剩下3块

马铃薯了?原来,小狐狸背的袋子破了一个洞,马铃薯就从这个破洞掉下去的。后来,小狐狸到了外婆家。小朋友,你能猜猜看,小狐狸可能背了几块马铃薯到外婆家呢? 生:0块,小狐狸很粗心继续往前走,马铃薯都丢光了。 生:3块,小狐狸绑好破洞,带着剩下的马铃薯到了外婆家。生:8块,小狐狸绑好了破洞,又回去捡丢掉的5块马铃薯。生:6块,小狐狸捡回3块,还有2块被小兔捡走了。 生:5块,小狐狸在路上碰到一只饿了的小狗,就送给它3块。师:刚才几个同学说的都有道理,其实如果从不同角度去想,用多种角度去思考问题,还可以说出更多、更精彩的原因。同学们,你们认为像这样从多种角度来想问题,有趣吗? 师:这节课就让我们都来开动脑筋,从多种角度去想问题(板书课题)

离散数学复习题

选择题 1.设P :他在听音乐,Q :他学习,将命题“他在学习或在听音乐”符号化正确的是( ) A.P →Q B.P ∧Q C.P ∨Q D.Q →?P 2.下列命题公式不是.. 永真式的是( ) A.()P Q P →→ B.()P Q →∨P C.P ?∨()Q P → D.()P Q P →→ 3.下列等价式正确的是( ) A.()()()()x A x x A x ????? B.()()()(())A x B x x A B x →???→ C.()(())()()x A x B x A x B ?→??→ D.()(())()()x A x B x A x B ?→??→ 4.设A(x):x 是鸟,B(x):x 会飞,命题“有的鸟不会飞”符号化为( ) A.()(()x A x ??∧())B x B.()(()x A x ??∧())B x C.()(()())x A x B x ??→ D.()(()())x A x B x ??→ 5.设X ={,{},{,}}a a ??,则下列陈述正确的是( ) A.a X ∈ B.{,}a X ?? C.{{,}}a X ?? D.{}X ?∈ 6.设A B B = ,则有( ) A.A B A = B.A B -=? C.A B B = D.A B ? 7.设A ={a ,{b , c }},则其幂集P (A )的元素总个数为( ) A.3 B.4 C.6 D.8 8.在整数集Z 上,下列定义的运算满足结合律的是( ) A.1a b b *=+ B.1a b a *=- C.1a b ab *=- D.1a b a b *=++ 9.设是群,则下列陈述不正确... 的是( ) A.11()a a --= B.111()ab a b ---= C.n m n m a a a += D.11()n n a ba a b a --= 10.设:,:f X Y g Y Z →→是函数,则下列陈述正确的是( ) A.若f 不是入射的,则g f 不是入射的 B.若g 是入射的,则g f 也是入射的 C.若f 是入射的,则g f 也是入射的 D.若g f 不是入射的,则f 也不是入射的 11.设简单图G 所有结点的度数之和为36,由G 的边数为( ) A.6 B.9 C.12 D.18

最新人教版二年级数学下册的教案设计(全册)

二年级数学下册教学进度

教学计划 一、本学期教学的指导思想 1、重视以学生的已有经验知识的生活经验为基础,提供学生熟悉的具体情景,以帮助学生理解数学知识。 2、增加联系实际的内容,为学生了解现实生活中的数学,感受数学与日常生活的密切联系。 3、注意选取富有儿童情趣的学习素材和活动内容,激发学生的学习兴趣,获得愉悦的数学学习体验。 4、重视引导学生自主探索,合作交流学习方式,让学生在合作交流与自主探索的气氛中学习。 5、把握教学要求,促进学生发展适当改进评价学生的方法。 二、教材分析 本册教材包括下面一些内容:数据收集整理、表内除法、图形的运动、混合运算、有余数的除法、万以内数的认识、克和千克、数学广角——推理、总复习等。 三、教学目标: 1、了解统计的意义,体验数据的收集、整理、描述和分析的过程;会用简单的方法收集和整理数据,认识条形统计图和简单的复式统计表;能根据统计图表中的数据提出并回答简单的问题,并能进行简单的分析。 2、知道除法的含义,除法算式中各部分的名称,乘法和除法的关系;能够熟练地用乘法口诀求商。 3、认识轴对称、平移和旋转,剪一剪等。帮助学生建立空间观念。培养学生的空间想象能力。 4、使学生经历把平均分后有剩余的现象抽象为有余数除法的过程,初步理解有余数除法的含义。 5、结合生活实际,体会生活中有大数。感受学习大数的必要性,经历数数的过程,能认识万以内的数,结合实际物体知道这些数的组成与分解。 6、认识生活中常见的秤。在实践活动中感知1克、1千克的物体有多重,了解克、千克的实际意义及1千克=1000克。

7、通过一系列的猜测、比较、推理等活动,使学生感受简单推理的过程,找出简单事物的排列数与组合数。 四、情感态度: 1、通过对周围现实生活中有关事例的调查,激发学生的学习兴趣,培养学生的合作和创新精神。 2、培养学生认真观察,独立思考等良好的学习习惯。 3、通过观察操作活动,发展学生的空间观念,培养学生的观察能力和动手能力,学会欣赏数学美。 4、让学生在学习中体验到成功的喜悦,增强学生学好数学家的信心。 5、使学生在解决实际问题的过程中,培养学习兴趣和敢于探索的科学精神。训练学生养成认真审题,仔细验算的良好习惯。 6、进一步学习用具体的数学描述生活中的事物,经历与他人交流活动,培养学习数学的兴趣和自信心。 五、教学措施: 1、从整体上把握教学目标。不光凭经验,过去看样提,现在也怎样提;也不能搬课本,凡是课本上有的内容,都不作统一的教学要求,而应该根据教学指导纲要,结合教学进行适当的调整。 2、要尊重学生,注重学法渗透。在学习中,不包办代替和以讲代学,把课堂中更多的时间留给学生探索,交流和练习。 3、注意培养学生的数学概括能力和逻辑思维能力。重视学生获取知识的思维过程。 4、注重培养学生的计算能力和解答应用题的能力。鼓励学生动用所学的知识解答日常生活和学习中的简单实际问题。激发学生的兴趣,培养学以致用的意识。 5、注意教学的开放性,培养学生的创新意识和实践能力。课本中的一些例题和习题的编排突出思考过程。在教学时,引导学生暴露思维过程,鼓励学生多角度思考问题。 6、渗透德育,注重培养学生良好的学习习惯和独立思考克服困难的精神。

人教版小学二年级数学教学设计

教案示例一 教学目标: 1.创设真实有趣的教学情景,引导学生用探索的方式学好2的乘法口诀. 2.让学生在探索的过程中体验规律,经历编写的过程. 3.要注意课堂气氛,组织好活动,激发学生学习数学的兴趣. 教学重点:创设真实有趣的教学情景,引导学生用探索的方式学好2的乘法口诀. 教学难点:让学生在探索的过程中体验规律,经历编写的过程. 教学过程: 活动一:放筷子 1.我们每个小组都是一个小小家庭,每张桌子上都有一个圆片当碗,小棒当筷子,每人给大家放一次筷子,比一比哪组放的快?每放一次,其他同学都算算一共有几根筷子? 2.两组合并组织一个新家庭,每人给大家放一次筷子,比一比哪组放的快?每放一次,其他同学都算一下一共有几根筷子? 3.填一填. 活动二:探索2的乘法口诀 (黑板上竖放着主题图,对应着9道整齐的乘法算式.) 师:刚才,我们根据放筷子活动整理出了这9个乘法算式.看着这些算式,你有什么想法? 生:他们的得数很有趣,我很想记熟这些得数. 师:你能连算式也记住吗? 生:(摇摇头)那就难多了. 师:好,咱们一起来解决这个问题吧.自己先动脑想一想,然后各小组商量商量,看谁有好 办法记住这些算式和得数.

(各小组认真讨论) 生1:多读一读,读的遍数多了就记住了. (学生议论:太费劲,太麻烦.) 生2:想着图来记....... 生3:根据乘法的意义来记.一个二等于二,二个二等于四,三个二等于六...... 师:如果说的简单一点呢? 生4:可以说成:想5的乘法口诀......这样记,我们觉得挺方便....... 师:大家的讨论很精彩,我也很受启发.现在提个建议供给大家研究:一二得二,二二得四,二三得六 …… 活动三:对口令(15页练习1题) 1.我说二三、谁跟我对:生:得六 2.二九十八谁跟我对乘法算式:2×9=18 或9×2=18 3.师生对练同伴对练小组选代表对练 男女生对练 活动四:比一比谁画圈画得最快.(15页练习2题) 1.生独立完成. 2.小组交流你是怎么想的?为什么这样填写. 3.观察我们圈出的数有什么特点? 注意:可以告诉学生圈出的数都是双数,其余都是单数. 活动五:看图列式(15页练习5题) 1.学生独立完成. 2.与小组交流你是怎么想的?为什么这样填写.

最新离散数学(屈婉玲)答案

第一章部分课后习题参考答案 16 设p、q的真值为0;r、s的真值为1,求下列各命题公式的真值。 (1)p∨(q∧r)?0∨(0∧1) ?0 (2)(p?r)∧(﹁q∨s) ?(0?1)∧(1∨1) ?0∧1?0. (3)(?p∧?q∧r)?(p∧q∧﹁r) ?(1∧1∧1)? (0∧0∧0)?0 (4)(?r∧s)→(p∧?q) ?(0∧1)→(1∧0) ?0→0?1 17.判断下面一段论述是否为真:“π是无理数。并且,如果3是无理数,则2也是无理数。另外6能被2整除,6才能被4整除。” 答:p: π是无理数 1 q: 3是无理数0 r: 2是无理数 1 s:6能被2整除 1 t: 6能被4整除0 命题符号化为:p∧(q→r)∧(t→s)的真值为1,所以这一段的论述为真。19.用真值表判断下列公式的类型: (4)(p→q) →(?q→?p) (5)(p∧r) ?(?p∧?q) (6)((p→q) ∧(q→r)) →(p→r) 答:(4) p q p→q ?q ?p ?q→?p (p→q)→(?q→?p) 0 0 1 1 1 1 1 0 1 1 0 1 1 1 1 0 0 1 0 0 1 1 1 1 0 0 1 1 所以公式类型为永真式//最后一列全为1 (5)公式类型为可满足式(方法如上例)//最后一列至少有一个1 (6)公式类型为永真式(方法如上例)// 第二章部分课后习题参考答案 3.用等值演算法判断下列公式的类型,对不是重言式的可满足式,再用真值表法求出成真赋值.

(1) ?(p∧q→q) (2)(p→(p∨q))∨(p→r) (3)(p∨q)→(p∧r) 答:(2)(p→(p∨q))∨(p→r)?(?p∨(p∨q))∨(?p∨r)??p∨p∨q∨r?1所以公式类型为永真式 (3)P q r p∨q p∧r (p∨q)→(p∧r) 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 1 0 0 0 1 1 1 0 0 1 0 0 1 0 0 1 0 1 1 1 1 1 1 0 1 0 0 1 1 1 1 1 1 所以公式类型为可满足式 4.用等值演算法证明下面等值式: (2)(p→q)∧(p→r)?(p→(q∧r)) (4)(p∧?q)∨(?p∧q)?(p∨q) ∧?(p∧q) 证明(2)(p→q)∧(p→r) ? (?p∨q)∧(?p∨r) ??p∨(q∧r)) ?p→(q∧r) (4)(p∧?q)∨(?p∧q)?(p∨(?p∧q)) ∧(?q∨(?p∧q) ?(p∨?p)∧(p∨q)∧(?q∨?p) ∧(?q∨q) ?1∧(p∨q)∧?(p∧q)∧1 ?(p∨q)∧?(p∧q) 5.求下列公式的主析取范式与主合取范式,并求成真赋值 (1)(?p→q)→(?q∨p) (2)?(p→q)∧q∧r (3)(p∨(q∧r))→(p∨q∨r) 解: (1)主析取范式 (?p→q)→(?q∨p)

清华大学计算机系培养方案一

清华大学计算机系培养方案一

信息科学技术学院 本科指导性教学计划 第一年 课程编号课程名称学分周学时考核方式说明及主要先修课 12090043 军事理论与技能训练3 3 考查 秋季学期 课程编号课程名称学分周学时考核方式说明及主要先修课 107 1 体育(1) 1 2 考查 10610183 思想道德修养与法律基础3 2 考查 10640532 英语(1) 2 2 考查 10420874 一元微积分 4 4 考试 10420904 几何与代数(1) 4 4 考试 0412 工程图学基础 2 2 考试 2选1 20240023 离散数学(2) 3 3 考试 程序设计课组 3 3 考试选1门,详见附录2 30210041 信息科学技术概论 1 1 考查 文化素质选修课≥1 1

合计≥21 注:计算机科学与技术专业必修“离散数学(2)”,其它专业必修“工程图学基础”。 春季学期 课程编号课程名称学分周学时考核方式说明及主要先修课 107 1 体育(2) 1 2 考查 10610193 中国近现代史纲要 3 2 考试 10640682 英语(2) 2 2 考查 10420884 多元微积分 4 4 考试先修一元微积分 10421002 几何与代数(2) 2 2 考试 大学物理课组1 4 4 考试先修一元微积分 20220214 电路原理 4 4 考试 20220221 电路原理实验 1 1 考查 合计≥21 夏季学期 课程编号课程名称学分周学时考核方式说明及 主要先修课 - 3 -

- 4 - 21510192 电子工艺实习(集中) 2 考查 2周 程序训练课组 2 考查 3周 合计: 4 第二年 秋季学期 课程编号 课程名称 学分 周学时 考核方式 说明及 主要先修课 107 1 体育(3) 1 2 考查 10610204 马克思主义基本原理 4 3 考试 10420892 高等微积分B 2 2 考试 10420252 复变函数引论 2 2 考试 304 3 复分析 3 3 考试 大学物理课组2 4 4 考试 见附录2 10430782 物理实验A(1) 2 2 考查 10430801 物理实验B(1) 1 1 考查 电子基础课组1 3 3 考试 电子基础课组2 3 3 考试 21550012 电子技术实验 2 2 考查 文化素质选修课 ≥1 2 10420262 数理方程引论 2 2 考查 20240013 离散数学(1) 3 3 考试 3选1 选1门,详见2选1,大学 2选1,一元微

离散数学教案范本

《离散数学》教案 课目:第一章命题逻辑 教师:熊建英 学时: 12课时

Ⅰ教学提要 一、教学对象(人数) 学生:信息安全专业本科二年级学生50人 二、教学目标(任务) 各小结中知识点掌握程度(* 理解;** 基本掌握;***熟练掌握) 三、教学要求 (一)学生:着重知识点的学习,积极思考,参与提问。 (二)教官:严格纪律,严密组织、保持良好教学秩序,确保教学效果。 四、教官分工 主讲教师1名:负责教案编写,课堂的组织教学,教学总结编写。

五、本章重点 1、利用联接词构造复合命题公式 2、真值表的构建 3、等值演算 4、复合命题公式转化为主析取范式、主合取范式的方法 5、推理证明 六、本章难点 1、利用命题公式演算、真值表进行等值判断和公式类型判断 2、利用命题公式演算、真值表转化主析取范式、主合取范式 3、将现实背景下的条件约束构造为命题公式 七、教学方法 采用课堂教授,主要使用多媒体课件,部分内容及例题用黑板解释。 八、课时分配 1.1 命题及联接词2课时; 1.2 命题公式及其赋值2课时; 1.3 等值式2课时; 1.4 析取范式与合取范式2课时; 1.5 推理理论与消解法2课时; 1.6 命题逻辑应用案例2课时; 九、场地器材 多媒体教室 十、参考书目 1、杨圣洪、张英杰、陈义明:《离散数学》,科学出版社,2011年。 2、屈婉玲、耿素云、张立昂:《离散数学》,高等教育出版社,2008年。 3、屈婉玲、耿素云、张立昂:《离散数学学习指导与习题解析》,高等教育出版社,2008年。

Ⅱ教学进程 1.1 命题及联接词(2课时) 一、教学内容 1、命题的概念表示与分类 2、五种基本的联接词的逻辑关系 3、复合命题的符号化 4、复合命题的真值判断 二、课程时间安排 1、首先介绍本课程的性质,任务和教学安排,对学生明确提出教学上的要求(10分钟) 2、介绍离散数学学科的发展历史(20分钟) 3、命题与真值、命题的分类、简单命题符号化(15分钟) 4、联结词与复合命题(35分钟) 5、本次课小结(10分钟) 三、教学实施 (一)创设意境、导入课程(10分钟) 目的 体会离散数学理论在现实生活中的应用、是计算机专业多门核心课程的基础,让学生明白“离散数学”课程作用和意义。 1、从生活应用中理解逻辑推理作用,及离散数学学习意义; 如:犯罪推理、电路设计、人事安排的最优方案、网络中最优路径等; (1)逻辑推理问题范例(PPT展示一个犯罪推理案例) (2)离散数学是一门可以对逻辑推理规律建立相应的符号运算系统,解决此类问题的科学。 2、离散数学与其他专业课程的联系; (1) 涉及多门计算机专业中很多专业课程,如:编程语言、数据结构、操作系统、数据数据加密。

相关文档
最新文档