正版:數理邏輯引論與歸結原理(第2版典藏版)/現代數學基礎叢書 9787030165831

正版:數理邏輯引論與歸結原理(第2版典藏版)/現代數學基礎叢書 9787030165831 下載 mobi epub pdf 電子書 2024


簡體網頁||繁體網頁
楊樂 著



點擊這裡下載
    

想要找書就要到 圖書大百科
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

發表於2024-11-11

類似圖書 點擊查看全場最低價


圖書介紹

店鋪: 北京大學圖書專營店
齣版社: 科學
ISBN:9787030165831
商品編碼:28686938321
包裝:平裝
齣版時間:2006-03-01


相關圖書





圖書描述

   圖書基本信息
圖書名稱 數理邏輯引論與歸結原理(第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 epub pdf txt 電子書 格式

正版:數理邏輯引論與歸結原理(第2版典藏版)/現代數學基礎叢書 9787030165831 mobi 下載 pdf 下載 pub 下載 txt 電子書 下載 2024

正版:數理邏輯引論與歸結原理(第2版典藏版)/現代數學基礎叢書 9787030165831 下載 mobi pdf epub txt 電子書 格式 2024

正版:數理邏輯引論與歸結原理(第2版典藏版)/現代數學基礎叢書 9787030165831 下載 mobi epub pdf 電子書
想要找書就要到 圖書大百科
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

用戶評價

評分

評分

評分

評分

評分

評分

評分

評分

評分

類似圖書 點擊查看全場最低價

正版:數理邏輯引論與歸結原理(第2版典藏版)/現代數學基礎叢書 9787030165831 mobi epub pdf txt 電子書 格式下載 2024


分享鏈接




相關圖書


本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度google,bing,sogou

友情鏈接

© 2024 book.teaonline.club All Rights Reserved. 圖書大百科 版權所有