二、論述題（兩個論述題可任選其一，并只選其一，多選無效，滿分30分。）
    論述題１
    本題要求設(shè)計一個學生試卷成績輸入、查詢和成績單輸出系統(tǒng)（簡稱SRS ）的
    數(shù)據(jù)結(jié)構(gòu)和算法要點。問題描述如下：
    要輸入到SRS 系統(tǒng)中的每一份試卷成績反映一個學生選修一門課程的考試結(jié)果
    ，它包括以下數(shù)據(jù)項：學號、姓名、課程名、成績。由于實行了靈活的選課制度，
    所以每個學生選修多少門課程，選修哪些課程都可以不同。要輸入的多份試卷成績
    并未按任何數(shù)據(jù)項排列順序，它們以任意的順序被輸入到系統(tǒng)中來。
    SRS系統(tǒng)要具有以下功能：①試卷成績插入，將試卷成績逐個插入到SRS系統(tǒng)的
    數(shù)據(jù)結(jié)構(gòu)中。②學生成績查詢，給出學號查找該學生所選修的各門課程的考試成績
    。③成績單輸出按學號遞增的順序依次輸出所有學生的學號、姓名，及其所選修的
    各門課程的課程名和成績。（為簡單起見，假設(shè)上述所有工作都在計算機內(nèi)存中進
    行。）
    請設(shè)計SRS系統(tǒng)的數(shù)據(jù)結(jié)構(gòu)和算法要點，使上述三項操作都有較高的執(zhí)行效率 。從以下方面闡述你的設(shè)計：
    (1)SRS系統(tǒng)的數(shù)據(jù)結(jié)構(gòu)（15分）
    ①數(shù)據(jù)結(jié)構(gòu)的Pascal語句描述
    ②數(shù)據(jù)結(jié)構(gòu)的示意圖
    ③數(shù)據(jù)結(jié)構(gòu)的簡單文字說明
    (2)SRS系統(tǒng)的算法要點（10分）
    （只要簡單的文字說明，不必寫出Pascal程序）
    ①試卷成績插入
    ②學生成績查詢
    ③成績單輸出
    (3)簡單陳我的上述設(shè)計的理由（5分）
    論述題２
    在一個盜竊案件中，已知下列事實：
    ①甲或乙是竊賊。
    ②若甲是竊賊，做案時間不會發(fā)生在是12點鐘以前。
    ③若乙的證詞正確，在夜間12點鐘時被盜物品所在房間燈光未滅。
    ④若乙的證詞不正確，則做案時間發(fā)生在夜間12點鐘以前。
    ⑤夜間12點鐘被盜房間燈光滅了。
    根據(jù)以上事實解答或論證以各題：
    (1)將①～⑤中所出現(xiàn)的簡單命題符號化，然后用命題符號寫出①～⑤各復合命題
    的符號化形式。（10分）
    (2)以(1)中給出的5個復合命題為前提，判斷甲、乙二人誰是竊賊（以符號形式給
    出）。（5分）
    (3)用命題邏輯推理理論寫出（2）中結(jié)論的判斷過程（要求寫出每一步所用的推理規(guī)則）。（15分）