《離散數學簡明教程 : 計算機科學的基礎理論》是1995年8月科學出版社出版的圖書，作者是邵學才，張紀勇。
《離散數學簡明教程 : 計算機科學的基礎理論》是1995年8月科學出版社出版的圖書，作者是邵學才，張紀勇。內容簡介離散數學是計算機科學的基礎理論。針對離散數學內容涉及面廣、抽象理論多的特點，本書在敘述上深入淺出，簡明扼宴...
《計算機離散數學基礎》是2020年機械工業出版社出版的圖書，作者是[加] 湯姆·詹金斯（Tom Jenkyns），本·史蒂芬森（Ben，Stephens ）。內容簡介 本書選取了計算機科學專業的學生需要掌握的離散數學基礎知識和核心理論進行系統的介紹，以利用計算機解決問題為主要目標，將理論與實踐結合起來，使學生充分認識抽象的重要性。
《離散數學:計算機數學基礎教程》內容簡介：自然界廣泛地存在著離散事物，離散數學就是用適當的數學工具來描述和研究離散對象以及離散對象（Discrete Objects）之間各種相互關係的數學分支。尤其在計算機科學迅速發展的今天，離散數學的研究就更重要了。通常，機率論，算法分析已單獨列為一門課，此教材中就不包括這些內容了...
《離散數學基礎》是2010年中國科學技術大學出版社出版圖書，作者是王傳玉。內容簡介 《離散數學基礎(第2版)》內容簡介：離散數學，是現代數學的一個重要分支，是計算機科學中基礎理論的核心課程。離散數學是隨著計算機科學的發展而逐步建立的。它形成於20世紀70年代初期，是一門新興的工具性學科。為適應計算機科學教學的...
《離散數學》是2010年中國科學技術大學出版社出版的圖書，作者是孫道德、王敏生。內容簡介 離散數學作為一門理論兼實際套用的綜合性學科，既具有嚴謹的理論基礎，又具備套用學科的特點，它是計算機科學和其他套用科學的基礎理論課.本教材以《中國計算機科學與技術學科教程(2002)》中制定的關於“離散數學”的知識結構和...
自動機理論是一種將離散數學系統的構造，作用和關係作為研究對象的數學理論。在理論計算機科學中，自動機理論是對抽象機和它們能解決的問題的研究。自動機理論密切關聯於形式語言理論，因為自動機經常按它們所能識別的形式語言類來分類。簡介 自動機是有限狀態機(FSM)的數學模型。FSM 是給定符號輸入，依據(可表達為一...
為了研究計算機科學的理論基礎，離散數學也就應運而生。因此，如果我們不從純數學的角度，而從套用數學的角度來考慮，也許給離散數學換一個名稱一一計算機科學的數學基礎——更能說明問題。正是因為這個原因，在計算機科學系。信息管理系都將離散數學作為必須學習的基礎課程。而實踐證明這種做法是正確的。圖書目錄 第一...
離散數學是傳統的邏輯學，集合論（包括函式），數論基礎，算法設計，組合分析，離散機率，關係理論，圖論與樹，抽象代數（包括代數系統，群、環、域等），布爾代數，計算模型（語言與自動機）等匯集起來的一門綜合學科。離散數學的套用遍及現代科學技術的諸多領域。離散數學也可以說是計算機科學的基礎核心學科，在離散...
書籍，武漢大學出版社2002年12月1日出版 內容簡介 本書力求敘述嚴謹，推演嚴密，邏輯清晰，深入淺出，做到概念與實例密切結合，學生通過本課程的學習將得到嚴格的邏輯推理與抽象思維能力的訓練。本書是編者多年在武漢大學計算機科學系講授離散數學課的基礎上參考國內外同類型教材編寫而成的。全書包括數理邏輯、集合論、...
《離散數學/高職高專計算機系列規劃教材》是2004年1月1日電子工業出版社出版的圖書。該教材包含了數理邏輯、集合論、數函式和遞推關係、圖論、代數系統及布爾代數等內容，並且給出了例題和習題。媒體評論 書評 本書是為計算機科學等專業的學生寫的一本離散教學基礎教材。理論部分取材於數學的幾個與計算機 學科聯繫緊密...
《離散數學》是2010年8月機械工業出版社出版的圖書，作者是張清華。內容簡介 《離散數學》較為系統地介紹了計算機科學與技術等相關專業所必需的離散數學知識，全書分為四個部分（數理邏輯、集合論初步、代數結構和圖論），共7章。第1章介紹命題及其命題邏輯；第2章介紹一階謂詞邏輯及其推理理論；第3章介紹集合的基本...
《離散數學基礎及實用算法》包括離散數學基礎理論和算法實現兩部分內容。基礎理論部分包括數理邏輯、集合與關係、代數系統以及圖論等。算法實現部分以大量的算例系統地給出了離散數學中典型理論成果的計算機實現。內容簡介 《離散數學基礎及實用算法》包含豐富的算法、大量的套用實例，在詳細解釋原始碼的同時，為讀者進一步...
《計算機數學初步》是2000年科學出版社出版的圖書，作者是黃紀麟、徐一冰。內容簡介 計算機數學又稱離散數學,它的概念、方法和理論是計算機科學與其它工程技術的基礎。本書的主要內容包括數制.矩陣、集合代數、關係、函式、圖論.數理邏輯等,並重點介紹數、數據.命題的表示等基本知識,以及數學建模、問題求解的基本方法。本...
《離散數學》是2009年12月中國鐵道出版社出版的書籍，作者是劉任任。本書介紹離散數學的基本概念、基本定理、運算規律以及離散數學在計算機科學與技術中的套用，主要內容包括集合論、圖論、數理邏輯、代數結構、組合分析等。內容簡介 本書力求概念闡述嚴謹，證明推演詳盡，較難理解的概念用實例說明。本書可作為高等學校...
3.1 基本概念79 3.1.1 個體詞、謂詞79 3.1.2 量詞80 3.2 一階邏輯公式及解釋83 3.3 一階邏輯等值式87 3.4 前束範式與斯科林範式90 3.4.1 前束範式90 3.4.2 斯科林範式92 3.5 謂詞演算的推理理論93 ??3.6 數理邏輯在計算機科學中的套用99 3.6.1 “鑰匙在點火開關中”報警蜂鳴器100 3.6....
本書是按照教育部離散數學教學大綱,參考ACM & IEEE CC2001和CCC2002(中國計算機科學與技術學科教程)的教改要求編寫的。本書涵蓋了經典的“離散結構”或“離散數學”課程的主要內容,包括集合論基礎、邏輯代數、形式系統與形式推理、組合論基礎、圖論基礎、關係與函式、計算理論基礎和抽象代數學基礎。具有內容系統全面、...
本書以離散的觀點描述自然科學研究中的具體問題，介紹離散數學的基本原理、具體方法和套用，內容包括命題邏輯、謂詞邏輯、集合與關係、函式與運算、群論初步、圖論基礎等，取材側重於介紹典型離散結構，以及如何建立離散結構的數學模型，或如何將已用連續數量關係建立起來的數學模型離散化,從而可由計算機加以處理.每章都精選...
如果照這種趨勢發展，世界各國對組合數學和計算機算法的投入和競爭必然日趨激烈。美國政府也成立了離散數學及理論計算機科學中心DIMACS（與Princeton大學，Rutgers大學，AT&T 聯合創辦的，設在Rutgers大學），該中心已是組合數學及理論計算機科學的重要研究陣地。美國國家數學科學研究所（Mathematical Sciences Research Institute，...
離散數學課程是介紹離散數學各分支的基本概念、基本理論和基本研究方法、 研究工具的基礎課程。 它所涉及的概念、方法和理論，大量地套用在數字電路、編譯原理、數據結構、作業系統、資料庫系統、算法的分析與設計、軟體工程、人工智慧、計算機網路等專業課程及信息管理、 信號處理等相關課程中。它著重培養訓練學生的抽象...
