在自然推理系统P中构造下面推理的证明。
(1)如果今天是星期六,我们就要到颐和园或圆明园去玩,如果颐和园游人太多,我们就不去颐和园玩,今天是星期六,颐和园游人太多,所以我们去圆明园玩。
(2)如果小王是理科学生,他的数学成绩一定很好,如果小王不是文科生,他必是理科生,小王的数学成绩不好所以小王是文科学生
(3)明天是晴天,或是雨天;若明天是晴天,我就去看电影;若我看电影,我就不看书,所以,如果我看书,则明天是雨天
文法GIE]是LL(1)文法:
其中E,F,E',F'为非终结符。
对文法G[E]构造递归下降分析程序。
A.很少有人会在机场的计时停车区内一次停车超过2小时。
B.在过去的几年内,机场运营其计时停车设备的成本要高于从中获得的收入。
C.在机场进行短途旅行的人通常把车停在按天计费而非按时计费的停车区内。
D.用来运营机场停车区的资金很大一部分被用来维护设备而不是支付收取停车费的职工工资。
E.机场的计时停车区最近被扩展了,所以很少能发挥全部容量。
设mc(x)是一致的75%正确的蒙特卡罗算法,考虑下面的算法:
(1)试证明上述算法mc3(x)是一致的27/32正确的算法,因此是84%正确的
(2)试证明如果me(x)不是一致的,则mc3(x)的正确率有可能低于71%.
A.它没有提供一个能解决建设网络所遇的困境的方法。
B.它没有证明创建一个超级计算机网络作为一个国际网络是不可能的。
C.它没有说明如果是政府,而不是企业或大学提供建设网络的费用时,谁将来维护该网络。
D.它忽视了企业或大学或它们两者可以合作建设网络的可能性。
考虑蕴含式
(a)证明它不是有效的。
(b)下面是一个论证,企图证明上式有效,试找出其不正确之处。
什么角色,在手机钉钉通讯录中,看到的公司架构右侧的按钮是“管理”而不是“邀请”
1)此人为:主管理员
2)此人为:子管理员
3)此人为:负责人
4)此人为:员工
设f(x,y)定义在D={0≤x≤1,0≤x≤1}上.
其中qx表示有理数x成既约分数后的分母.证明f(x,y)在D上的二重积分存在而两个累次积分不存在.