本書是創(chuàng)新方法工作專項項目科學思維、科學方法在高等學校教學創(chuàng)新中的應用與實踐KM教學法的研究與實踐的主要研究成果之一，本書共分四篇：*篇為數(shù)理邏輯，包括命題羅輯和謂詞邏輯；第二篇為集合論，包括集合、二元關系、函數(shù)、集合的基數(shù)；第三篇為代數(shù)結構，包括代數(shù)系統(tǒng)、群論初步、格與布爾代數(shù)；第四篇為圖論，包括圖、圖的連通性、圖的矩陣表示和特殊圖等。本書力圖在內容、體例、結構、模式、處理、風格等方面，具有全新的格局。 本書可作為計算機、自動化、電子信息工程、通信科學與工程、管理科學與工程、系統(tǒng)科學與工程等專業(yè)本科生、研究生教材，并可供相關的教學科研人員與工程技術人員參考。