图书介绍：本书是创新方法工作专项项目“科学思维、科学方法在高等学校教学创新中的应用与实践——KM教学法的研究与实践”的主要研究成果之一，本书共分四篇：第一篇为数理逻辑，包括命题罗辑和谓词逻辑；第二篇为集合论，包括集合、二元关系、函数、集合的基数；第三篇为代数结构，包括代数系统、群论初步、格与布尔代数；第四篇为图论，包括图、图的连通性、图的矩阵表示和特殊图等。本书力图在内容、体例、结构、模式、处理、风格等方面，具有全新的格局。
本书可作为计算机、自动化、电子信息工程、通信科学与工程、管理科学与工程、系统科学与工程等专业本科生、研究生教材，并可供相关的教学科研人员与工程技术人员参考。