《离散数学》试题1一、判断题(每题1分,1.在命运题逻辑中,任何命题公式的主合取范式都是存在的,并且是惟一的.( )2.011是公式 的成真赋值 ( )3.( )4.( )5.三种重要的二元关系是等价关系
来源:学生作业帮助网 编辑:六六作业网 时间:2024/12/18 17:16:14
《离散数学》试题1一、判断题(每题1分,1.在命运题逻辑中,任何命题公式的主合取范式都是存在的,并且是惟一的.( )2.011是公式 的成真赋值 ( )3.( )4.( )5.三种重要的二元关系是等价关系
《离散数学》试题1
一、判断题(每题1分,
1.在命运题逻辑中,任何命题公式的主合取范式都是存在的,并且是惟一的.( )
2.011是公式 的成真赋值 ( )
3.( )
4.( )
5.三种重要的二元关系是等价关系、偏序关系和函数关系,它们的共同特点是都具有自反性 .( )
6.设F,R都是二元关系,则(F•R)-1=F-1•R-1.( )
7.设n是任意一个正整数,则一定存在阶是n的群.( )
8.布尔代数是有界格,也是分配格.( )
9.无向完全图 (n>2)一定是哈密顿图 ( )
10.阶数至少是2 树的每一条边都是桥,因而它的
边连通度是1.( )
二、空题(每小题2分,
1.谓词公式 x(P(x,y)∧ tQ(t,z)→R(x,y,t))中量词 的辖域是
___________________.
2.设F(x):x是人,H(x,y):x与y一样高,在一阶逻辑中,命题“人都不一样高”的符号化形式为_______ ___.
3.从公式分类角度来看,它为__________式.
4.设R={,,},则R的对称闭包是 .
5.设A,B是集合,
6.< ,〉是模6加群,则它的生成元是 .2 4=
7.整数加群是循环群,其生成元是 和 .
8.设 是偏序集,如果_________ ____,则称 是(偏序)格.
9.一棵二叉树先序遍历得ABDECF,中序遍历得DBEACF,则后序遍历的结果是________________.
10.r=5,当s= 时,完全二部图 才可能存在完美匹配.
《离散数学》试题1一、判断题(每题1分,1.在命运题逻辑中,任何命题公式的主合取范式都是存在的,并且是惟一的.( )2.011是公式 的成真赋值 ( )3.( )4.( )5.三种重要的二元关系是等价关系
△ABC△DCE△FEG是三个全等的等腰三角形,底边BC,CE,EG在同一直线上,AB=根号3,BC=1,联结BF,交AC,DC,DE与P,Q,R求证:△BFG∽△EFG,并求出BF