離散數(shù)學

定　價：￥10.00

作　者：	陳進元，屈婉玲編
出版社：	北京大學出版社
叢編項：
標　簽：	離散數(shù)學

購買這本書可以去

當當網(wǎng) (￥8.00)

ISBN：	9787301006740	出版時間：	1987-11-01	包裝：	精裝
開本：	21cm	頁數(shù)：	268頁	字數(shù)：

內(nèi)容簡介

　　本書系統(tǒng)地介紹了數(shù)理編輯的基礎(chǔ)知識和集合代數(shù)的部分內(nèi)容。包括命題編輯、集合、二元關(guān)系、函數(shù)、基數(shù)、公理集合論等。另外還附有部分習題的提示和解答。此書適用于自學青年閱讀，并且可供高等院校數(shù)學專業(yè)、計算機專業(yè)學生學習參考。

作者簡介

暫缺《離散數(shù)學》作者簡介

圖書目錄

第一章命題邏輯基本概念
1 命題符號化
2 合式公式與真值函數(shù)
習題一
第二章命題邏輯等值演算
1 等值關(guān)系
2 聯(lián)結(jié)詞的全功能集
3 析取范式與合取范式
習題二
第三章命題邏輯自然推理
1 推理的形式結(jié)構(gòu)
2 自然推理系統(tǒng)P
3 證明方法
習題三
第四章命題邏輯公理系統(tǒng)
1 公理系統(tǒng)與形式系統(tǒng)
2 公理系統(tǒng)L
L的演繹定理
L的性質(zhì)
習題四
第五章一階邏輯基本概念
1 一階邏輯命題符號化
2 一階語言
3 解釋與賦值
4 真與邏輯有效
習題五
第六章一階邏輯等值演算
1 一階邏輯等值式
2 置換規(guī)則
3 前束范式
習題六
第七章一階邏輯的形式推理
1 推理定律
2 自然推理系統(tǒng)F
3 公理系統(tǒng)K
4 K的性質(zhì)
習題七
第八章集合代數(shù)
1 集合的基本概念
2 集合的運算
3 集合恒等式
習題八
第九章二元關(guān)系
第十章函數(shù)
第十一章集合的基數(shù)
第十二章公理集合論簡介
參考書目
部分習題的提示或解答