第一篇數理邏輯第1章命題邏輯1．1命題及其表示法和聯結詞1．2命題公式與翻譯1．3真值表與等價式1．4公式的恒真與蘊含1．5形式演繹1．6范式與主范式第2章一階邏輯2．1一階邏輯的概念與表示2．2一階邏輯公式與翻譯2．3等價式與前束范式2．4一階邏輯推理理論第二篇集合論第3章集合的基本概念與運算3．1集合的概念與表示法3．2集合的基本運算3．3笛卡爾乘積第4章關系4．1關系及其表示4．2關系的性質4．3關系的運算4．4關系的閉包4．5等價關系4．6偏序關系第5章函數5．1函數的定義和性質5．2逆函數與復合函數第三篇代數系統(tǒng)第6章代數結構6．1代數系統(tǒng)的基本概念6．2運算的性質6．3同態(tài)與同構第7章群論7．1半群與群7．2變換群與置換群7．3子群與循環(huán)群7．4陪集與不變子群7．5商群與群的同態(tài)第8章幾個特殊的代數系統(tǒng)8．1環(huán)與域8．2格與布爾代數第四篇圖論第9章圖的概念9．1圖的基本概念9．2圖的連通性、路、回路9．3圖的矩陣表示9．4權圖中的最短路問題第10章特殊圖10．1歐拉圖10．2漢密爾頓圖10．3平面圖第11章樹11．1無向樹11．2有向樹與根樹11．3二叉樹及其應用總復習題總復習題答案
鄂公網安備 42010302001612號 