- 1、本文档共5页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
一、基础知识(40分)
判断下列句子是否是命题,若是命题将其符号化。(4分)
李平虽然聪明,但不用功。
除非你陪伴我或代我雇辆车子,否则我不去。
在一阶逻辑中将下列命题符号化。(4分)
任何自然数不是奇数就是偶数,偶数均能被2整除,奇数均不能被2整除。
任意实数的平方都不小于0。
求下列集合的幂集。(4分)
A={φ,{φ}}
B={{φ,a},{a}}
设f,g,h∈RR,且有f(x)=x+3,g(x)=2x+1,h(x)=x/2。
求g?g,h?f,g?h,f?h,f?h?g.(6分)
设集合A={0,1,2,3,4},定义A上的二元关系R为:
R={x,y(x,y(A((x=y(x+y(A)},请写出二元关系R的集合表达式,并判断R具有的性质。(6分)
已知图G中有10条边,4个3度顶点,其余顶点的度数均小于等于2,则G中至少有多少个顶点?(4分)
在下面各图中,哪些是欧拉图,哪些是哈密尔顿图?(4分)
设代数系统A,*,其中A={a,b,c},A上的二元运算*定义如下表:
请分析*运算的封闭性、交换性、等幂性。A中关于*是否有幺元和零元?如有幺元,每个元素是否有逆元?如有,求出逆元。(8分)
二、理解运用(30分)
证明逻辑等价式A(B( (A∧B)∨(┐A∧┐B)成立。(6分)
10. 求下列命题公式的主析取范式和所有成假赋值。
(6分)
11. 求谓词公式的前束范式。(6分)
令A={1,2,3,4,5,6}, 画出偏序集<A,整除>的哈斯图,并求
(1)集合A的最大元、最小元、极大元和极小元;(2)集合B={2,3,6}的上界、下界、最小上界、最大下界。
三、综合能力(30分)
用推理理论证明下面结论是否有效?
如果今天是星期三,那么我有一次离散数学或数字逻辑测验。如果离散数学课老师有事,那么没有离散数学测验。今天是星期三且离散数学老师有事。所以,我有一次数字逻辑测验。(10分)
某班有25个学生,其中14人会打篮球,12人会打排球,6人会打篮球和排球,5人会打篮球和网球,还有2人会打三种球。而6个会打网球的人都会打另外一种球(指篮球或排球),求不会打这三种球的人数。(10分)
设7个字母在通信中出现的频率如下:2元前缀码。(p∨q) ( r(1分),其中p:你陪伴我,q:你代我雇车,r:我去
2.①设O(x):x是奇数,N(x):x是偶数,E(x):x是偶数,D(x):x能被2整除。则原句可符号化为:(2分)
②取论域为实数域,可设L(x,y):x小于y,f(x):x的平方。则可符号化为:
(2分)
3.①ρ(A)={φ,{φ},{{φ}},{φ,{φ}}}(2分)
②ρ(B)={ φ,{{φ,a}},{{φ}},{{φ,a},{a}}}(2分)
4. g ? g(x)=g(g(x))=2(2x+1)+1=4x+3;(1分)
h ? f(x)=h(f(x))=1/2(x+3);(1分)
g ? h(x)=g(h(x))=2·x/2+1=x+1;(1分)
f ? h(x)=f(h(x))=x/2+3;(1分)
f ? h ? g(x)=f(h(g(x)))=(2x+1)/2+3=x+7/2; (2分)
5. R=IA({0,1,1,0,0,2,2,0,0,3,3,0,0,4,4,0,1,2,2,1,1,3,3,1}
(2分)
易知,R具有自反性(2分)和对称性(2分)。
6.图G中边数m=10,由握手定理可知,G中各顶点度数之和为20,4个3度顶点占去12度,还剩8度,若其余全是2度顶点,还需要4个顶点来占用这8度,所以G至少有8个顶点。(4分)
7. (3)为欧拉图(2),(3),(4)
*运算可交换,因运算表关于主对角线对称。(1分)
*运算不等幂,因运算表主对角线有的元素与所在行列表头元素不同。(1分)
*运算有零元c,因为c所在行列中的元素都是与它相同。(1分)
*运算有幺元a,因为a所在行列中的元素依次与表头行列一致。(2分)
a和b均以自身为逆元,因为a、b所在行和列交汇处的元素为幺元。(2分)
9.A(B((A→B)∧(B→A)
((┐A∨B)∧(┐B∨A) (2分)
( (┐A∧┐B)∨(┐A∧A)∨(B∧┐B)∨(B∧A) (2分)
( (A∧B)∨(┐A∧┐B) (2分)
(注:此题证法不唯一,用其他方法也可)
10.解 公式A,则
(2分)
。A的所有成假赋值为011,100,101,110。(2分)
11. (3分)
(3分)
12.哈斯图如下:
(2分)
(1)集合A无最大元,最小元是1,极大元是4、5、6,极小元是1(2)集合B的上界是6,下界是1,最小上界是6,最大下界是1
(4分)
W(T)=18 (2分)
14.
文档评论(0)