內容簡介
本書是按*離散數學教學大綱的精神，並根據筆者多年來從事離散數學課程教學的實踐經驗以及計算機科研工作經驗編寫而成。主要內容包括數理邏輯、集合論、圖論、代數結構四個基本部分以及應用部分。應用部分主要介紹用計算機化簡邏輯函數、形式語言與自動機這兩個專題。
本書可作為計算機類各專業的教材，也可作為有關專業的教學用書，並可供有關專業的工程技術人員及具有高中（或職業高中）以上文化水平的讀者參考。
本書可作為計算機類各專業的教材，也可作為有關專業的教學用書，並可供有關專業的工程技術人員及具有高中（或職業高中）以上文化水平的讀者參考。
