內容簡介

全書共分六章，分別是緒論、命題邏輯、謂詞邏輯、集合論、代數繫統和圖論。主要內容有離散量與離散數學、命題公式演算、命題邏輯的推理理論、歸結演繹推理、謂詞公式演算、謂詞公式的解釋、自然演繹推理、集合運算、集合計數、鴿籠原理、容斥原關繫、偏序、函數與映射、集合的基數、代數運算、同態、同構、群、環、域、格、布爾代數、圖的基本概念、圖的矩陣表示、有向圖、歐拉圖、哈密頓圖、帶權圖、樹。