快捷导航
帮助中心知识拓展客服QQ 515224986
扫码加微信
2019-2020学年第一学期毕业考试《离散数学》大作业
一、简答题(每小题8分,共80分)
1、请给出集合的等幂律。
2、设A={1,2,3},求幂集合(A)。
3、请给出P,PQ,PQ的真值表。
4、请给出公式蕴涵的定义。举一个例子。
5、Skolem范式中的母式有什么特点?
6、设G是谓词逻辑公式,S是G的Skolem范式,问:S蕴涵G正确吗?G蕴涵S呢?
7、有根的有向图是否一定强连通?有向图中的根是否一定唯一?
8、Euler路一定是有向回路吗?为什么?
9、请给出4次交代群中的所有元素。
10、什么是代数格?举一例。
二、设A是m元集合,B是n元集合。问A到B共有多少个不同的二元关系?设A={a,b},B={1, 2},试写出A到B上的全部二元关系。                      (10分)
三、判断下列公式是恒真?恒假?可满足?
a) (P(QR))(P(QR));
  b) P(P(QP));
  c) (QP)(PQ);
d) (PQ)(PQ)。                                           (10分)

奥鹏易百网www.openhelp100.com专业提供网络教育各高校作业资源。

共 0 个关于本帖的回复 最后回复于 2020-1-3 15:37

您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

精彩推荐

    明星用户

    QQ|Archiver|手机版|小黑屋|www.openhelp100.com ( 冀ICP备19026749号-1 )

    GMT+8, 2024-3-29 05:38