內(nèi)容簡(jiǎn)介本書共分四大部分，數(shù)理邏輯部分包括命題邏輯的基本概念、等值演算、范式與推理論，一階邏輯的基本概念、前束范式以及推理理論。集合論部分包括集合的基本概念與運(yùn)算，二元關(guān)系的性質(zhì)與運(yùn)算、等價(jià)關(guān)系與偏序關(guān)系，函數(shù)及其性質(zhì)，復(fù)合函數(shù)與反函數(shù)等。代數(shù)結(jié)構(gòu)部分包括二元運(yùn)算及代數(shù)系統(tǒng)，半群、獨(dú)異點(diǎn)、群、環(huán)與域、格與布爾代數(shù)等。圖論部分包括圖的基本概念和矩陣表示，樹的概念、性質(zhì)及應(yīng)用，二部圖，歐拉圖，哈密爾頓圖，平面圖，圖的著色等。