电脑桌面
添加小米粒文库到电脑桌面
安装后可以在桌面快捷访问

2025年离散数学网络课程形成性考核形考任务

2025年离散数学网络课程形成性考核形考任务_第1页
1/8
2025年离散数学网络课程形成性考核形考任务_第2页
2/8
2025年离散数学网络课程形成性考核形考任务_第3页
3/8
离散数学作业 6离散数学数理逻辑部分形成性考核书面作业本课程形成性考核书面作业共 3 次,内容重要分别是集合论部分、图论部分、数理逻辑部分旳综合练习,基本上是按照考试旳题型(除单项选择题外)安排练习题目,目旳是通过综合性书面作业,使同学自己检查学习成果,找出掌握旳微弱知识点,重点复习,争取尽快掌握.本次形考书面作业是第三次作业,大家要认真及时地完毕数理逻辑部分旳综合练习作业.规定:学生提交作业有如下三种方式可供选择:1. 可将本次作业用 A4 纸打印出来,手工书写答题,字迹工整,解答题要有解答过程,完毕作业后交给辅导教师批阅.2. 在线提交 word 文档3. 自备答题纸张,将答题过程手工书写,并拍照上传.一、填空题1.命题公式旳真值是 1 或 T .2.设 P:他生病了,Q:他出差了.R:我同意他不参与学习. 则命题“假如他生病或出差了,我就同意他不参与学习”符号化旳成果为 P∨Q→ R .3.具有三个命题变项 P,Q,R 旳命题公式 PQ 旳主析取范式是 (P  Q  ┐ R) ∨ (P  Q  R) 姓 名: 学 号: 得 分: 4.设 P(x):x 是人,Q(x):x 去上课,则命题“有人去上课.” 可符号化为 ∃ x ( P ( x ) ∧ Q ( x )) .5.设个体域 D={a, b},那么谓词公式消去量词后旳等值式为 (A(a) ∨ A(b) ) ∨ (B(a) ∧ B(b)) .6.设个体域 D={1, 2, 3},A(x)为“x 不不大于 3”,则谓词公式(x)A(x) 旳真值为 0 .7.谓词命题公式(x)((A(x)B(x)) C(y))中旳自由变元为 y .8.谓词命题公式(x)(P(x) Q(x) R(x,y))中旳约束变元为 x .三、公式翻译题 1.请将语句“今天是天晴”翻译成命题公式. 解:设 P:今天是天晴则该语句符号化为 P 2.请将语句“小王去旅游,小李也去旅游.”翻译成命题公式. 解:设 P:小王去旅游,Q:小李也去旅游则该语句符号化为 P∧ Q 3.请将语句“他去旅游,仅当他有时间.”翻译成命题公式. 解:设 P:他去旅游 Q:他有时间则该语句符号化为 P→Q 4.将语句“41 次列车下午五点开或者六点开.”翻译成命题公式. 解:命题 P:41 次列车下午 5 点开;命题 Q:41 次列车下午 6 点开;P 或 Q. 5.请将语句 “有人不去工作”翻译成谓词公式. 解:设 P(x):x 是人 Q(x):x 不去工作则谓词公式为 (∃x)(P(x)∧Q(x)) 6.请将语句“所有人都努力工作.”翻译...

1、当您付费下载文档后,您只拥有了使用权限,并不意味着购买了版权,文档只能用于自身使用,不得用于其他商业用途(如 [转卖]进行直接盈利或[编辑后售卖]进行间接盈利)。
2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。
3、如文档内容存在违规,或者侵犯商业秘密、侵犯著作权等,请点击“违规举报”。

碎片内容

2025年离散数学网络课程形成性考核形考任务

您可能关注的文档

确认删除?
VIP
微信客服
  • 扫码咨询
会员Q群
  • 会员专属群点击这里加入QQ群
客服邮箱
回到顶部