计算机等级考试四级笔试试卷及答案四之四

二、论述题(两个论述题可以选一个，且只能选一个，多选无效，满分30分。)

Essay 1
本题要求设计一个学生考试成绩输入、查询、输出的系统(简称SRS)。

数据结构与算法要点。问题描述如下:

输入SRS系统的每份试卷分数反映了学生参加课程的考试结果。

，包括以下数据项:学号、姓名、课程名称、年级。由于灵活的选课系统，

所以每个学生上多少门课，上哪些课可以不一样。要输入的多份试卷的分数

没有数据项以任何顺序排列，但是它们以任何顺序输入到系统中。

SRS系统应具备以下功能:①试卷分数插入，将试卷分数逐一插入SRS系统。

在数据结构中。(2)学生成绩查询，给学号查找学生的选修课考试成绩。

。③成绩单输出:按照学号递增的顺序输出所有学生的学号、姓名，以及他们选修的课程。

每门课程的课程名称和成绩。(为简单起见，假设上述工作都在计算机内存中完成。

好的。)

请设计好SRS系统的数据结构和算法点，使以上三个操作有较高的执行效率。从以下几个方面解释你的设计:

(1)SRS系统的数据结构(15分)

①数据结构的Pascal语句描述

②数据结构示意图

③数据结构的简单文本描述。

(2)SRS系统算法要点(10分)

(只要用文字简单解释就可以不用写Pascal程序)

①试卷分数插入

②学生成绩查询。

③转录输出

(3)简单说明我进行上述设计的理由(5分)

短文2

在盗窃案件中，已知以下事实:

①甲或乙是贼。

(2)如果A是小偷，12点之前不会发生。

③如果B的证言正确，赃物所在房间的灯在夜里12点并没有熄灭。

④如果B的证言有误，案件发生的时间会在晚上12点之前。

⑤被盗房间的灯夜里12点就灭了。

根据以上事实，回答或论证每个问题:

(1)将① ~ ⑤中的简单命题符号化，然后用命题符号写出① ~ ⑤中的复合命题。

的符号形式。(10分)

(2)在(1)给出的五个复合命题的前提下，判断甲乙双方谁是小偷(以符号形式给出

出)。(5分)

(3)用命题逻辑推理理论写出(2)中结论的判断过程(要求写出每一步使用的推理规则)。(15分)