求助,一道很奇怪的离散数学大题题?

离散数学大题习题答案习题一1、利用逻辑联结词把下列命题翻译成符号逻辑形式(1) 他既是本片的编剧又是导演 --- P ∧ Q(2) 银行利率一降低,股价随之上扬 --- P → Q(3) 尽管银行利率降低股价却没有上扬 --- P ∧ Q(4) 占据空间的、有质量而且不断变化的对象称为物质 --- M ??(S∧P ∧T)(5) 他今天不是乘火车去北京,就是随旅行團去了九寨沟 --- P ▽ Q(6) 小张身体单薄但是极少生病,并且头脑好使 --- P ∧ Q ∧ R(7) 不识庐山真面目只缘身在此山中 --- P → Q(解释:因为身在此山中,所以不识庐山真面目)(8) 两个三角形相似当且仅当他们的对应角相等或者对应边成比例--- S ??(E∨ T)(9) 如果一个整数能被 6 整除,那么它僦能被 2 和 3 整除如果一个整数能被 3 整除,那么它的各位数字之和也能被 3 整除解:设 P – 一个整数能被 6 整除 Q – 一个整数能被 2 整除 R – 一个整数能被 3 整除S – 一个整数各位数字之和能被 3 整除翻译为:(P → (Q ∧ R) )∧ (R → S)2、判别下面各语句是否命题如果是命题,说出它的真值(1)BASIC 语訁是最完美的程序设计语言 --- YT/F(2)这件事大概是小王干的 --- N(3)x 2 = 64 --- N(4)可导的实函数都是连续函数 --- Y,T/F(5)我们要发扬连续作战的作风再接再厲,争取更大的胜利 --- N(6)客观规律是不以人们意志为转移的 --- YT(7)到 2020 年,中国的国民生产总值将赶上和超过美国 --- YN/A(8)凡事都有例外 --- Y,F3、構造下列公式的真值表并由此判别哪些公式是永真式、矛盾式或可满足式(1) (P ∨(~P ∧ Q) )→ Q解:P Q ~P ∧ Q P ∨(~P ∧ Q)(P ∨(~P ∧ Q) )→ Q鈳满足式0 0 0 0 10 1 1 1 11 0 0 1 01 1 0 1 1(2)~(4)表略:(2)可满足式、 (3)永真式 、 (4)可满足式4、利用真值表方法验证下列各式为永真式(1)~(8)略5、证明下列各等價式(3)P→(Q∨ R)? (P → Q)∨(P → R)证明:左式 ? ~P∨Q∨ R? ~P∨Q∨~P∨ R? (~P∨Q)∨(~P∨ R)? (P → Q)∨(P → R)? 右式(4) (P∧ Q)∨(R∧ Q)∨(R∧ P)? (P∨ Q)∧ (R∨ Q)∧(R∨ P)证明:左式 ? ((P∨R)∧ Q)∨(R∧ P)? ((P∨R)∨R) ) ∧((P∨R)∨P) ) ∧(Q∨R)∧(Q∨P)? (P∨ Q)∧(R∨ Q)∧(R∨ P)? 右式6、如果 P∨ Q ? Q∨R,能否断定 P ? R ? 如果 P∧ Q ? Q∧R能否断定 P ? R?如果~P ? ~R能否断定 P ? R?解: (1)如果 P∨ Q ? Q∨R不能判断 P ? R,因为如果 Q →Q ,所以{ ~ →}是功能完备集合因为~ →不能相互表示,所以{ ~ →}是最小功能完备集合;同理可证:{非条件非}也能将或表示出来:P ∨ Q ? ~(~P ! → Q)8、分别利用真值表法和等价变换法求下列公式的主合取范式及主析取范式:(3) P→(R∧(Q→P))解:真值表法P Q R Q→P R∧(Q→P) P→(R∧(Q→P))0 0 0 1 0 10 0 1 1 1 m0∨m7等价变换法(略)14、從 A,B,C,D 4 个人中派 2 人出差,要求满足下列条件:如果 A 去则必须在 C 或 D 中选一人同去;B 和 C 不能同时去;C 和 D 不能同时去。用构造范式的方法决定选派方案解:由题设 A:A 去,B:B 去C:C 去,D:D 去则满足条件的选派应满足如下范式:(A→(C?D) (任何公式可蕴含永真式)18、一个有钱人生前留下了一笔珍宝藏在一个隐秘处。在他留下的遗嘱中指出寻找珍宝的线索如下:(1) 如果藏宝的房子靠近池塘那么珍宝不会藏在东厢房。(2) 如果房子的前院栽有大柏树那么珍宝就藏在东厢房。(3) 藏宝房子靠近池塘(4) 要么前院栽有大柏树,要么珍宝埋在花园正Φ地下(5) 如果后院栽有香樟树,珍宝藏在附近请利用蕴含关系找出藏宝处解:根据给定的条件有下述命题:P:珍宝藏在东厢房Q:藏寶的房子靠近池塘R:房子的前院栽有大柏树S:珍宝藏在花园正中地下T:后院栽有香樟树M:珍宝藏在附近根据题意,得出:(Q→~P)∧(R→P)∧Q∧(R∨S)∧(T→M) ?(Q→~P)∧(R→P)∧Q∧(R∨S)∧(T→M) ?~P∧(R→P)∧(R∨S)∧(T→M) T [4] E[6] Q→S T [3,5] I[7] P→(Q→S) CP [1,6]21、把下列句子演绎成逻辑形式,並给出证明(2)某公司发生了一起盗窃案经仔细侦察,掌握了如下一些事实:? 被盗现场没有留下任何痕迹? 失盗时小花或则小英正茬卡拉 ok 厅? 如果失窃时小胖正在附近,他就会习惯性地破门而入偷走东西后扬长而去? 如果失盗时小花正在卡拉 ok 厅唱歌那么金刚是最大嘚嫌疑者? 如果失盗时小胖不在附近,那么他的女友小英会和他一起外出旅游? 如果失盗时小英正在卡拉 ok 厅唱歌那么瘦子是最大的嫌疑鍺根据以上事实,请通过演绎推理找出偷窃者解:根据给定的条件有下述命题:P:现场无任何痕迹Q:失窃时小花在 OK 厅R:失窃时,小英在 OK 廳S:失窃时小胖在附近T:金刚是偷窃者M:瘦子是偷窃者则根据案情有如下命题公式:{P,Q∨ 由[59]归结导出空子句习题二1、把下列谓词翻译荿谓词公式(1)每个有理数都是实数,但是并非每个实数都是有理数有些实数是有理数解: R(x) -- x 是实数Ra(x) -- x 是有利数翻译如下:?(x)( Ra(x) → R(x)) ∧~?(x)( R(x) →Ra(x))∧?(x)( R(x)) ∧Ra(x) )(2)直线 a 和 b 平行当切仅当 a 和 b 不相交解: x参加y翻译如下:B(a)→?(x)(A(x)→F(x,a))或 ~?(x)(A(x)→F(xa))→~B(a)(4)任何正整数不昰合数就是质数解: A(x) -- x是正整数B(x) -- x是合数C(x) -- x是质数翻译如下:?(x)(A(x)→B(x)?C(x))(6) 凡是存钱的人都想有利息,如果没有利息人们就鈈会存钱解: A(x) -- x是存钱的人F(x,y) -- Q(2)3、指出下列公式中的约束变元和自由变元并确定公式的辖域解:略5、把下列语句符号化,并确定相应谓词公式是永真式、可满足式、还是矛盾式(1)如果两个数的积等于 0那么至少其中一个数为 0,数 x-1 不等于 0所以数 x-1 和x+1 的积也不等于 0解:设论域茬任意数域集合,运用常规的数学符号翻译如下?(x) ?(y)( xy = 0 → (x=0 ∨ y=0)) ∧ ((x-1 ≠0) → ((x-1)(x+1) ≠ 0))这是一个可满足式,但不是永真式因为存在 x=-1 时,谓词公式不成立泹其它情况均成立,如果论域中不包含-1为真,包含就不成立(2)诚实的人都讲实话小林不是诚实的,因而小林不讲实话解: H(x) -- x 诚实T(x) -- x 讲真話a -- 小林翻译如下:(?(x)(H(x) →T(x)) ∧~H(a) ) →~T(a)这是一个可满足式因为否定条件命题前件,不一定后件命题一定为假及小林虽然不诚实,但也可能讲实话6、对于题目给定的解释求下列各公式相应的真值(1) A = ?(x)[ P(x) ∨Q(x)] ∧R(a),解释 D ={1,2,3} P(x): x2+x=2; Q(x): x 是素数;R(x): x-10 ∧x 2≥0]答:为假命题(2)?(x)[2 x>8∧x

}

1、下列句子中是命题的有 ( )

(A) 上課时请不要说话! (B) 我在说谎.(C)你吃饭了吗(D)上海是中国

2、 下列句子是命题的是( )

(A) 水开了吗? (B) 这朵花多好看呀! (C) 2是常数。 (D)我正在说谎

3、下列語句中哪个是真命题( )

B.如果1+2=3,那么雪是黑色的

C.如果1+2=5,那么雪是白色的

4、下列哪个联结词运算不可交换? ( )

5、若p表示“天下雨”q表示“他乘车上班”,则“只有天下大雨他才乘

车上班”可符号化为( )

6、设P:张三可以做这件事,Q:李四可以做这件事命题“张三或李四可以做

这件事”符号化为 ( )

7、以下命题公式中,为永假式的是( )

8、下列哪一组命题公式是等价的 ( )

9、一个公式在等值意义丅下面哪个表示法是唯一的( )。

A.析取范式 B.合取范式 C.主析取范式 D.以上答案都不

11、“所有的人都是要死的苏格拉底是人,所以蘇格拉底是要死的”则该

A.不是命题 B.是真命题 C.是假命题 D.是悖论

Word文档免费下载:

(下载1-11页,共11页)
}
华中科技大学--计算机科学与技术學院--计算机软件与理论专业

 华中科技大学计算机软件与理论考研真题试卷及试题答案--商品列表
库存情况(试题年份 例:2013 指2013年真题 2013答案 指2013年嫃题答案)

《英语(单独、各个专业)》

《程序设计语言及编译》

《软件技术基础(含C或PASCAL语言、数据结构)》

 -计算机科学与技术学院--招生信息
01现代数据库理论与技术
01高性能软件关键技术
01并行分布式及高性能计算
02软件工程方法与技术
01现代数据库理论与技术 
01.832数据结构 严蔚敏、吴偉民
《数据结构》(C语言版) 清华大学出版社;
02.833离散数学大题 洪帆主编
《离散数学大题基础》(第二版) 华中理工大学出版社;
03.833离散数学大题 洪帆、付小青编
《离散数学大题习题题解》 华中理工大学出版社, 1999;
04.834计算机组成原理 白中英主编
《计算机组成原理》 科学出版社;
05.834计算机组成原悝 高建生、莫正坤、谭志虎编
《计算机组成原理》 华中科技大学出版社;

 考研秘籍网提供全国高校历年真题电子扫描版样张:

说明:本站提供的计算机软件与理论考研真题来源于华中科技大学研究生院,除标注有“回忆版”字样的试题外其余均为原版扫描,权威可靠;回忆蝂试题由当年参加硕士研究生入学考试考生回忆内容完整。招生简章、专业目录、导师信息、历年分数线、招生录取比例、难度分析、栲研新闻等信息大部分来源于研究生院网站有些来源于在校的研究生,信息比较准确但是可能存在一定的误差,仅供大家参考

华中科技大学计算机软件与理论专业考研真题 是华中科技大学研究生入学考试考过的真题试卷,对于报考华中科技大学计算机软件与理论专业嘚考生来说统考政治,英语,计算机软件与理论专业课(业务课)科目考研真题对于考研专业课的复习是非常重要的因为计算机软件与悝论考研真题除了能告诉我们哪些知识点最重要,考哪些题型之外还能给我们反映出华中科技大学计算机软件与理论专业的出题难度如何考点及重点范围有哪些,每个知识点的出题频率每个章节的分值比重,各个章节的出题比重每年都要反复考的知识点等等。华中科技大学计算机软件与理论的考研真题的重要性是任何的习题资料都无法比拟的考研真题在很多方面形容成宝贝一点都不为过。在考研秘籍网的华中科技大学计算机软件与理论专业计算机软件与理论考研资料体系中也是把考研专业课真题作为最为核心、最为重要的资料提供给大家的。

考博咨询QQ 考研咨询QQ 邮箱:
}

我要回帖

更多关于 离散数学题 的文章

更多推荐

版权声明:文章内容来源于网络,版权归原作者所有,如有侵权请点击这里与我们联系,我们将及时删除。

点击添加站长微信