內容簡介
本書分4篇,共10章。靠前篇是數理邏輯,內容包括命題邏輯和謂詞邏輯;第2篇是集合論,內容包括集合、關繫、函數、集合的基數;第3篇是代數繫統,內容包括代數繫統的基本概念和性質、群、環、域、格與布爾代數;第4篇是圖論,內容包括圖的基本概念和性質、幾類重要的圖(樹、哈密爾頓圖、歐拉圖、平面圖等)。靠前0章給出了離散數學在計算機類專業課程中的應用。
書中4部分各自成篇,在每篇開始處都有知識背景的介紹,講解上可以根據情況調整先後順序。全書編寫力求語言簡練、通俗易懂,精簡了繁雜的理論證明,隻給出方法性較強的定理的證明,強化了邏輯推理及應用內容,各章都配有典型例子和適量的習題,便於讀者理解和掌握內容。附錄給出了本書中常見的符號及其說明。
本書可作為高校計算機及相關專業的教材,也可供技術人員學習......