本书包括离散数学四大分支的基础理论：数理逻辑、图论、集合论、抽象代数学。它既注重离散数学内容本身的系统完善，同时又注重与计算机科学的密切联系，具有结构合理、内容系统、阐释新颖的特点。