作 者:王衛紅 等 編著
定 價:29
出 版 社:清華大學出版社
出版日期:2013年09月01日
頁 數:211
裝 幀:平裝
ISBN:9787302335238
《高等院校信息技術規劃教材:離散數學》適合作為高等學校計算機專業及相關專業的本科生教材,也可以供對離散數學有興趣的讀者自學。
●第1章命題邏輯
●1.1命題及聯結詞
●1.1.1命題的概念
●1.1.2原子命題和復合命題
●1.1.3聯結詞
●1.2命題的合式公式和翻譯
●1.2.1命題公式
●1.2.2命題公式的翻譯
●1.2.3真值表
●1.3公式的等價和蘊含
●1.3.1永真式、永假式和可滿足式
●1.3.2等價式和常用的等價式
●1.4全功能聯結詞集合
●1.5對偶與範式
●1.5.1對偶定義
●1.5.2對偶定理
●1.5.3析取範式和合取範式
●1.5.4主析取範式和主合取範式
●1.6推理理論
●1.6.1蘊含式
●部分目錄
《高等院校信息技術規劃教材:離散數學》繫統地介紹了計算機科學與技術等相關專業所必需的離散數學知識。全書共8章。靠前章介紹命題及命題邏輯,第2章介紹謂詞邏輯及其推理理論,第3章介紹集合與關繫的基本概念和性質,第4章介紹函數,第5章介紹代數繫統,第6章介紹格與布爾代數,第7章介紹圖論的基本概念及其性質,第8章介紹離散數學在計算機科學中的一些具體應用。