內容簡介本書共分四大部分，數理邏輯部分包括命題邏輯的基本概念、等值演算、范式與推理論，一階邏輯的基本概念、前束范式以及推理理論。集合論部分包括集合的基本概念與運算，二元關系的性質與運算、等價關系與偏序關系，函數及其性質，復合函數與反函數等。代數結構部分包括二元運算及代數系統，半群、獨異點、群、環與域、格與布爾代數等。圖論部分包括圖的基本概念和矩陣表示，樹的概念、性質及應用，二部圖，歐拉圖，哈密爾頓圖，平面圖，圖的著色等。