內容簡介

本書分為數理邏輯、集合論、代數結構和圖論4個部分。其中數理邏輯部分描述一個符號化體繫，這個體繫可以描述集合論中的所有概念；集合論中有3個小模塊，即集合、關繫、函數，關繫是集合中笛卡兒乘積的子集，函數是關繫的子集；代數繫統是定義函數的運算；圖論是一類特殊的代數繫統。
本書適合作為高等院校軟件工程專業和計算機專業離散數學課程的本科生教材，也可作為軟件工程與計算機等相關專業的自學參考書。