本答案对应课程为:点我自动跳转查看
本课程起止时间为:2020-02-27到2020-06-30
本篇答案更新状态:已完结

2 数理逻辑-基本概念 单元2测验

1、 问题:5. 语句形式化:“不管你去不去,我去”(:你去,:我去)
选项:
A:
B:
C:
D:
E:
答案: 【;

2、 问题:语句的形式化:“如果买不到薯条,他什么也不吃。”(:他买到薯条,:他吃饭)
选项:
A:
B:
C:
D:
E:
答案: 【;

3、 问题:下面符号串哪个是命题公式?
选项:
A:
B:
C:
D:
E:
F:
答案: 【;
;

4、 问题:下列符号串哪个不是命题公式?
选项:
A:
B:
C:
D:
E:
F:
答案: 【;
;

5、 问题:下面哪个语句是命题?
选项:
A:我明天或后天去天津。
B:明天一定不会下雨。
C:如果买不到机票,我哪儿也不去。
D:请注意你的举止。
E:今天怎么这么堵车!
F:请问去故宫怎么走?
G:祝大家新年快乐!
答案: 【我明天或后天去天津。;
明天一定不会下雨。;
如果买不到机票,我哪儿也不去。

6、 问题:下列语句哪个不是命题?
选项:
A:再见朋友!
B:明天会下雨么?
C:
D:
E:请坐!
F:所有的人都有两只眼睛。
G:他是个可靠的人。
H:天下没有不散的筵席。
I:只要他出门,就一定要买书。
答案: 【再见朋友!;
明天会下雨么?;
;
;
请坐!

【作业】2 数理逻辑-基本概念 单元2互评作业

1、 问题:1、(5分)从互联网搜集关于排中律各方面的资料,写成报告提交,要求不少于2000字,并注明参考文献的引用信息。
评分规则: 【 评分参考:内容是否不少于2000字,引用信息是否齐全
评分参考:报告内容是否丰富
评分参考:报告格式排版是否精美

2、 问题:2、(3分)搜集一些你认为难以形式化的命题,并分析其规律。
评分规则: 【 评分参考:请评述提交作业中提到的命题和分析。

【作业】3 数理逻辑-命题逻辑及形式系统 单元3互评作业

1、 问题:1、(3分)命题逻辑和现代计算机的原理有非常密切的关系,如:2位加法器:每个端子取值0或1输入二进制数x1x2,y1y2输出二进制和f1f2以及输出进位标志f3例如:输入10,11,输出01,进位标志1其中x1=1,×2=0,y1=1,y2=1,f1(x1,x2,y1,y2)=0一个2位加法器可以看作3个4元真值函数 1.jpg问题:请写出2位加法器所有真值函数的主析取范式。作业可以附件形式上传。
评分规则: 【 评分参考:答案都不正确0分,错误较多1分,包含少量错误2分,答案都正确3分

2、 问题:2、(3分)命题逻辑和现代计算机的原理有非常密切的关系,如:2位加法器:每个端子取值0或1输入二进制数x1x2,y1y2输出二进制和f1f2以及输出进位标志f3例如:输入10,11,输出01,进位标志1其中x1=1,×2=0,y1=1,y2=1,f1(x1,x2,y1,y2)=0一个2位加法器可以看作3个4元真值函数 paa-2-2.jpgpaa-2-3.jpg问题:请画出最简洁的2位加法器,所采用的门电路最少。 注意:3个真值函数之间共享的门电路越多,整个电路就越简洁。 作业可通过附件上传。
评分规则: 【 评分参考:电路图与真值函数不匹配0分,正确但所用的门电路多余14个2分,正确且所有的门电路不超过14个3分

3 数理逻辑-命题逻辑及形式系统 单元3测验

1、 问题:下列哪个是的主析取范式?
选项:
A:
B:
C:
D:
答案: 【

2、 问题:勾选下列命题公式中的重言式
选项:
A:
B:
C:
D:
E:
答案: 【;
;

3、 问题:勾选下列所有正确的逻辑等价式
选项:
A:
B:
C:
D:
答案: 【;
;

4、 问题:下面的公式序列是的演绎序列,请勾选所有根据分离规则得出的命题公式。
选项:
A:
B:
C:
D:
E:
答案: 【;

5 集合论 单元5测验

1、 问题:设集合,其中, 则___; ___
选项:
A:;
B:;
C:;
D:;
答案: 【;

2、 问题:判断下列命题哪个为真?
选项:
A:
B:空集是任何集合的真子集
C:空集只是非空集合的子集
D:若A的一个元素属于B,则A=B
答案: 【

3、 问题:是三个集合,则下列推理正确的是
选项:
A:
B:
C:
D:
答案: 【

4、 问题:设是三个集合,其中是实数集,,则 ___
选项:
A:
B:
C:
D:
答案: 【

5、 问题:设是三个集合,其中是实数集,,则 ________ ,
选项:
A:
B:
C:
D:
答案: 【

6、 问题:设是三个集合,其中是实数集,,则 ________ ,
选项:
A:

本门课程剩余章节答案为付费内容
本文章不含期末不含主观题!!
本文章不含期末不含主观题!!
支付后可长期查看
有疑问请添加客服QQ 2356025045反馈
如遇卡顿看不了请换个浏览器即可打开
请看清楚了再购买哦,电子资源购买后不支持退款哦

   

发表回复

您的电子邮箱地址不会被公开。 必填项已用 * 标注