離散數(shù)學(xué)教程

內(nèi)容概要

本書全面介紹了計算機(jī)專業(yè)必備的離散數(shù)學(xué)基礎(chǔ)知識，全書共分10章，內(nèi)容包括數(shù)理邏輯，集合。關(guān)系，函數(shù)，無限集和基數(shù)，代數(shù)系統(tǒng)概論，群、環(huán)和域，格與布爾代數(shù)，圖論，模型論淺述?！　”緯凑照J(rèn)識論的規(guī)律介紹知識，用方法論指導(dǎo)定理證明與推導(dǎo)。因此，本書的介紹深人淺出，特別適合于作為高等院校理工科各專業(yè)本科生的教材，也適合于相關(guān)領(lǐng)域的科技工作者參考使用。

書籍目錄

第1章　數(shù)理邏輯 　1.1　命題邏輯的基本概念 　1.2　命題邏輯中的推理規(guī)則和證明方法 　1.3　命題演算與公理系統(tǒng) 　1.4　一階謂詞邏輯的基本概念 　1.5　謂詞演算的推理規(guī)則與證明方法 　1.6　自動定理證明與消解原理 　1.7　Robinson消解原理 　1.8　Horn子句問題求解邏輯 第2章　集合 　2.1　集合的基本概念和表示方法 　2.2　集合的運(yùn)算 　2.3　歸納定義與歸納證明 　2.4　歸納證明 　2.5　語言的“并置”運(yùn)算、“冪”運(yùn)算和“閉包”運(yùn)算 第3章　關(guān)系 　3.1　關(guān)系的基本概念 　3.2　關(guān)系的性質(zhì) 　3.3　關(guān)系的復(fù)合運(yùn)算 　3.4　關(guān)系的冪運(yùn)算 　3.5　逆關(guān)系及其性質(zhì) 　3.6　關(guān)系的閉包運(yùn)算 　3.7　次序關(guān)系 　3.8　等價關(guān)系與劃分 　3.9　相容關(guān)系 第4章　函數(shù) 　4.1　基本概念 　4.2　特殊函數(shù)類 　4.3　逆函數(shù) 　4.4　置換 　4.5　運(yùn)算 第5章　無限集和基數(shù) 　5.1　無限集的基本概念 　5.2　可數(shù)集與不可數(shù)集 　5.3　不可數(shù)無限集及其基數(shù) 　5.4　基數(shù)的比較 　5.5　無限集合的特性 第6章　代數(shù)系統(tǒng) 　6.1　代數(shù)系統(tǒng)的組成與分類 　6.2　代數(shù)系統(tǒng)的公理 　6.3　代數(shù)運(yùn)算的規(guī)則和特異元素 　6.4　子代數(shù) 　6.5　常見代數(shù)系統(tǒng)的實例 　6.6　代數(shù)系統(tǒng)的同構(gòu)與同態(tài) 　6.7　同余關(guān)系 　6.8　商代數(shù)和積代數(shù) 第7章　群、環(huán)和域 　7.1　半群和獨(dú)異點 　7.2　群 　7.3　環(huán)和域 第8章　格與布爾代數(shù) 　8.1　格是滿足一定條件的偏序集合 　8.2　格是滿足一定公理的代數(shù)系統(tǒng) 　8.3　子格與格的積代數(shù) 　8.4　格的同態(tài)與同構(gòu) 　8.5　特殊格 　8.6　布爾代數(shù) 第9章　圖論 　9.1　圖的基本概念 　9.2　路徑和回路 　9.3　圖的矩陣表示 　9.4　平面圖 　9.5　二部圖（偶圖） 　9.6　樹 　9.7　根樹（有向樹） 　9.8　支撐樹和割集 第10章　模型論淺述 　10.1　邏輯科學(xué)的發(fā)展概要 　10.2　數(shù)理邏輯的形成與發(fā)展 　10.3　模型論的發(fā)展歷史 　10.4　模型論的研究內(nèi)容 　10.5　模型論的研究方法 參考文獻(xiàn)

圖書封面

評論、評分、閱讀與下載

---

    離散數(shù)學(xué)教程 PDF格式下載

---