離散數(shù)學(xué) 第1章 命題邏輯的基本概念.ppt_第1頁
離散數(shù)學(xué) 第1章 命題邏輯的基本概念.ppt_第2頁
離散數(shù)學(xué) 第1章 命題邏輯的基本概念.ppt_第3頁
離散數(shù)學(xué) 第1章 命題邏輯的基本概念.ppt_第4頁
離散數(shù)學(xué) 第1章 命題邏輯的基本概念.ppt_第5頁
已閱讀5頁，還剩27頁未讀， 繼續(xù)免費閱讀

付費下載

下載本文檔

版權(quán)說明：本文檔由用戶提供并上傳，收益歸屬內(nèi)容提供方，若內(nèi)容存在侵權(quán)，請進行舉報或認(rèn)領(lǐng)

文檔簡介

離散數(shù)學(xué),高 等 教 育 出 版 社,課程簡介,離散數(shù)學(xué)是現(xiàn)代科學(xué)的一個重要分支。 離散數(shù)學(xué)的研究對象是離散量，一切以 離散現(xiàn)象作為其研究對象或?qū)ο笾坏臄?shù) 學(xué)均稱為離散數(shù)學(xué)，其研究各種各樣的離 散量的結(jié)構(gòu)及之間的關(guān)系。 離散數(shù)學(xué)不僅在基礎(chǔ)數(shù)學(xué)研究中具有極 其重要的地位，在其它如計算機科學(xué)、編 碼和密碼學(xué)、物理、化學(xué)、生物等學(xué)科中 均有重要應(yīng)用。,離散數(shù)學(xué)是計算機問世后，迅速發(fā)展起 來的一門數(shù)學(xué)分支。計算機是一個離散的 結(jié)構(gòu)，計算機的研究對象大都是離散形式， 離散數(shù)學(xué)當(dāng)之無愧地可以充分描述計算機 科學(xué)的離散性特點，是研究計算機科學(xué)的 基本數(shù)學(xué)工具和最合適的理論手段。計算 機科學(xué)就是算法的科學(xué)，而計算機所處理 的對象是離散的數(shù)據(jù)，所以離散對象的處 理就成了計算機科學(xué)的核心，而研究離散 對象的科學(xué)恰就是離散數(shù)學(xué)。正是因為有 了離散算法，才使計算機好象有了思維。,本課程與后續(xù)課程學(xué)習(xí)的關(guān)系,掌握離散數(shù)學(xué)知識，為后續(xù)課程（如數(shù) 據(jù)結(jié)構(gòu)、操作系統(tǒng)、編譯理論、數(shù)字邏輯 理論、算法分析、邏輯程序設(shè)計、系統(tǒng)結(jié)構(gòu)、 容錯診斷、機器定理證明、網(wǎng)絡(luò)、人工智能 等）的學(xué)習(xí)打下堅實的理論基礎(chǔ)； 通過離散數(shù)學(xué)的學(xué)習(xí)，培養(yǎng)抽象思維、 慎密概括和嚴(yán)密邏輯推理能力，掌握證明 問題的方法。,第一部分 數(shù)理邏輯,第一章 命題邏輯基本概念,第一節(jié) 命題與聯(lián)結(jié)詞,第二節(jié)

溫馨提示

  • 1. 本站所有資源如無特殊說明，都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等，如果需要附件，請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙，網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽，若沒有圖紙預(yù)覽就沒有圖紙。
  • 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
  • 5. 人人文庫網(wǎng)僅提供信息存儲空間，僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護處理，對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯，并不能對任何下載內(nèi)容負(fù)責(zé)。
  • 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容，請與我們聯(lián)系，我們立即糾正。
  • 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

評論

0/150

提交評論