離散數學

本書講解了命題邏輯、謂詞邏輯、集合與關係、代數系統和圖論五方面內容，各章相對獨立又互有聯繫，證明力求平實，定理、例題、習題、實驗題互相呼應，深入淺出。