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