题目	题型
操作系统提供给编程人员的唯一接口是（）	问答
将主存空闲区按地址顺序从小到登记在空闲区表中，每次分配时总是顺序查找空闲区表，指导找到一个能满足其大小要求的空闲区为止，此种算法称为（）算法。	问答
在页式虚拟存储系统中，选择页面调度算法时应尽量注意减少或避免（）现象的发生。	问答
页是信息的（）单位，进行分页是出于系统管理的需要；段是信息的（）单位，分段是出于用户的需要。	问答
请你写出请求页式管理中缺页中断处理时的2种不同的淘汰算法的名称：（）和（）	问答
回答下面问题	问答
若干个等待访问磁盘者依次要访问的磁道为20,44,40,4,80,12,76，移动臂当前位于40号柱面，则先来先服务算法和平均寻道长度为（）；最短寻道时间优先算法的平均寻道长度为（）	问答
在采用分页存贮管理系统中，地址结构长度为18位，其中11至17位表示页号，0至10位表示页内位移量。主存容量最大可为（）K，每块有（）K。	问答
回答下面问题	问答
可以通过哪些途径来提高内存的利用率？	问答
为什么位示图适用于分页式存储管理和对磁盘存储空间的管理？如果在存储管理中采用可变分区存储管理方案，也能采用位示图法来管理空闲区吗？为什么？	问答
已知集合A={{Φ},{1}}，B={{a}}，试求（1）2 A ；（2）B×2 A	问答
把下列语句翻译为谓词演算公式	问答
已知R是集合A上的自反和对称关系，试证明t(R)为A上的等价关系。	问答
证明题	问答
证明题	问答
证明：在一个有限群中，阶大于2的元素个数一定是偶数。	问答
证明题	问答
试用HORN子句逻辑程序证明之。	问答
已知G=(V,E)是一个简单平面图，且 <30。试证明至少有一个顶点的度数小于或等于4。	问答