二、论述题（两个论述题可任选其一，并只选其一，多选无效，满分30分。）
　　论述题１
　　本题要求设计一个学生试卷成绩输入、查询和成绩单输出系统(简称SRS)的数据结构和算法要点。问题描述如下：
　　要输入到SRS 系统中的每一份试卷成绩反映一个学生选修一门课程的考试结果，它包括以下数据项：学号、姓名、课程名、成绩。由于实行了灵活的选课制度，所以每个学生选修多少门课程，选修哪些课程都可以不同。要输入的多份试卷成绩并未按任何数据项排列顺序，它们以任意的顺序被输入到系统中来。
　　SRS系统要具有以下功能：①试卷成绩插入，将试卷成绩逐个插入到SRS系统的数据结构中。②学生成绩查询，给出学号查找该学生所选修的各门课程的考试成绩。③成绩单输出，按学号递增的顺序依次输出所有学生的学号、姓名，及其所选修的各门课程的课程名和成绩。（为简单起见，假设上述所有工作都在计算机内存中进行。）
　　请设计SRS系统的数据结构和算法要点，使上述三项操作都有较高的执行效率。从以下方面阐述你的设计：
　　(1) SRS系统的数据结构（15分）
　　①数据结构的Pascal语句描述
　　②数据结构的示意图
　　③数据结构的简单文字说明
　　(2) SRS系统的算法要点（10分）
　　（只要简单的文字说明，不必写出Pascal程序）
　　①试卷成绩插入
　　②学生成绩查询
　　③成绩单输出
　　(3) 简单陈述你的上述设计的理由（5分）
　　论述题２
　　在一个盗窃案件中，已知下列事实：
　　①甲或乙是窃贼。
　　②若甲是窃贼，做案时间不会发生在夜间12点钟以前。
　　③若乙的证词正确，在夜间12点钟时被盗物品所在房间灯光未灭。
　　④若乙的证词不正确，则做案时间发生在夜间12点钟以前。
　　⑤夜间12点钟被盗房间灯光灭了。
　　根据以上事实解答或论证以下各题：
　　(1) 将①～⑤中所出现的简单命题符号化，然后用命题符号写出①～⑤各复合命题的符号化形式。(10分)
　　(2) 以(1)中给出的5个复合命题为前提，判断甲、乙二人谁是窃贼(以符号形式给出)。(5分)
　　(3) 用命题逻辑推理理论写出(2)中结论的判断过程(要求写出每一步所用的推理规则)。(15分)

答案及评分标准
　　一、选择题:(共90题,分为1分题和2分题,满份120分。带“*”的题为2分题，其余均为1分题。)