出版時間: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ù)第十二章 公理集合論簡介參考書目部分習題的提示或解答
圖書封面
評論、評分、閱讀與下載