56. 为解决CPU和主存的速度匹配问题,其实现可采用介于CPU和主存之间的 (2分.
A.光盘
B.辅存
C.cache
D.辅助软件
57. 下面推理中哪些是正确的?
Ⅰ.前提: "x(F(x.→G(x. ., $xF(x.
结论: $xG(x.
Ⅱ.前提: $xF(x.→ "y(G(y.→H(y. ., $xL(x.→ $yG(y.
结论: $x(F(x.∧L(x. .→ $yH(y.
Ⅲ.前提: $xF(x., $xG(x.
结论: $x(F(x.∧G(x. .
Ⅳ.前提: $x(F(x.ˇG(x. .
结论: "yF(y.
A.Ⅰ与Ⅱ正确
B.Ⅲ与Ⅳ正确
C.Ⅰ、Ⅱ、Ⅲ都正确
D.只有Ⅰ正确
58. 设f:R→R,f(x.=[x],其中R为实数集,[x]为小于等于x的最大整数, 下列哪个命题为真?
A.f是单射的,但不是满射的
B.f是满射的,但不是单射的
C.f是双射的
D.f既不是单射的,也不是满射的
59. 设R是集合A={a,b,c}上的二元关系,且R={<a,a>,<b,b>}, 下列命题中哪些为真?
Ⅰ.R是自反的并且是传递的
Ⅱ.R是对称的并且是反对称的
Ⅲ.R是A上的等价关系
A.只有Ⅰ
B.只有Ⅱ
C.Ⅰ和Ⅱ
D.Ⅱ和Ⅲ
60. 以2,2,3,3,1,1,1,1为顶点度数列的所有非同构的无向树的个数为 (2分.
A.4
B.5
C.6
D.8