計(jì)科-離散數(shù)學(xué)實(shí)驗(yàn)教學(xué)大綱

附件1：《離散數(shù)學(xué)》課程實(shí)驗(yàn)教學(xué)大綱課程編號(hào)：B0302021S課程名稱：離散數(shù)學(xué)課內(nèi)總學(xué)時(shí)：48實(shí)驗(yàn)學(xué)時(shí)/上機(jī)實(shí)驗(yàn)學(xué)時(shí)：16實(shí)驗(yàn)類別：□通識(shí)基礎(chǔ)□學(xué)科基礎(chǔ)■專業(yè)基礎(chǔ)□專業(yè)一、實(shí)驗(yàn)課程目的和任務(wù)（黑體小四號(hào)）性質(zhì)：本實(shí)驗(yàn)課程是計(jì)算機(jī)及相關(guān)專業(yè)的專業(yè)基礎(chǔ)課，本實(shí)驗(yàn)是理論課程的配套實(shí)驗(yàn)。目的和任務(wù)：《離散數(shù)學(xué)》課程以培養(yǎng)學(xué)生的邏輯思維能力、推理能力為主要目的，通過給學(xué)生設(shè)置一定數(shù)量的上機(jī)實(shí)驗(yàn)，使學(xué)生通過運(yùn)用高級(jí)語言編程實(shí)現(xiàn)和離散數(shù)學(xué)理論知識(shí)相關(guān)的若干程序，加深對(duì)課內(nèi)所學(xué)基本理論內(nèi)容的理解和掌握，并進(jìn)一步提高學(xué)生的編程能力。任務(wù)：通過實(shí)驗(yàn)，使學(xué)生掌握與離散數(shù)學(xué)理論相關(guān)的編程實(shí)現(xiàn)思想和方法，重點(diǎn)掌握命題邏輯中合式公式的主析取范式以及主合取范式的真值表求取法、集合論中二元關(guān)系性質(zhì)的判定、偏序關(guān)系中蓋住關(guān)系的求取、有補(bǔ)格的判定以及圖論中歐拉路的判定。二、實(shí)驗(yàn)內(nèi)容、學(xué)時(shí)分配及基本要求（黑體小四號(hào)）序號(hào)實(shí)驗(yàn)項(xiàng)目名稱學(xué)時(shí)實(shí)驗(yàn)內(nèi)容及要求開出組數(shù)每組人數(shù)實(shí)驗(yàn)類型選做必做備注1利用真值表法求取主析取范式以及主合取范式的實(shí)現(xiàn)4內(nèi)容：編程實(shí)現(xiàn)用真值表法求取任意含三個(gè)以內(nèi)變量的合式公式的主析取范式和主合取范式。要求：能夠列出任意合式公式的真值表并給出相應(yīng)主析取和主合取范式。1401驗(yàn)證√2集合上二元關(guān)系性質(zhì)判定的實(shí)現(xiàn)4內(nèi)容：編程實(shí)現(xiàn)任意集合上二元關(guān)系的性質(zhì)判定。要求：能正確判定任意二元關(guān)系的自反性、對(duì)稱性、傳遞性、反自反性和反對(duì)稱性。1401驗(yàn)證√3偏序關(guān)系中蓋住關(guān)系的求取及格論中有補(bǔ)格的判定4內(nèi)容：編程實(shí)現(xiàn)整除關(guān)系這一偏序關(guān)系上所有蓋住關(guān)系的求取，并判定對(duì)應(yīng)偏序集是否為格。要求：對(duì)任意給定正整數(shù)，利用整除關(guān)系求所有由其因子構(gòu)成的集合所構(gòu)成的格，判斷其是否為有補(bǔ)格。1401驗(yàn)證√4圖的隨機(jī)生成及歐拉（回）路的確定4內(nèi)容：編程隨機(jī)生成n個(gè)結(jié)點(diǎn)的無向圖并能進(jìn)行（半）歐拉圖的判定，若是則給出歐拉（回）路。要求：對(duì)給定n個(gè)結(jié)點(diǎn)，隨機(jī)生成鄰接矩陣以確定某無向簡單圖并進(jìn)行歐拉圖和半歐拉圖的判定，若符合則給出至少一條歐拉回路或歐拉路。1401驗(yàn)證√注：實(shí)驗(yàn)類型指演示、驗(yàn)證、綜合和設(shè)計(jì)。綜合性、設(shè)計(jì)性實(shí)驗(yàn)內(nèi)容及要求另附大綱，表中“實(shí)驗(yàn)內(nèi)容及要求”處標(biāo)明“見附錄X”。三、考核及實(shí)驗(yàn)報(bào)告（黑體小四號(hào)）（一）考核（宋體五號(hào)加粗）實(shí)驗(yàn)課考核分兩個(gè)部分：上機(jī)演示和實(shí)驗(yàn)報(bào)告。演示部分主要考察所編程序執(zhí)行結(jié)果是否正確，學(xué)生對(duì)編程思想是否能清晰表述；報(bào)告部分主要考察程序是否規(guī)范、結(jié)果分析是否合理、格式是否正確美觀等。成績根據(jù)兩部分內(nèi)容綜合評(píng)定，由于不是單獨(dú)設(shè)課，所以實(shí)驗(yàn)成績按一定比例折入學(xué)生課程考試總分之中，占總成績的20%。（二）實(shí)驗(yàn)報(bào)告（宋體五號(hào)加粗）實(shí)驗(yàn)報(bào)告的內(nèi)容：1.實(shí)驗(yàn)名稱：按統(tǒng)一要求給出。2.實(shí)驗(yàn)?zāi)康模汉唵蚊枋鰧?shí)驗(yàn)與理論知識(shí)的關(guān)聯(lián)，說明實(shí)驗(yàn)?zāi)康摹?.實(shí)驗(yàn)任務(wù)：給出實(shí)驗(yàn)需完成的各項(xiàng)主要功能。4.實(shí)驗(yàn)內(nèi)容：詳見第二部分。5.實(shí)驗(yàn)過程描述：包括實(shí)驗(yàn)結(jié)果分析、實(shí)驗(yàn)過程遇到的問題及體會(huì)。實(shí)驗(yàn)報(bào)告的要求：實(shí)驗(yàn)報(bào)告以文本和電子兩種形式提交。實(shí)驗(yàn)報(bào)告要求符合基本格式規(guī)范，仔細(xì)填寫學(xué)校統(tǒng)一編制報(bào)告冊(cè)中的各項(xiàng)內(nèi)容，包括具體的實(shí)驗(yàn)內(nèi)容，規(guī)范的程序書寫，清晰的編程思想描述，正確的運(yùn)行結(jié)果，合理的結(jié)果分析，出現(xiàn)的問題及解決措施，心得體會(huì)等。四、主要儀器設(shè)備（黑體小四號(hào)）硬件：PC機(jī)。軟件：VC++6.0集成開發(fā)環(huán)境。五、教材及參考書（黑體小四號(hào)）教材：左孝凌等.離散數(shù)學(xué).第63版次.上海：上?？茖W(xué)技術(shù)文獻(xiàn)出版社，2011主要參考書：[1]左孝凌等.離散數(shù)學(xué)：理論.分析.題解.上海：上?？萍嘉墨I(xiàn)出版社，2011[2]方世昌.離散數(shù)學(xué).西安：西安電子科技大學(xué)出版社，2000[3]KennethH.Rosen.離散數(shù)學(xué)及其應(yīng)用.北京：機(jī)械工業(yè)出版社，2008六、說明（黑體小四號(hào)）無。執(zhí)筆人：王海艷審核人：實(shí)驗(yàn)院長：注：1.執(zhí)筆人：一個(gè)教師原則上不能承擔(dān)超過3門課程實(shí)驗(yàn)大綱的編寫，編寫后應(yīng)提交本專業(yè)教學(xué)小組或?qū)W院教學(xué)指導(dǎo)委員會(huì)討論通