-
对于两个并发进程，设互斥信号量为S，当S=0时，则表示（）
A . 有一个进程进入了临界区
B . 有一个进程进入了临界区，并有多个进程等待进入
C . 没有进程进入临界区
D . 有不止一个进程进入了临界区
-
设S上建立了一个等价关系～，则什么组成的集合是S的一个划分？（）
A . 所有的元素
B . 所有的子集
C . 所有的等价类
D . 所有的元素积
-
在立井提升速度大于3m/s的提升系统内，必须设（）。
A . A、防撞梁
B . B、托罐装置
C . C、阻车器
-
设R和S是集合A上的等价关系，则R∪S一定是等价关系。
A . 正确
B . 错误
-
设～是集合S上的一个等价关系，任意a∈S，S的子集{x∈Sx～a}，称为a确定的什么？（）
A . 等价类
B . 等价转换
C . 等价积
D . 等价集
-
设“有S是P”和“有S不是P”均真，则S与P可能具有的关系是（）.
A . S真包含于P
B . S真包含P
C . 全同关系
D . 全异关系
E . 交叉关系
-
设～是集合S的一个等价关系，则所有的等价类的集合是S的一个什么？（）
A . 笛卡尔积
B . 元素
C . 子集
D . 划分
-
设R和S是A上相容关系，则（）。
A、复合关系RºS是A上的相容关系
B、R∪S是A上的相容关系
C、R∩S是A上的相容关系
D、R-S是A上的相容关系
-
设～是集合S上的一个等价关系，任意a∈S，S的子集{x∈S|x～a}，称为a确定的（）。
-
设~是集合S上的一个等价关系,任意a∈S,S的子集{x∈S|x~a},称为a确定的什么?
-
设关系 R 和 S 分别有 m 和 n 个元组，则 R × S 的元组个数是（ ）
-
设r和s分别是正规式，则有L（r|s）=L（r)|L（s)。
-
设S＝1/[(1/70) ＋(1/71) ＋(1/72) ＋(1/73) ＋(1/74)],求S的整数部分.
-
设（S, * )是半群,a∈S,在S上定义运算如下：。证明：（S,*)是半群。
设(S, * )是半群,a∈S,在S上定义运算如下：<img src='https://img2.soutiyun.com/ask/2020-07-30/964946398160387.png' />。
证明：(S,*)是半群。
-
设R是A上的关系，设，证明：如果R是等价的，则S也是等价的。
设R是A上的关系，设<img src='https://img2.soutiyun.com/ask/2020-12-18/977161935853635.jpg' />，证明：如果R是等价的，则S也是等价的。
-
设S={0，1}，*为普通乘法，则＜ S , * ＞是（）。
A．半群，但不是独异点
B．只是独异点，但不是群
C．群
D．环，但不是群
-
设集合S＝{x|（x－2)（x－3)≥0}，T＝{x|x＞0}，则S∩T＝（)
A．{x|2≤x≤3}
B．{x|x≤2或x≥3}
C．{x|x≥3}
D．{x|0＜x≤2或x≥3}
-
设R和S是集合A上的等价关系，则R∪S的对称性（）
A．一定成立
B．一定不成立
C．不一定成立
D．不可能成立
-
设数集s有上界,则数集T={x|-x∈s}有下界,且supS=-infT.
-
设s='abcde'，则s[1:3]值是'________'。
-
在立井提升速度大于3m£¯s的提升系统内，必须设（)。
A．防撞梁
B．托罐装置
C．阻车器
-
24、设G（s)H（s)=k（s+10)/（s+2)（s+5)，当k增大时，下面说法错误的是
A．闭环系统由稳定到不稳定
B．闭环系统由不稳定到稳定
C．闭环系统始终稳定
D．闭环系统始终不稳定
-
设S=QXQ，其中Q为有理数集合，定义S上的二元运算*，＜a，b＞，＜x，y＞∈S有
设S=QXQ，其中Q为有理数集合，定义S上的二元运算*，<img src='https://img2.soutiyun.com/ask/2021-01-22/980178228129238.png' />＜a，b＞，＜x，y＞∈S有
<img src='https://img2.soutiyun.com/ask/2021-01-22/980178304695617.jpg' />
-
设S={1, 1/2, 2, 1/3, 3, 1/4, 4}，*为普通乘法，则＜S，*＞是（）
A．代数系统
B．半群
C．群
D．都不是
