2026年学历类自考专业(计算机应用)操作系统概论-离散数学参考题库含答案解析(5卷题答案).docxVIP

2026年学历类自考专业(计算机应用)操作系统概论-离散数学参考题库含答案解析(5卷题答案)

2026年学历类自考专业(计算机应用)操作系统概论-离散数学参考题库含答案解析(篇1)

【题干1】在离散数学中，命题逻辑公式(P→Q)的等价形式不包括以下哪一项？

【选项】A.?P∨Q；B.?Q→?P；C.P∧?Q；D.P∨?Q

【参考答案】C

【详细解析】命题逻辑中，P→Q的等价形式为?P∨Q（逆否命题为?Q→?P）。选项C(P∧?Q)是P→Q的否定形式，而非等价命题。选项D为?(P→Q)的合取范式，故正确答案为C。

【题干2】操作系统进程调度中，若采用优先级调度算法，以下哪种情况可能导致优先级反转？

【选项】A.新进程优先级高于等待队列中进程；B.高优先级进程持有锁但未执行；C.低优先级进程持有锁并阻塞高优先级进程；D.调度器周期性刷新优先级

【参考答案】B

【详细解析】优先级反转指低优先级进程因持有锁而阻塞高优先级进程。选项B中高优先级进程持有锁但未执行（如被阻塞），导致低优先级进程无法推进，符合定义。选项C描述的是正常锁竞争场景，非反转。

【题干3】离散数学中，集合U={1,2,3,4}，S=?，P={2,4}，则S∪P的补集（U?(S∪P)）为？

【选项】A.{1,3};B.{2,4};C.{1,2,3,4};D.?