離散數(shù)學(xué)（上）

內(nèi)容概要

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

書籍目錄

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

圖書封面

評論、評分、閱讀與下載

---

    離散數(shù)學(xué)（上） PDF格式下載

---