《離散數學及其套用》是2010年7月出版的一本圖書，作者是魏雪麗。本書力求提供培養學生在數學、計算機套用方面的抽象思維和嚴密的邏輯推理能力。
基本介紹
- 書名：離散數學及其套用
- 作者：魏雪麗
- ISBN：978-7-111-23535-4
- 出版時間：2010-07-21
- 開本：平
- 責編：劉麗敏
內容簡介,章節目錄,
離散數學及其套用 | |||
書號： | 23535 | ISBN： | 978-7-111-23535-4 |
作者： | 魏雪麗 | 印次： | 1-2 |
責編： | 劉麗敏 | 開本： | 16 |
字數： | 456 千字 | 定價： | ￥30.00 |
所屬叢書： | 普通高等教育“十一五”計算機類規劃教材 | ||
裝訂： | 平 | 出版日期： | 2010-07-21 |
內容簡介
本書作為計算機科學與技術及信息類專業的基礎理論教材，主要內容包括命題邏輯、謂詞邏輯、集合與關係、映射、代數結構、格與布爾代數、圖論等知識，對相關知識的專業套用內容也作了介紹。離散數學與計算機科學中的數據結構、作業系統、編譯理論、算法分析、邏輯設計、系統結構、容錯診斷、機器定理證明等理論課程聯繫緊密。
本教材在內容的組織上，力求提供培養學生抽象思維、慎密概括和嚴密的邏輯推理能力的同時，注重展現離散數學在計算機科學及信息科學中的套用，以增強學生使用離散數學知識分析問題和解決問題的能力，為今後處理離散信息，從事計算機軟體的開發與設計以及計算機科學及信息科學中的其他實際套用打好數學基礎。
章節目錄
前言
第1章 命題邏輯
第2章 謂詞邏輯
第3章 集合與關係
第4章 映射
第5章 代數結構
第6章 格與布爾代數
第7章 圖論
參考文獻
