發表於2024-11-11
圖書基本信息 | |||
圖書名稱 | 數理邏輯引論與歸結原理(第2版典藏版)/現代數學基礎叢書 | 作者 | 王國俊,總:楊樂 |
定價 | 98.00元 | 齣版社 | 科學 |
ISBN | 9787030165831 | 齣版日期 | 2006-03-01 |
字數 | 316韆字 | 頁碼 | 255 |
版次 | 2 | 裝幀 | 平裝 |
開本 | 16開 | 商品重量 | 0.341Kg |
內容簡介 | |
王國俊著的《數理邏輯引論與歸結原理(第2版典 藏版)/現代數學基礎叢書》在版的基礎上進行修 訂再版,全書共9章,內容可分為Boole代數理論,命 題演算與謂詞演算理論,歸結原理理論,多值邏輯的* 新理論等4部分,同時,在**版的基礎上對“計量邏 輯學”,關於一階係統完備性的證明等諸多內容做瞭 補充或改寫。 本書可供計算機專業、應用數學專業、人工智能 專業的研究生與高年級本科生及教師閱讀 |
作者簡介 | |
目錄 | |
第二版前言 **版前言 第l章 預備知識 1.1 偏序集 1.2 格 1.3 Boole代數 第2章命題演算 2.1 命題及其符號化 2.2 命題演算的語義理論 2.3 命題演算的語構理論 第3章 一階謂詞演算的語義理論 3.1 一階語言 3.2 解釋、邏輯有效公式 3.3 邏輯等價 第4章 一階謂詞演算的語構理論 4.1 形式係統Kl 4.2 可證等價關係 4.3 前束範式 4.4 一階係統Kl的完備性 4.5 不含量詞的公式 第5章 Skolem標準形與Hcrbrand定理 5.1 引言 5.2 Skolem標準形 5.3 子句 5.4 正則函數係統與正則域 5.5 Hcrbrand域與Herbrand定理 5.6 Davis與Putnam方法 第6章 歸結原理 6.1 命題演算中的歸結方法 6.2 置換與閤一 6.3 謂詞演算中的歸結原理 6.4 歸結原理的完備性定理 6.5 求子句集S的簡化方法 第7章 歸結方法的簡化 7.1 引言 7.2 語義歸結 7.3 鎖歸結 7.4 綫性歸結 第8章 多值邏輯演算理論 8.1 引言 8.2 正則蘊涵算子 8.3 Mv代數 8.4 Lukasiewicz命題演算係統 8.5 R0代數 8.6 命題演算係統L 第9章 計量邏輯學 9.1 二值命題邏輯係統L中的計量邏輯理論 9.2 多值Lukasiewicz命題邏輯係統Ln與Lnk中的計量邏輯理論 9.3 多值R0-命題邏輯係統Ln與L中的計量邏輯理論 9.4 關於Godel係統與乘積係統的評注 參考文獻 索引 《現代數學基礎叢書》齣版書目 |
編輯推薦 | |
文摘 | |
序言 | |
正版:數理邏輯引論與歸結原理(第2版典藏版)/現代數學基礎叢書 9787030165831 下載 mobi pdf epub txt 電子書 格式 2024
正版:數理邏輯引論與歸結原理(第2版典藏版)/現代數學基礎叢書 9787030165831 下載 mobi epub pdf 電子書正版:數理邏輯引論與歸結原理(第2版典藏版)/現代數學基礎叢書 9787030165831 mobi epub pdf txt 電子書 格式下載 2024