離散數(shù)學(xué)學(xué)習(xí)輔導(dǎo)

內(nèi)容概要

　　《離散數(shù)學(xué)學(xué)習(xí)輔導(dǎo)》是普通高等院校數(shù)學(xué)、計(jì)算機(jī)科學(xué)與技術(shù)等專業(yè)適用的本科生教學(xué)參考書.內(nèi)容包括數(shù)理邏輯中的命題邏輯、一階謂詞邏輯，集合論，代數(shù)系統(tǒng)和布爾代數(shù)，圖論等理論的基本概念和基礎(chǔ)知識(shí).各章均由基礎(chǔ)知識(shí)、教學(xué)要求、典型習(xí)題、課后習(xí)題及答案、練習(xí)題及答案、自測(cè)與測(cè)試六部分構(gòu)成.
　　《離散數(shù)學(xué)學(xué)習(xí)輔導(dǎo)》習(xí)題分層次設(shè)置，符合學(xué)生的認(rèn)知規(guī)律，便于學(xué)生自主學(xué)習(xí)參考,適合理工科院校及高職高專相關(guān)專業(yè)的教師和學(xué)生參閱.

書籍目錄

第1章 集合論
1.1 基礎(chǔ)知識(shí)
1.1.1 集合的概念與運(yùn)算
1.1.2 二元關(guān)系
1.1.3 關(guān)系的性質(zhì)及閉包運(yùn)算
1.1.4 關(guān)系的閉包運(yùn)算
1.1.5 序關(guān)系
1.1.6 等價(jià)關(guān)系
1.1.7 映射
1.1.8 數(shù)學(xué)歸納法
1.1.9 計(jì)數(shù)
1.1.10 排列組合生成算法
1.1.11 離散概率簡(jiǎn)介
1.2 教學(xué)要求
1.3 典型習(xí)題
1.4 課后習(xí)題及答案
1.5 練習(xí)題及答案
1.6 自測(cè)與測(cè)試
參考答案
第2章 命題邏輯
2.1 基礎(chǔ)知識(shí)
2.1.1 命題與聯(lián)結(jié)詞
2.1.2 命題公式、指派及真值表
2.1.3 命題公式的等值式
2.1.4 主析取范式和主合取范式
2.1.5 聯(lián)結(jié)詞完備集
2.1.6 可滿足性問題與消解法
2.1.7 推理的形式結(jié)構(gòu)
2.1.8 自然推理系統(tǒng)n中的形式證明
2.2 教學(xué)要求
2.3 典型習(xí)題
2.4 課后習(xí)題及答案
2.5 練習(xí)題及答案
2.6 自測(cè)與測(cè)試
參考答案
第3章 謂詞邏輯
3.1 基礎(chǔ)知識(shí)
3.1.1 基本概念
3.1.2 一階邏輯公式及解釋
3.1.3 一階邏輯等值式
3.1.4 前束范式與斯科林范式
3.1.5 謂詞演算的推理理論
3.2 教學(xué)要求
3.3 典型習(xí)題
3.4 課后習(xí)題及答案
3.5 練習(xí)題及答案
3.6 自測(cè)與測(cè)試
參考答案
第4章 公理系統(tǒng)下的形式證明
4.1 基礎(chǔ)知識(shí)
4.1.1 命題邏輯的公理推理系統(tǒng)
4.1.2 謂詞邏輯的公理系統(tǒng)
4.1.3 定理的機(jī)器證明
4.2 教學(xué)要求
第5章 圖論
5.1 基礎(chǔ)知識(shí)
5.1.1 圖的基本概念
5.1.2 通路、回路與連通性
5.1.3 歐拉圖與中國(guó)郵遞員問題
5.1.4 哈密爾頓圖與旅行售貨商問題
5.1.5 樹
5.1.6 圖的矩陣表示
5.1.7 平面圖與圖的著色
5.2 教學(xué)要求
5.3 典型習(xí)題
5.4 課后習(xí)題及答案
5.5 練習(xí)題及答案
5.6 自測(cè)與測(cè)試
參考答案
第6章 代數(shù)系統(tǒng)
6.1 基礎(chǔ)知識(shí)
6.1.1 二元運(yùn)算與代數(shù)系統(tǒng)
6.1.2 群和半群
6.1.3 子群
6.1.4 循環(huán)群和生成群，群的同構(gòu)
6.1.5 變換群和置換群，凱萊定理
6.1.6 子群的陪集和拉格朗日定理
6.1.7 正規(guī)子群和商群
6.1.8 共軛元和共軛子群
6.1.9 群的同態(tài)
6.1.10 環(huán)與域
6.2 教學(xué)要求
6.3 典型習(xí)題
6.4 課后習(xí)題及答案
6.5 練習(xí)題及答案
6.6 自測(cè)與測(cè)試
參考答案
第7章 格與布爾代數(shù)
7.1 基礎(chǔ)知識(shí)
7.1.1 格
7.1.2 格同態(tài)
7.1.3 分配格和有補(bǔ)格
7.1.4 布爾代數(shù)
7.1.5 布爾函數(shù)及其表達(dá)式
7.2 教學(xué)要求
7.3 典型習(xí)題
7.4 課后習(xí)題及答案
7.5 練習(xí)題及答案
7.6 自測(cè)與測(cè)試
參考答案

圖書封面

評(píng)論、評(píng)分、閱讀與下載

---

    離散數(shù)學(xué)學(xué)習(xí)輔導(dǎo) PDF格式下載

---