《離散數學簡明教程 : 計算機科學的基礎理論》是1995年8月科學出版社出版的圖書，作者是邵學才，張紀勇。
《離散數學簡明教程 : 計算機科學的基礎理論》是1995年8月科學出版社出版的圖書，作者是邵學才，張紀勇。內容簡介離散數學是計算機科學的基礎理論。針對離散數學內容涉及面廣、抽象理論多的特點，本書在敘述上深入淺出，簡明扼宴...
《計算機離散數學基礎》是2020年機械工業出版社出版的圖書，作者是[加] 湯姆·詹金斯（Tom Jenkyns），本·史蒂芬森（Ben，Stephens ）。內容簡介 本書選取了計算機科學專業的學生需要掌握的離散數學基礎知識和核心理論進行系統的介紹，以利用...
《 離散數學簡明教程——習題解答與學習指導》是2021年清華大學出版社出版的圖書，作者:盧力。本教材是作者根據多年從事離散數學課程教學實踐，並在參閱國內同行編著的多本教材的基礎上編寫完成的，主要內容扼要，學習要求明確，疑難解析清晰...
《離散數學:計算機數學基礎教程》內容簡介：自然界廣泛地存在著離散事物，離散數學就是用適當的數學工具來描述和研究離散對象以及離散對象（Discrete Objects）之間各種相互關係的數學分支。尤其在計算機科學迅速發展的今天，離散數學的研究就更...
《離散數學基礎》是2010年中國科學技術大學出版社出版圖書，作者是王傳玉。內容簡介 《離散數學基礎(第2版)》內容簡介：離散數學，是現代數學的一個重要分支，是計算機科學中基礎理論的核心課程。離散數學是隨著計算機科學的發展而逐步建立的...
為了研究計算機科學的理論基礎，離散數學也就應運而生。因此，如果我們不從純數學的角度，而從套用數學的角度來考慮，也許給離散數學換一個名稱一一計算機科學的數學基礎——更能說明問題。正是因為這個原因，在計算機科學系。信息管理系都...
自動機理論是一種將離散數學系統的構造，作用和關係作為研究對象的數學理論。在理論計算機科學中，自動機理論是對抽象機和它們能解決的問題的研究。自動機理論密切關聯於形式語言理論，因為自動機經常按它們所能識別的形式語言類來分類。簡介...
離散數學在各學科領域，特別在計算機科學與技術領域有著廣泛的套用，同時離散數學也是計算機專業的專業課程，如程式設計語言、數據結構、作業系統、編譯技術、人工智慧、資料庫、算法設計與分析、理論計算機科學基礎等必不可少的先行課程。通過...
本書重點介紹相關概念及其套用和計算方法，而不是理論分析。因此非常適合計算機科學、電子工程以及套用數學和計算數學專業的廣大研究生與高年級本科生閱讀，也可以作為相關領域學者的參考書。（二）韋穗，楊尚駿，章權賓，胡茂林譯，《計算機...
本書是編者多年在武漢大學計算機科學系講授離散數學課的基礎上參考國內外同類型教材編寫而成的。全書包括數理邏輯、集合論、代數結構和圖論四大部分。本書作為教材，主要適用於計算機科學與工程各專業的本科生，同時也適用於其他專業或其他...
《離散數學》是2009年12月中國鐵道出版社出版的書籍，作者是劉任任。本書介紹離散數學的基本概念、基本定理、運算規律以及離散數學在計算機科學與技術中的套用，主要內容包括集合論、圖論、數理邏輯、代數結構、組合分析等。內容簡介 本書力求...
本書是為計算機科學等專業的學生寫的一本離散教學基礎教材。理論部分取材於數學的幾個與計算機 學科聯繫緊密的的理論分支，並且在不致與其他課程內容重複的宗旨下，儘可能地給出了一些運用數學理論解決專業問題的實例。本教材的很多專題是...
本書是按照教育部離散數學教學大綱,參考ACM & IEEE CC2001和CCC2002(中國計算機科學與技術學科教程)的教改要求編寫的。本書涵蓋了經典的“離散結構”或“離散數學”課程的主要內容,包括集合論基礎、邏輯代數、形式系統與形式推理、組合論...
《離散數學》是2005年科學出版社出版的圖書，作者是邵秀麗、王孝喜。內容簡介 本書介紹了命題邏輯、謂詞邏輯、集合及其運算、二元關係、函式、代數結構、格和布爾代數、圖論、樹、Petri網和運輸網路以及計數方法和分類原理等與計算機科學密切...
本書力求做到簡潔明了、易懂易學，注重理論與實際的結合，注意與後續課程的銜接.適合作為普通高等院校數學、計算機科學與技術等專業的本科生教材，也可供高職高專院校的師生參考使用.圖書目錄 第1章 集合論11.1 集合的概念與運算1 1....
前者有其他名稱，如計算理論、計算機理論、計算機科學基礎、計算機科學數學基礎等。數學文獻中一般指理論計算機科學。發展背景 計算機科學在20世紀60年代初作為一門獨立的學科出現，儘管作為其研究對象的電子數字計算機是在大約20年前發明的。
美國政府也成立了離散數學及理論計算機科學中心DIMACS（與Princeton大學，Rutgers大學，AT&T 聯合創辦的，設在Rutgers大學），該中心已是組合數學及理論計算機科學的重要研究陣地。美國國家數學科學研究所（Mathematical Sciences Research Institute...
具體方法和套用，內容包括命題邏輯、謂詞邏輯、集合與關係、函式與運算、群論初步、圖論基礎等，取材側重於介紹典型離散結構，以及如何建立離散結構的數學模型，或如何將已用連續數量關係建立起來的數學模型離散化,從而可由計算機加以處理.每...
《離散數學基礎及實用算法》可以作為普通高等學校、計算機、信息科學或其他相關專業本、專科教材，同時，可供科技人員、教學人員以及研究生參考。將離散數學理論教學與算法實現結合。將多種算法和數據結構有機結合。將離散數學理論與套用結合。
