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