離散數(shù)學(上)

出版時間:1987-11  出版社:北京大學出版社  作者:陳進元,屈婉玲編  頁數(shù):268  字數(shù):200000  

內(nèi)容概要

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

書籍目錄

第一章 命題邏輯基本概念  1 命題符號化  2 合式公式與真值函數(shù)  習題一第二章 命題邏輯等值演算  1 等值關系  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 集合恒等式  習題八第九章 二元關系第十章 函數(shù)第十一章 集合的基數(shù)第十二章 公理集合論簡介參考書目部分習題的提示或解答

圖書封面

評論、評分、閱讀與下載


    離散數(shù)學(上) PDF格式下載


用戶評論 (總計0條)

 
 

 

250萬本中文圖書簡介、評論、評分,PDF格式免費下載。 第一圖書網(wǎng) 手機版

京ICP備13047387號-7