資源描述：
《離散數(shù)學(xué)體系結(jié)構(gòu)-離散數(shù)學(xué)CAI及算法分析》由會(huì)員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在行業(yè)資料-天天文庫(kù)。
1、北京化工大學(xué)碩士學(xué)位論文離散數(shù)學(xué)體系結(jié)構(gòu)——離散數(shù)學(xué)CAI及算法分析姓名：閆浮申請(qǐng)學(xué)位級(jí)別：碩士專業(yè)：計(jì)算機(jī)應(yīng)用技術(shù)指導(dǎo)教師：朱望規(guī)2001.4.29北j化工大學(xué)碩士學(xué)位論文一篙。散數(shù)學(xué)體系結(jié)構(gòu)——離散數(shù)學(xué)。A1及算法分析中文摘要離散數(shù)學(xué)是計(jì)算機(jī)利二的基石}
2、j，我們研究離散數(shù)學(xué)是有其現(xiàn)≥盤義的，可以說(shuō)它是構(gòu)筑在數(shù)學(xué)和計(jì)算彬斟學(xué)之問(wèn)的橋梁，它的研究離不開(kāi)集合含、初等數(shù)論等數(shù)學(xué)知識(shí)，又和計(jì)算機(jī)豐#中的數(shù)據(jù)結(jié)構(gòu)、數(shù)據(jù)庫(kù)理論、編譯』}J!哩等密切相關(guān)，顯然它的發(fā)展可以促進(jìn)i：．Z機(jī)科學(xué)的發(fā)展。一方面對(duì)r數(shù)學(xué)理論曩重要的事是公理化，將
3、離散數(shù)學(xué)中的知貝公理化，有助于它的進(jìn)一步發(fā)展，高j汝數(shù)學(xué)是研究離散結(jié)構(gòu)，用于代表離散I‘予，而所有離散結(jié)構(gòu)都是從集合也就霞每物的集合開(kāi)始構(gòu)建的，所以集合論是蔗’‘汝數(shù)學(xué)的基礎(chǔ)部分，我所研究的離散數(shù)二體系結(jié)構(gòu)就是從初等集合論展開(kāi)。另一方面，制作離散；學(xué)的i!：簋扭拭助熬堂拯鮭可以幫助學(xué)型二門更好地理解離散數(shù)學(xué)所涉及的理論和椴蘭。把抽象的離散數(shù)學(xué)用生動(dòng)形象的界I{一展現(xiàn)給學(xué)生們，給學(xué)習(xí)者創(chuàng)造了一個(gè)良如佝學(xué)習(xí)環(huán)境，學(xué)生不僅可以學(xué)習(xí)到程序￡計(jì)的技巧，還可以加深對(duì)理論的理解。蘭循了CAJ課件設(shè)計(jì)的技術(shù)標(biāo)準(zhǔn)的基本再則(通用性、可控性、科學(xué)
4、性、容錯(cuò)性界面友好和操作方便)，合理安排課程，：設(shè)計(jì)課程內(nèi)容，包括了以下幾個(gè)方面：集々論(含二元關(guān)系、函數(shù))、圖論、代數(shù)．：統(tǒng)(群論、環(huán)、格、布爾代數(shù))、數(shù)理邏{．。目前有些多媒體教學(xué)軟件只注重使劇‘十算機(jī)形式，不能真正寓教于學(xué)中，在移復(fù)計(jì)的軟件中重點(diǎn)強(qiáng)調(diào)過(guò)程的演示，將4．，l!和概念條理化，逐步給出它們存在的南件，這樣有助于學(xué)生們理解。在本文中還介紹了離Z數(shù)學(xué)如何延展為其它計(jì)算機(jī)學(xué)科，比A．二兀關(guān)系和編譯的聯(lián)系，代數(shù)學(xué)和編碼的、：系等。關(guān)鍵詞：離散數(shù)學(xué)，數(shù)列邏輯，集合論，代數(shù)系統(tǒng)，圖論北。：化工大學(xué)碩士學(xué)位論文DiscI-t
5、eMathematicsArchitecture．——CAIinDiscreteMathandAlgol’tihmAnalysisAbstractDiscreteMathisthen；damentofcomputerscience．Doingreseal’c：lLboutDiscrete；Mariaisimportantatpresc』”Wecansaythatitisabridgebetweenmathandcomputer；．a(chǎn)ienoe．Itcannotstaywi}outSetsandFundamentalMathem
6、aticsandSOonAttheh螄etimeithasarelatio+shipwithDataStructure，Database，CompilerandSOonObviouslyitsdevelopmen：oanimprovethedevelopmentofcomputerscience．Inonehandthemostimportantt1lgastomathistheorizeWetrytotheorizetheknowledgeinDiscreteMathSOastod、：elopDiscreteMathscie
7、nceDiscreteMathemphasizesthediscretestructureandstanf：fordiscretetransactionsButa11discretestructuresstartasS讎sfthatissetsoftrans：tions)，SoSetsisthefundamentofDiscreteMath．ThearchitectureofDiscreteMa‘1IdoresearchaboutisbasisonSetsOntheotherhand(U(ComputerAidedInstru
8、ctor)inDiscreteMathhelpsstudentseasilyunderstan·thoseabstracttheoriesandconcepts．Studentscanbeprovidedanactiveinterfa(insteadofabstractDiscreteMath．Givenagoodlearningenvironmentstudentsnotc：flylearnthemethodofprogramming，butalsodeepentheunderstandingoftheoriesIdesig
9、nthecontentsofcoursesandrcaso；ablyarrangefoursesaccordingtothen：jofCAldesigningteclmologyMyCAIincludesthebelow舾peets：Sets(includingReh．tio
