離散數學

內容簡介

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