三民網路書店 中國圖書館分類法 / 數理科學和化學 / 數學 / 代數、數論、組合理論 / 離散數學

本書系統地介紹了離散數學的基本概念、基本定理、運算規律以及離散數學在計算機科學與技術中的應用, 主要內容包括數理邏輯、集合論、關係、函數和圖論基礎。每章都有精選習題, 每個章節前都有學習目標和章節內容包含的思政點, 章節後有例題解析, 書後還有部分習題答案與提示。

本書分為四部分，共9章。第壹部分為數理邏輯，主要包括命題邏輯、一階邏輯及數理邏輯中的推理證明等內容。第二部分為集合論，主要包括集合、矩陣、關係和函數等內容。第三部分為圖論，主要包括圖的基本概念和矩陣表示、特殊圖和樹等內容。第四部分為代數系統，主要包括代數系統基礎、格與布爾代數等內容。

本書由命題演算基礎、命題演算的推理理論、謂詞演算基礎、謂詞演算的推理理論、遞歸函數論、集合、關係、函數與集合的勢、圖論、樹和有序樹、群和環、格與布爾代數共12章組成。

本書是與《離散數學(微課版)》配套的學習指導書，是根據高等院校“離散數學”課程的基本要求，結合編者多年的教學經驗編寫而成的。本書主要內容包括集合論，命題邏輯，謂詞邏輯，二元關係，特殊關係，參圖，特殊圖代數系統，群、環域，格與布爾代數，各章與主教材嚴格對應，每章包含學習目標及重難點、解題方法、習題參考答案及提示、應用實踐、章節測試5個部分，最後還提供了模擬試題卷及參考答案。 本書可幫助學生實現講練結合、靈活掌握、舉一反三等目標，旨在幫助讀者熟悉基礎知識，鞏固理論所學，熟練掌握離散數學的基本原理與核心知識點。

本書共8章，以數理邏輯為基礎，介紹命題邏輯、謂詞邏輯、集合論基礎、關係、函數、運算與代數系統、圖和初等數論基礎的相關內容，配套微課視頻、電子課件、知識導圖、部分習題解答等。本書內容不求大求全，根據工程教育的要求，著重介紹有應用價值的理論，避免理論上的纏繞，內容講解通俗明瞭，同時還增加了相當數量的工程應用方面的簡介，使學習者能夠快速瞭解這些理論的實際工程用途。 本書可作為高等學校計算機科學與技術、軟件工程、信息與計算科學以及其他信息領域相關專業離散數學課程的教材，也可供相關領域讀者自學使用。

本書是根據高等學校計算機教育系列教材《離散數學(第3版)》(主教材)編寫的配套指導用書。全書分為10章，每章包含內容提要、例題精選、應用案例、習題解答、編程答案5部分。內容提要簡述本章的主要定義、定理和重要公式等；例題精選包括一些典型題目及其詳細的分析解答；應用案例闡明相應章節的知識可以解決什麼樣的典型應用問題；習題解答包含與主教材配套的章後習題及答案；編程答案是第3版新增的內容。 本書既可以作為主教材的配套教學用書，也可以單獨使用，為學習離散數學的讀者在解題能力和技巧訓練方面提供有益幫助。

本書是針對高等院校離散數學課程而編寫的教材。全書共9章，分為數理邏輯、集合論、代數系統和圖論4個部分。主要內容包括命題邏輯、謂詞邏輯、集合、二元關係、函數、代數結構、格和布爾代數、圖和樹。在編寫過程中，作者充分考慮初學者的學習特點，在章節內容編排、敘述表達、例題選擇、課後習題等方面做了精心設計，內容通俗易懂、簡明扼要，大部分理論概念都用實例說明並配有一定數量的習題。 本書適合作為高等院校計算機、軟件工程、網絡工程、管理科學等專業的離散數學教材，也可作為計算機相關專業的自學參考書。

這是一本講解機器數字化發展的圖書，解讀為何離散這個如此簡單的理念卻如此強大。全書共分為四大部分：第一部分介紹可靠計算要面臨的各種障礙，如噪聲、信號缺陷、量子隧穿等；第二部分講解兩個改變我們生活的基本概念，即傅裡葉分析和噪聲環境中的編碼技術；第三部分則向更為複雜和有挑戰的領域進軍，詳述當代科學知識的極限，討論了本質上很難解決的問題的定義；在最後一部分，作者進行了能否超越當前的計算機，突破當前計算極限的途徑等思考，並引出了量子計算的能力以及機器人時代等問題。本書為信息技術類科普讀物，適合廣大對計算機科學、信息技術感興趣的讀者閱讀。

本書是在國家精品課程、國家精品資源共享課程和國家級一流本科課程“離散數學”的基礎上，結合卓越工程師教育培養計劃和新工科建設編寫而成的。全書共10章，系統介紹了數理邏輯、集合與關係、圖論，以及代數系統與布爾代數中的基本概念、算法、定理及其證明方法。本書不僅注重基本概念的描述，還特別注重闡述有關離散數學的證明方法及離散數學問題求解的算法，並且舉出大量的應用實例，充分展示了離散數學在軟件工程和計算機科學與技術中的基礎作用和強大應用。

本書的主要內容包括集合論、圖論、近世代數和數理邏輯4部分，共12章。集合論的內容包括集合及其運算、映射、關係、無窮集合及其基數； 圖論的內容包括圖的基本概念、樹與平面圖、有向圖與有向樹； 近世代數的內容包括群、環與域、格與布爾代數； 數理邏輯的內容包括命題邏輯和謂詞邏輯。每節後都配有難度不同的習題供讀者練習。 本書的內容既保持“離散數學”課程的沿續性，又具有時代感，強調基礎性和理論性，體現先進性、應用性、直觀性和啟發性。在內容闡述上力求嚴謹、翔實，論述嚴格，語言精練，通俗易懂，重點、難點突出。習題設計由淺入深，層次分明。 本書可以作為普通高等學校計算機類、電子信息類專業的“離散數學”課程教材，也可以供從事相關工作的人員參考。

離散數學是現代數學的重要分支，是計算機相關學科的基礎理論課之一，學生通過學習能夠得到嚴格的邏輯推理與抽象思維能力的訓練，能夠掌握數理邏輯、集合論、圖論等知識。本書分為數理邏輯、集合論和圖論三部分。其中數理邏輯部分包括命題邏輯、謂詞邏輯兩章，集合論部分包括集合論和二元關係兩章。本書適合作為普通高等學校計算機科學與技術、網絡工程及信息管理等專業教材，也可作為高職高專、成人高校相關專業教材。

本書從應用的角度介紹離散數學。全書共分6章，分別是命題邏輯、謂詞邏輯、集合與關係、代數結構、圖和有向圖。全書體系嚴謹，內容講解深入淺出，並配有大量與計算機科學相關的有實際背景的例題和習題。在每章最後增加了上機作業，可增強學生對課堂教學內容的理解和掌握，提高學生的學習興趣和動手能力。全書以二維碼的形式提供了教學視頻，有利於教師進行線上線下混合式教學，幫助學生更好地學習、理解和應用離散數學理論。本書可作為普通高等學校計算機科學與技術或相關專業的本科生教材。

本書是根據清華大學出版社與中國計算機學會共同規劃的“21世紀大學本科計算機專業系列教材”《離散數學(第4版)》(主教材)以及電子教案編寫的配套教學指導用書. 全書分為14章，每章包含內容提要、習題、習題解答與分析三部分. 內容提要總結了本章的主要定義、定理、公式、重要的結果等；習題部分包含了與上述內容配套的數十道題；習題解答與分析部分不但對上述習題給出了詳細的解答，而且對一些典型的解題方法做了比較深入的分析和總結. 總計超過500道題，涵蓋了數理邏輯、集合論、圖論、組合數字、數論、離散概率、代數結構等不同模塊的基本內容和典型的解題方法. 本書既可以作為主教材的配套教學用書，也可以單獨使用，為學習離散數學的讀者在解題能力和技巧的訓練方面提供有益的幫助.

本書分為數理邏輯、集合論、代數結構和圖論4個部分。其中數理邏輯部分描述一個符號化體系，這個體系可以描述集合論中的所有概念；集合論中有3個小模塊，即集合、關係、函數，關係是集合中笛卡兒乘積的子集，函數是關係的子集；代數系統是定義函數的運算；圖論是一類特殊的代數系統。 本書適合作為高等院校軟件工程專業和計算機專業離散數學課程的本科生教材，也可作為軟件工程與計算機等相關專業的自學參考書。

本書系統介紹了離散數學的基礎定義、定理及性質等基礎知識，著重引導學生認識離散數學與計算機專業課程之間的密切關係。例題選擇在傳統經典題型基礎上盡可能靠近計算機專業所學內容。每章的算法思想描述盡可能讓學生更直觀地認識離散數學理論與計算機專業之間的聯繫，從而理解計算機思維。 全書共分為四部分: 第一部分（第1～3章）為集合論，著重介紹了集合、關係和映射；第二部分（第4、5章）為數理邏輯，著重介紹了命題邏輯和謂詞邏輯;第三部分（第6～8章）為圖論，著重介紹了圖、歐拉圖和哈密爾頓圖、樹、二部圖和平面圖等特殊圖；第四部分（第9～11章）為代數系統，著重介紹了代數結構、環與域、格與布爾代數。每節後分級設計了課後習題，並附有題庫平臺，提供更多習題以及解答。 本書適合作為高等院校計算機相關專業本科生、大專生的教材或參考書，特別是作為離散數學教學改革探索者的教材或參考書。

離散數學是計算機類專業的重要專業基礎課程, 專門研究離散結構和相互關係的理論和方法, 在專業教學的課程體系中具有重要的理論支撐作用。離散數學的綜合、分析、推理等方法, 在計算機科學的理論研究和技術開發中有著廣泛的應用。本書系統介紹了離散數學的內容, 全書共分11章, 包括預備知識 (矩陣和組合數學基礎) 、集合論、命題邏輯、謂詞邏輯、關係、特殊關係、圖論基礎、特殊圖、代數系統、群和環域格。本書內容簡潔清晰, 相關內容融合了算法和程序, 問題分析和推理的注釋使用了程序員熟悉的格式。