離散數學是數學的一大門類,它以離散量作為研究對象,如自然數、整數、字母表、代碼表、符号串及布爾值等,離散量便是不連續的量,而數學分析則以連續量為其研究對象。
一、離散數學的特征
1.離散性。離散數學以離散量為其研究對象,并以介紹離散量間關系為主要内容。
2.可構造性。問題求解是數學研究的重要内容,離散數學特别重視求解中的可構造性。可構造性即是在求解中注重其過程與步驟,且這些步驟是有限的、有規則的。可構造性為問題求解中的算法建立奠定了理論基礎。
3.抽象性。離散數學具有比傳統數學更高的抽象性。傳統數學研究的對象是數值,而離散數學研究的對象是抽象的元素;傳統數學研究的是數值間的運算關系,而離散數學研究的是元素間的抽象關系;傳統數學不研究推理的形式化,而離散數學強調并研究推理的抽象性與形式化。而正因如此,它對實際應用具有更高更廣的指導意義。
二、離散數學與計算機科學技術
在計算機科學與技術的研究中需要有一定的方法和手段,常用的是數學與實驗,而當用數學作為手段時,由于計算機科學與技術的研究對象多為離散量,故多選用離散數學。
在計算機的發展曆史中,離散數學起着至關重要的作用,在計算機産生前,圖靈機理論對馮·諾依曼計算機的出現起到了理論先導作用;布爾代數對數字邏輯電路分析與設計起着指導價值。此外,将代數系統、數理邏輯與關系理論相結合所開發的關系數據庫開創了理論引導産品的先例。
以上曆史已經充分說明,離散數學作為一種強有力的工具在計算機科學與技術的研究與應用中起到了重要作用。
三、離散數學與程序員
離散數學對程序員的學習十分重要,主要表現為兩點:
1.計算思維能力的培養
(1)抽象思維與符号化能力的培養。
(2)形式化的邏輯推理能力的培養。
(3)可構造性能力的培養。
2.離散建模
離散模型是将離散數學作為工具用于計算機相關領域的應用與研究,構造抽象數學模型。而構建離散模型的過程稱離散建模。用離散數學的方法對離散模型進行求解并獲得結果,稱之為離散模型的解。
#百粉##計算機知識科普##計算機##教育微頭條##報考#
,