內容簡介
《離散數學實驗與習題解析》本書是國家精品課程“離散數學”主講教材《離散數學及其套用》的配套實驗與習題指導書。本書根據離散數學課程教學的基本要求，為計算機以及相關專業的本、專科學生更好地完成離散數學課程的課後練習和套用實踐而編寫。全書分為兩大部分，第一部分是離散數學套用及實驗，幫助學生進行課程實踐，培養對離散數學課程的興趣和動手能力。第二部分為習題及其解答。
目錄
第一篇 離散數學套用及實驗
第1章 集合論的套用和實驗
1.1 集合論在計算機科學中的套用
1.2 集合的計算機表示
1.2.1 數組法
1.2.2 鍊表法
1.2.3 位串法
1.3 集合論實驗
1.3.1 實驗目的及要求
1.3.2 實驗內容及步驟
第2章 數理邏輯的套用和實驗
2.1 數理邏輯在計算機科學中的套用
2.2 邏輯的計算機表示
2.2.1 命題邏輯的計算機表示
2.2.2 謂詞邏輯的計算機表示
