|
|
51CTO旗下网站
|
|
移动端

3.6 习题

《软件测试:一个软件工艺师的方法(原书第4版)》第3章面向测试人员的离散数学,本章和下一章将给出测试人员所需的数学知识。还是把测试人员类比成技艺师,此处介绍的各种数学方法就是工具,测试技师应该是知道如何用好这些工具的。本节为习题。

作者:马琳/李海峰 译来源:机械工业出版社|2017-11-15 17:52

【51CTO技术沙龙】10月27日,让我们共同探索AI场景化应用实现之道

3.6 习题

1. 集合运算符和命题逻辑中的逻辑运算符是紧密相连的(同构的),如表3-6所示。

a. 用语言来表述A ⊕ B。

b. 用语言来表述(A∪B)-(A∩B)。

c. 试证明A ⊕ B和(A∪B)-(A∩B)是相等的。

d. A ⊕ B =(A-B)∪(A-B)成立吗?

e. 在上面的表格中,应该给空格中的运算操作起什么名字?

2. 在美国很多地方,房产税的征收是要根据不同的对象来区别对待的,例如学校地区、防火地区、城镇等。试讨论对某个州来说,这些征税对象能否构成一个划分?美国的50个州是否构成了一个划分?(对华盛顿哥伦比亚特区应该如何处理?)

3. 在所有人集合上,兄弟关系是等价关系吗?同胞关系呢?


喜欢的朋友可以添加我们的微信账号:

51CTO读书频道二维码


51CTO读书频道活动讨论群:365934973

【责任编辑:book TEL:(010)68476606】

回书目   上一节   下一节
点赞 0
分享:
大家都在看
猜你喜欢

读 书 +更多

网络工程师考试考前冲刺预测卷及考点解析

本书依据最新版《网络工程师考试大纲》的考核要求,深入研究了历年网络工程师考试试题的命题风格和试题结构,对考查的知识点进行了提炼,并...

订阅51CTO邮刊

点击这里查看样刊

订阅51CTO邮刊