出版時(shí)間:2002-9-1 出版社:北京大學(xué)出版社 作者:耿素云,屈婉玲 頁(yè)數(shù):245
內(nèi)容概要
本書共分四大部分,數(shù)理邏輯部分包括命題邏輯的基本概念、等值演算、范式與推理論,一階邏輯的基本概念、前束范式以及推理理論。集合論部分包括集合的基本概念與運(yùn)算,二元關(guān)系的性質(zhì)與運(yùn)算、等價(jià)關(guān)系與偏序關(guān)系,函數(shù)及其性質(zhì),復(fù)合函數(shù)與反函數(shù)等。代數(shù)結(jié)構(gòu)部分包括二元運(yùn)算及代數(shù)系統(tǒng),半群、獨(dú)異點(diǎn)、群、環(huán)與域、格與布爾代數(shù)等。圖論部分包括圖的基本概念和矩陣表示,樹的概念、性質(zhì)及應(yīng)用,二部圖,歐拉圖,哈密爾頓圖,平面圖,圖的著色等。
書籍目錄
第一部分 數(shù)理邏輯 第一章 命題邏輯 1.1 命題與聯(lián)結(jié)詞 1.2 命題公式與賦值 1.3 等值演算 1.4 權(quán)取范式與合取范式 1.5 命題邏輯的推理理論 1.6 例題分析 習(xí)題一 第二章 一階邏輯 2.1 一階邏輯的基本概念 2.2 一階邏輯公式及解釋 2.3 一階邏輯等值式與前束范式 2.4 一階邏輯推理理論 2.5 例題分析 習(xí)題二第二部分 集合論 第三章 集合的基本概念和運(yùn)算 3.1 集合的基本概念 3.2 集合的基本運(yùn)算 3.3 集合桓等式 3.4 有窮集合的計(jì)數(shù) 3.5 例題分析 習(xí)題三 第四章 二元關(guān)系和函數(shù) 4.1 集合的笛卡兒積和二元關(guān)系 4.2 關(guān)系的運(yùn)算 4.3 關(guān)系的性質(zhì) 4.4 關(guān)系的閉包 4.5 等價(jià)關(guān)系和偏序關(guān)系 4.6 函數(shù)的定義和性質(zhì) 4.7 函數(shù)的復(fù)合和反函數(shù) 4.8 例題分析第三部分 代數(shù)結(jié)構(gòu) 第五章 代數(shù)系統(tǒng)的一般概念 5.1 代數(shù)系統(tǒng)的一般概念 5.2 代數(shù)系統(tǒng)及其子代數(shù)和積代數(shù) 5.3 代數(shù)系統(tǒng)的同態(tài)與同構(gòu) 5.4 例題分析 習(xí)題五 第六章 幾個(gè)典型的代數(shù)系統(tǒng) 6.1 關(guān)群與獨(dú)異點(diǎn) 6.2 群與子群 6.3 循環(huán)群與置換群 6.4 群的直積與同態(tài) 6.5 環(huán)與域 6.6 格與布爾代數(shù) 6.7 例題分析 習(xí)題六第四部分 圖論 第七章 圖的基本概念 第八章 樹 第九章 二部圖、歐拉圖、哈密爾頓圖 第十章 平面圖及圖的著色習(xí)題的提示或解答附錄A 離散數(shù)學(xué)課程考試大綱 B 模擬試題 C 模擬試題解答
圖書封面
評(píng)論、評(píng)分、閱讀與下載