離散數(shù)學作為計算機專業(yè)的基礎(chǔ)理論核心課程,在計算機科學中具有極其重要的地位。但離散難教、離散難學也是師生共同的心聲。針對計算機專業(yè)的大一學生,提出一種案例教學法,將離散數(shù)學與程序設計完美結(jié)合,使學生初步認識到學習離散數(shù)學的重要性,增強學習興趣,提高教學效率。 

【文章來源】：電腦知識與技術(shù). 2020,16(26)

【文章頁數(shù)】：2 頁

【部分圖文】：

程序片段23.2開辟程序設計新思路

，對表決結(jié)果進行累加求和，當結(jié)果大于等于2時，通過表決；否則未通過。經(jīng)過筆者提示，有學生用真值表進行分析。如圖3所示。圖3A有一票否決權(quán)的真值表真值表的前四行轉(zhuǎn)化成程序設計語言很簡單，不贅述。當A未行使一票否決權(quán)時，該生分析了圖3中的第5行，發(fā)現(xiàn)只有當B與C同時為0時，結(jié)果為0，于是寫出了圖4所示的程序片段。圖4程序片段3如果分析圖3中的6、7、8行，程序該如何寫？發(fā)現(xiàn)只要B與C有一個為1，結(jié)果就是1。因此，可以很快寫出圖5所示的程序片段。圖5程序片段4程序片段3與程序片段4是否等價呢？很容易通過德摩根律證明。程序片段3中的條件(b==0&&c==0)的否定為!(b==0&&c==0)，與!(b==0)||!(c==0)等價，進而與(b==1||c==1)等價，即為程序片段4的表達方式。3.3驗證程序設計的縝密性值得一提的是，有位馮同學寫了如圖6所示的程序片段來實現(xiàn)A具有一票否決權(quán)的表決器，但不確定自己的判定是否縝密。實際上，通過構(gòu)造A∧(B∨C)的真值表，發(fā)現(xiàn)它與圖3是一致的，故可以肯定圖6的程序片段是完全正確的。圖6程序片段53.4實施效果作業(yè)講解交流后，收到了學生的一些反饋信息，現(xiàn)摘錄部分與大家共享�！巴ㄟ^這次作業(yè)才發(fā)現(xiàn)離散和編程的關(guān)聯(lián)這么大，以前一直認為這兩門課程沒有什么聯(lián)系�！薄半x散可以用編程表示，編程體現(xiàn)著離散，這次作業(yè)展示，讓我看到了大家的代碼，異曲同工，又體現(xiàn)著個人的特點”�！拔易铋_始只知道離散數(shù)學是計算機科學的基矗但對于離散和計算機專業(yè)之間有怎樣的關(guān)系，我還是不清楚。如何把離散數(shù)學與編程聯(lián)系起來，我還是不太明白。通過?

出了圖4所示的程序片段。圖4程序片段3如果分析圖3中的6、7、8行，程序該如何寫？發(fā)現(xiàn)只要B與C有一個為1，結(jié)果就是1。因此，可以很快寫出圖5所示的程序片段。圖5程序片段4程序片段3與程序片段4是否等價呢？很容易通過德摩根律證明。程序片段3中的條件(b==0&&c==0)的否定為!(b==0&&c==0)，與!(b==0)||!(c==0)等價，進而與(b==1||c==1)等價，即為程序片段4的表達方式。3.3驗證程序設計的縝密性值得一提的是，有位馮同學寫了如圖6所示的程序片段來實現(xiàn)A具有一票否決權(quán)的表決器，但不確定自己的判定是否縝密。實際上，通過構(gòu)造A∧(B∨C)的真值表，發(fā)現(xiàn)它與圖3是一致的，故可以肯定圖6的程序片段是完全正確的。圖6程序片段53.4實施效果作業(yè)講解交流后，收到了學生的一些反饋信息，現(xiàn)摘錄部分與大家共享�！巴ㄟ^這次作業(yè)才發(fā)現(xiàn)離散和編程的關(guān)聯(lián)這么大，以前一直認為這兩門課程沒有什么聯(lián)系�！薄半x散可以用編程表示，編程體現(xiàn)著離散，這次作業(yè)展示，讓我看到了大家的代碼，異曲同工，又體現(xiàn)著個人的特點”�！拔易铋_始只知道離散數(shù)學是計算機科學的基矗但對于離散和計算機專業(yè)之間有怎樣的關(guān)系，我還是不清楚。如何把離散數(shù)學與編程聯(lián)系起來，我還是不太明白。通過這次交流，我才明白離散數(shù)學能夠指導編程去解決實際問題�！边�有的學生表示，今后會投入更多的精力到離散數(shù)學的學習中，用離散的知識充實編程的內(nèi)容。學生的積極反饋信息表明此方案收到了預期的效果，也激勵筆者今后挖掘更多、更好的教學案例來滿足學生的這種求知欲。4結(jié)束語通過上述3人表決器教學案例的實施效果，不難看出：將

【參考文獻】：
期刊論文
[1]結(jié)合科研實際的離散數(shù)學教學方法探索[J]. 劉明.  科教導刊(下旬). 2018(02)
[2]應用型本科院校離散數(shù)學教學改革與探索[J]. 林睦綱,鄭光勇,陳堅禎.  衡陽師范學院學報. 2017(06)
[3]結(jié)合計算機應用的離散數(shù)學教學研究[J]. 張劍妹,李艷玲,吳海霞.  數(shù)學學習與研究. 2014(01)
[4]基于實踐能力培養(yǎng)的離散數(shù)學教學改革探索[J]. 潘志剛,葉綠,向堅.  浙江科技學院學報. 2009(04)



本文編號：3047830