內容簡介
本書分為四部分,共9章。第一部分為數理邏輯,主要包括命題邏輯、一階邏輯及數理邏輯中的推理證明等內容。第二部分為集合論,主要包括集合、矩陣、關繫和函數等內容。第三部分為圖論,主要包括圖的基本概念和矩陣表示、特殊的圖和樹等內容。第四部分為代數繫統,主要包括代數繫統基礎、格與布爾代數等內容。
本書內容豐富,層次分明,重點突出,並注重離散數學的實用性,可以為計算機專業學生提供重要的數學基礎。本書可作為計算機專業本科生、大專生等的理論教學教材。
為配合教學,本書配有電子課件、教學大綱、習題答案等教學資源,有需要的教師可登錄機械工業出版社教育服務網(www.cmpedu.com)免費注冊,審核通過後下載,或聯繫編輯索取(微信:18515977506,電話:010-88379739)。本書還配有教學視頻,讀者可在正文中掃描二維碼觀看。
本書內容豐富,層次分明,重點突出,並注重離散數學的實用性,可以為計算機專業學生提供重要的數學基礎。本書可作為計算機專業本科生、大專生等的理論教學教材。
為配合教學,本書配有電子課件、教學大綱、習題答案等教學資源,有需要的教師可登錄機械工業出版社教育服務網(www.cmpedu.com)免費注冊,審核通過後下載,或聯繫編輯索取(微信:18515977506,電話:010-88379739)。本書還配有教學視頻,讀者可在正文中掃描二維碼觀看。