面向計算機科學(xué)的數(shù)理邏輯

出版時間：2002-1 出版社：科學(xué)出版作者：陸鐘萬頁數(shù)：263 字?jǐn)?shù)：221000
Tag標(biāo)簽：無

內(nèi)容概要

　　本書敘述了與計算機科學(xué)有緊密聯(lián)系并且相互之間又有聯(lián)系的數(shù)理邏輯基礎(chǔ)性內(nèi)容，包括經(jīng)典邏輯和非經(jīng)典邏輯中的構(gòu)造性邏輯和模態(tài)邏輯.本書在選材時考慮了邏輯系統(tǒng)的特征，并且適應(yīng)計算機科學(xué)的要求，本書研究各種邏輯的背景、語言、語義、形式推演，以及可靠性和完備性等問題。本書大部分章節(jié)附有習(xí)題。

書籍目錄

緒論
第一章　預(yù)備知識
　1.1　集
　1.2　歸納定義和歸納證明
第二章　經(jīng)典命題邏輯
　2.1　聯(lián)結(jié)詞
　2.2　命題語言
　2.3　公式的結(jié)構(gòu)
　2.4　語義
　2.5　邏輯推論
　2.6　形式推演
　2.7　析取范式和合取范式
　2.8　聯(lián)結(jié)符號的完備集
第三章　經(jīng)典一階邏輯
　3.1　量詞
　3.2　一階語言
　3.3　語義
　3.4　邏輯推論
　3.5　形式推演
　3.6　前束范式
第四章　可靠性和完備性
　4.1　可滿足性和有效性
　4.2　可靠性
　4.3　極大協(xié)調(diào)性
　4.4　命題邏輯的完備性
　4.5　一階邏輯的完備性
　4.6　獨立性
第五章　緊致性定理、Lowenheim-Skolem定理、Herbrand定理
　5.1　緊致性定理和Lowenheim-Skolem定理
　5.2　Herbrand定理
第六章　公理推演系統(tǒng)
　6.1　公理推演系統(tǒng)
　6.2　兩種推演系統(tǒng)的關(guān)系
第七章　構(gòu)造性邏輯
　7.1　證明的構(gòu)造性
　7.2　形式推演
　7.3　語義
　7.4　可靠性
　7.5　完備性
第八章　模態(tài)命題邏輯
　8.1　模態(tài)命題語言
　8.2　形式推演
　8.3　語義
　8.4　可靠性
　8.5　T的完備性
　8.6　S4和S5的完備性
第九章　模態(tài)一階邏輯
　9.1　模態(tài)一階語言和形式推演
　9.2　語義
　9.3　可靠性
　9.4　完備性
　9.5　相等符號
附錄　自然推演中形式證明的簡明形式
參考文獻
符號表
漢英名詞對照表

編輯推薦

《面向計算機科學(xué)的數(shù)理邏輯》由科學(xué)出版社出版。讀者對象為高校計算機專業(yè)師生，科研人員。

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

還沒讀過(11)
勉強可看(815)
一般般(139)
內(nèi)容豐富(5771)
強力推薦(473)

面向計算機科學(xué)的數(shù)理邏輯 PDF格式下載

用戶評論 (總計26條)

計算機方向的必備教科書。
比較經(jīng)典，有點難。
這本書很好，快遞速度也很快，很滿意
這本書比較滿意，很是喜歡
內(nèi)容沒有錯誤，這就很不容易了！
沒仔細(xì)看，覺得難懂
書是給研究生用的，但本科生也可以，網(wǎng)上有這老師的視頻，跟著學(xué)···
這本是計算機科學(xué)入門基礎(chǔ)。很好的。講的也是最好，我建議做計算機科學(xué)研究的人認(rèn)真和一些博士論文集合起來看。會有預(yù)想不到的效果
書到地還算及時，還不錯！
考博所需，還沒開始看
剛拿到書，還來不及細(xì)看，不知是否能讓人激動。
本書涵蓋數(shù)理邏輯的基本概念、定理、公式等，可以當(dāng)做一本查閱的小工具書用
書到了，回來拆開后發(fā)現(xiàn)前幾頁已經(jīng)開膠，一碰都要掉了！！這次有點失望。希望將要到來的其他幾本書能好點吧?。?/li>
該書要不是學(xué)校指定要買，我是不會買的。實在是過于理論化，實踐性不強，就像又臭又長的裹腳布。?？戳酥螅€是后悔買。應(yīng)該不管學(xué)校的指定書籍，直接買個其他同類的數(shù)理邏輯的書，動手性強點的，起碼也好歹能多學(xué)點知識。
感覺很好，紙張質(zhì)量還行。
課本。。。必備。。。。
看不到想要的內(nèi)容，一般般
質(zhì)量不錯，學(xué)習(xí)正好用到，好評
研究生課程老師推薦的教材
書內(nèi)容著實是寫給那些需要細(xì)細(xì)研究數(shù)理邏輯的學(xué)者的~~內(nèi)容挺好，偏難
質(zhì)樸平實，經(jīng)典之作！
很實用，很系統(tǒng)的一本書。
經(jīng)典的書，不多說了！可惜現(xiàn)在網(wǎng)上的教學(xué)視頻找不到了
書的質(zhì)量挺好的，買了感覺挺值得。
可以搜索優(yōu)酷看。PS：最好還是下載下來，不知道什么時候就沒有了。
送貨相當(dāng)快啊，滿意的很

面向計算機科學(xué)的數(shù)理邏輯

用戶評論 (總計26條)

推薦圖書

相關(guān)圖書