基本信息
出版社: 科學出版社; 第1版 (2003年1月1日)
平裝: 274頁
正文語種: 簡體中文
開本: 16
ISBN: 7030109228
條形碼: 9787030109224
商品尺寸: 25.6 x 18.4 x 1.2 cm
商品重量: 481 g
品牌: 北京科瀚偉業教育科技有限公司
ASIN: B00114F9IM
內容簡介
《離散數學解題指導》是科學出版社2002版《離散數學導論》教材相配套的輔助教材，每章節包括了內容概述和習題解答兩部分。
目錄第一篇 數理邏輯
第一章 命題演算及其形式系統
1.1 命題與聯結詞
1.2 重言式
1.3 範式
△1.4 命題演算形式系統
第二章 謂詞演算及其形式系統
2.1 個體、謂詞和量詞
2.2 謂詞演算永真式
△2.3 謂詞公式的前束範式
△2.4 一階謂詞演算形式系統
第三章 消解原理
3.1 斯柯倫標準形
3.2 命題演算消解原理
3.3 謂詞演算消解原理
第二篇 集合論
第四章 集合及其運算
4.1 集合的基本概念
4.2 集合運算
4.3 集合的歸納定義及歸納法證明
第五章 關係
5.1 有序組與集合的笛卡兒積
5.2 關係
5.3 等價關係
5.4 序關係
第六章 函式
6.1 函式及函式的合成
6.2 特殊函式類
6.3 函式的逆
△6.4 函式、謂詞、集合
第七章 基數
7.1 有限集和無限集
7.2 基數
第三篇 圖論
第八章 圖
8.1 圖的基本知識
8.2 路徑、迴路及連通性
8.3 歐拉圖與哈密頓圖
8.4 圖的矩陣表示
第九章 特殊圖
9.1 二分圖
9.2 平面圖
9.3 樹
第四篇 抽象代數
第十章 代數結構通論
10.1 代數結構
10.2 同態、同構及同餘
△10.3 商代數與積代數
第十一章 群、環、域
11.1 半群
11.2 群
11.3 循環群和置換群
11.4 環
△11.5 域
△第十二章 格與布爾代數
△12.1 格
12.2 布爾代數
