當前離散數學的具體應用探析論文
當前離散數學的具體應用探析論文
一、離散數學的概念
離散數學作為現代數學的一個十分重要的分支，同時是計算機科學和相關技術的理論基礎，所以又被人們戲稱為計算機的數學[1 ].一般的，廣義離散數學的概念包含了圖論、數論、集合論、資訊理論、數理邏輯、關係理論、代數結構、組合數學等等概念，現代又加上了演算法設計、組合分析、計算模型等應用方向，總的來說，離散數學是一門綜合學科，而其應用則遍及現代科學與技術的諸多領域。
二、離散數學在高中數學中的體現
離散數學的概念對於我們高中生來說可能相對陌生，但其實，我們高中數學中很多知識都常常涉及到離散數學。相較於我們平時接觸較多的連續性數學而言，離散數學側重於思維方式和邏輯過程的應用於體現，可以說是數學中一個非常特別的分支，在應用的過程中主要是構建起一種專屬的思維方式。這種方式既有別於傳統的對事物的理解與推論，還與常規的數學解題思維有著很大的不同。而高中階段像我們學習所涉及的數理邏輯、集合、數列等知識都是離散數學的基礎概念。
以一個簡單的高中數學命題的問題為例：高中數學的命題關係的討論，其中常見的命題形式有：若 p 則 q,以及與其相關的原命題、逆命題、否命題、逆否命題的形式與真假關係，和“且、或、非”三種簡單的邏輯連線詞。這是我們在高中數學中常常接觸的一類問題，而延伸至離散數學的概念下，其實只是更深入的討論和研究了這一問題，並建立起獨特的邏輯概念，這種數理的邏輯也是計算機程式設計的基礎。
三、離散數學的應用
（一）數學思維在計算機軟體程式設計中的應用
隨著計算機科技的逐步發展，資訊科技在日常生活中的應用目前越來越為廣泛。而軟體程式作為各種技術問題的關鍵，其發展更是日新月異，而演算法被稱為軟體程式設計的基礎。數學思維的運用貫穿軟體與計算機科學的始終。
其實當我們對程式設計有了一定的瞭解後可以發現，需要透過程式設計實現的很多要求都可轉化為數學邏輯的討論與梳理。當計算機需要解決一個具體的問題時，必須運用應用資料結構的知識。而對於問題中所需要處理的資料，就需要從具體的問題中透過一定方式建立起一定的數學模型。然後再針對這一數學模型建立起相應的演算法，最後透過程式設計實現對演算法的應用，然後經過反覆測試、調整直至確定最終的解答。上述過程即一個程式設計的過程，從提取模型、建立演算法到問題解決的過程都離不開離散數學的知識運用。
（二）離散數學與人工智慧
人工智慧是現在非常熱門的一個議題，作為計算機學科發展的一個非常重要的方向，人工智慧中對於離散數學的應用主要是數理邏輯部分充當智慧思維的應用，即形成類似人類的思考方式。數理邏輯包括了命題邏輯與謂詞邏輯：所謂命題邏輯就是以命題為單位進行的前提與結論之間推理過程的研究；而謂詞邏輯則側重於研究句子內在的聯絡。一般的，人工智慧現在大致分為兩個流派，即連線主義流派和符號主義流派。在符號主義流派裡，認為現實世界的各種事物可以用符號的形式表示出來，而最主要的理論就是人類的自然語言是可以用符號表示出來的。語言的符號化，是數理邏輯研究的最基本的內容，所以計算機的智慧化是以將人類的語言符號化為機器可以識別的符號為前提的，透過這樣的方式才能使計算機進行推理，才能具有智慧。由此可見數理邏輯中重要的思想、方法及內容貫穿到人工智慧的整個學科。
（三）現實生活中的離散數學
其實離散數學除了在計算機、軟體技術等領域中有著重要的應用價值外。其在金融分析、交通規劃、企業管理、戰爭指揮等廣泛的領域也有著重要的'應用。正是看到了離散數學對於未來科技發展的重要意義，很多國家都已將離散數學列為新世紀未來應當重點發展的數學領域之一。甚至美國有一家公司直接以離散數學來命名，他們運用離散數學的方法來分析解決企業管理上的問題，進而提高企業的效益。此外，試驗設計也是具有很廣泛發展潛力和很大應用價值的一門新興學科，它的數學原理就是組合設計。透過使用組合設計的方法解決工業行業的試驗設計問題，已有很多專門的公司在進行這方面的研究。最近，一位德國著名的離散數學家利用了離散數學的方法對藥物結構進行深入研究，極大節約了製藥行業的研製成本，引起了製藥業的廣泛關注。
（四）離散數學重要性
離散數學在計算機以及軟體領域都發揮著十分重要的作用，甚至現代計算機科學的理論基礎都可以被稱之為離散數學的一個分支。在其中大量的採用了離散數學中基本概念、知識以及基礎的研究方法。離散數學的學習不但為未來大學的進階學習提供極其必要的理論基礎，而且透過對離散數學思想和方法的學習也反過來提高了我們自身的邏輯思維能力和創造性思維能力。
四、總結
隨著科技資訊時代的到來，計算機科學發展如火如荼，人工智慧技術方興未艾，工業革命時代以來一直以微積分為基礎的連續數學的主導地位已經發生了顯著的變化，離散數學正逐步成為科學領域新突破的土壤，其重要性逐漸被人們認識。也有越來越多的人把更多的經歷投入到這一領域的研究中。離散數學是一個非常注重思維邏輯的數學學科分支，對於離散數學的學習過程可以看作是一個對數學思維構建的鍛鍊的過程。透過本文上述的討論，同時也可以看到，所有的理論學習都是一個循序漸進的過程，我們不應當放過自己學習中每一個細微的知識點，紮實的基礎知識和嚴謹的邏輯思維能力都對的未來進階學習有非常有益的幫助。
參考文獻：
[1] 傅彥，顧小豐，王慶先等。離散數學及其應用[M].北京：高等教育出版社，2007.
[2] 離散數學及其應用[M].北京：機械工業出版社，2006.