離散數學基礎 （第2版）

離散數學，是現代數學的一個重要分支，是計算機科學中基礎理論的核心課程.離散數學是隨著計算機科學的發展而逐步建立的.它形成於20世紀70年代初期，是一門新興的工具性學科.為適應計算機科學教學的需要，組織編寫了這本理工科院校計算機專業適用的基礎教材. 內容包括：數理邏輯；謂詞邏輯；集合代數；二元關係；函式；代數結構；格與布爾代數；圖論等. 本書特色是內容實用，敘述簡捷，實例突出，非常適合大專院校師生和有關科技人員使用. 不僅能為學習專業課打下良好的基礎，同時也能適當培養他們抽象思維和縝密邏輯推理的能力.

圖書簡介

本書包含四部分內容：數理邏輯、集合論初步、代數結構與圖論.
第1章 數理邏輯.
第2章 謂詞邏輯.
第3章 集合代數.
第4章 二元關係：包括關係的基本概念及若干特殊關係.
第5章 函式：包括映射等基礎知識.
第6章 代數結構：屬於近世代數的群環域部分，側重介紹群論，環與域的內容相對較少.
第7章 格與布爾代數：介紹了一些基本概念和基礎知識，作為偏序集理論的延伸.
第8章 介紹圖論方面的基本知識.
該書2004年正式在中國科學技術大學出版社出版發行.2007年由安徽工程科技學院和出版社共同推薦,經專家評審,被列入安徽省高等學校“十一五”省級規劃教材.在本次修訂和編寫過程中，我們參閱了大量的離散數學書籍和相關資料，在此也向有關作者表示衷心的感謝，並對張玥、楊緒兵、譚志杭等老師在校對原稿時提出的寶貴意見表示謝意. 

目錄

前言

第1章 數理邏輯

第2章 謂詞邏輯

第3章 集合代數

第4章 二元關係

第5章 函式

第6章 代數結構

第7章 格與布爾代數

第8章 圖論

符號表

參考文獻