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

☆☆☆☆☆
簡體網頁||繁體網頁

楊樂著

下載链接在页面底部

點擊這裡下載

想要找書就要到圖書大百科

book.teaonline.club

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

發表於2024-11-13

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

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 複製鏈接

圖書介紹

店鋪：北京大學圖書專營店

齣版社：科學

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係統與乘積係統的評注
參考文獻
索引
《現代數學基礎叢書》齣版書目