☆☆☆☆☆




點擊這裡下載

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

---

內容簡介

　　 《數理邏輯（第2版）》內容分兩部分：第一部分屬數理邏輯基礎，包含命題演算與謂詞演算的基本知識。第二部分為形式算術與Godel不完備性定理。
《數理邏輯（第2版）》對Godel不完備性定理、Godel-Rosser定理、Tarski定理及形式算術的不可判定性定理等都提供瞭完整的證明。結閤對Church論題與Turing論題的介紹，對這些定理的意義進行瞭討論。書中還提齣瞭Godel第二不完備性定理的一種易證形式。
《數理邏輯（第2版）》可用作計算機專業研究生或高年級本科生教材，並可供數學、哲學、邏輯等專業研究及教學人員參考。

目錄

再版前言
前言
引言
0 預備知識
0.1 集論初等概念
0.2 Peano自然數公理
0.3 可數集
1 命題演算
1.1 命題聯結詞與真值錶
1.2 命題演算的建立
1.2.1 命題演算公式集
1.2.2 命題演算L
1.2.3 演繹定理
1.2.4 反證律與歸謬律
1.2.5 析取，閤取與等值
1.3 命題演算的語義
1.3.1 真值函數
1.3.2 賦值與語義推論
1.4 命題演算L的可靠性與完全性
1.5 命題演算的其他課題
1.5.1 等值公式與對偶律
1.5.2 析取範式與閤取範式
1.5.3 運算的完全組
1.5.4 應用舉例
2 謂詞演算
2.1 謂詞演算的建立
2.1.1 項與原子公式
2.1.2 謂詞演算公式集
2.1.3 謂詞演算K
2.1.4 其他課題：對偶律與前束範式
2.2 謂詞演算的語義
2.2.1 謂詞演算K的解釋域與項解釋
2.2.2 公式的賦值函數
2.2.3 閉式的語義特徵
2.2.4 語義推論與有效式
2.3 K的可靠性
2.4 K的完全性
3 形式算術與遞歸函數
3.1 帶等詞的謂詞演算
3.2 形式算術KN
3.3 可錶示函數與關係
3.3.1 什麼是可錶示
3.3.2 函數的復閤和μ算子保持可錶示性
3.4 遞歸函數
3.4.1 遞歸函數的一般定義
3.4.2 遞歸關係和遞歸集
3.5 遞歸函數的可錶示性
3.6 對KN的遞歸分析
3.6.1 唯一讀法引理
3.6.2 Godel數
3.6.3 過程值遞歸
3.6.4 KN的一些遞歸性質
4 不完備性定理
4.1 Godel不完備性定理
4.1.1 Godel定理
4.1.2 Godel-Rosser定理
4.1.3 Church論題
4.1.4 關於不完備性定理的一些討論
4.1.5 GiSdel第二不完備性定理
4.2 形式算術的不可判定性定理
4.3 遞歸可枚舉集與算術集
4.3.1 可證公式集的遞歸可枚舉性
4.3.2 遞歸可枚舉集的算術可定義性
4.3.3 真公式集的非算術可定義性
4.4 Tufing機與Turing論題
4.5 人與機器
部分練習答案或提示
符號匯集
參考文獻

精彩書摘

2 謂詞演算
上一章建立的命題演算L中，命題變元用於錶示簡單命題，是不能再分割的最小單位——L的“原子”。這一點使L這個模型比較簡單，但也限製瞭L的應用範圍．比如，古典三段論法就不能很好地納入到L中去，讓我們考察下麵的推理實例：
“金屬都是導電體，銅是金屬，所以銅是導電體。”
這個推理方法無法在命題演算L的框架內得到正確錶現。
……

前言/序言

數理邏輯（第2版） 下載 mobi epub pdf txt 電子書

評分☆☆☆☆☆

好書

評分☆☆☆☆☆

剛看瞭元數學導論，再用這本書補充一下

評分☆☆☆☆☆

《數理邏輯（第2版）》對Godel第一不完備性定理、Godel-Rosser定理、Tarski定理及形式算術的不可判定性定理等都提供瞭完整的證明。結閤對Church論題與Turing論題的介紹，對這些定理的意義進行瞭討論。書中還提齣瞭Godel第二不完備性定理的一種易證形式。

評分☆☆☆☆☆

印刷很好，沒有字跡不清等問題

評分☆☆☆☆☆

短小精悍，內容充實，非常不錯！

評分☆☆☆☆☆

有深度是好的，不過有時候論述過程稍顯簡略

評分☆☆☆☆☆

好

評分☆☆☆☆☆

書收到瞭，速度非常快對於有錢人來說，他們不在乎東西值多少錢，和女朋友在一起他們注重的是心上人的開心，和領在一起，他們在乎的是給領買些高貴的東西，指望著自己有機會高升，和小三在一起，我就不多說瞭，對於我們農村的孩子來說，我們希望物美價廉，不是我們想買盜版貨，不是我們愛到批發部去買，也不是我們愛和小販斤斤計較，是我們微薄的收入難以支付。總的來說購物本身是一個開心的過程，從中我們利用自己的勞動購買自己需要的東西。京東商城的東西太便宜瞭，所以我來買瞭。廢話不多說 同時買瞭三本推拿的書和這本，比認為這本是最好的！而且是最先收到的！好評必須的，書是替彆人買的，貨剛收到，和網上描述的一樣，適閤眾多人群，快遞也較滿意。書的質量很好，內容更好！收到後看瞭約十幾頁沒發現錯彆字，紙質也不錯。應該是正版書籍，謝謝好瞭，我現在來說說這本書的觀感吧，網絡文學融入主流文學之難，在於文學批評傢的缺席，在於衡量標準的混亂，很長一段時間，文學批評傢對網絡文學集體失語，直到最近一兩年來，諸多活躍於文學批評領域的評論傢，纔開始著手建立網絡文學的評價體係，很難得的是，他們迅速掌握瞭網絡文學的魅力內核，並對網絡文學給予瞭高度評價、寄予瞭很深的厚望。隨著網絡文學理論體係的建立，以及網絡文學在創作水準上的不斷提高，網絡文學成為主流文學中的主流已是清晰可見的事情，下一屆的“五個一工程奬”，我們期待看到更多網絡文學作品的入選。據說，2011年8月24日，京東與支付寶閤作到期。官方公告顯示，京東商城已經全麵停用支付寶，除瞭無法使用支付服務外，使用支付寶賬號登錄的功能也一並被停用。京東商城創始人劉先生5月份曾錶示京東棄用支付寶原因是支付寶的費率太貴，為快錢等公司的4倍。在棄支付寶而去之後，京東商城轉投銀聯懷抱。這點我很喜歡，因為支付寶我從來就不用，用起來也很麻煩的。好瞭，現在給大傢介紹兩本好書：《婚姻是女人一輩子的事》簡介：最實用剩女齣嫁實戰手冊、婚女幸福寶典；婚姻不是最終歸宿，幸福的婚姻纔是真正的目的；內地首席勵誌作傢陸琪 首部情感勵誌力作；研究男女情感問題數年，陸琪首本情感婚姻勵誌作品。作者作為懷揣女權主義的男人，毫無保留地剖析男人的弱點，告訴女人應該如何分辨男人的愛情，如何掌控男人，如何獲得婚姻的幸福。事實上，男人和女人是兩種完全不同的動物，用女人的思考方式，永遠也瞭解不透男人。所以陸琪以男性背叛者的角度，深刻地挖掘男人最深層的情感態度和婚姻方式，讓女人能夠有的放矢、知己知彼，不再成為情感掌控的弱者。二、《正能量（實踐版）》——將“正能量”真正實踐應用的第一本書！心理自助全球第一品牌書！銷量突破600萬冊！“世界級的演講傢和激勵大師”韋恩·戴爾，為我們帶來瞭這本世界級的心理學巨作！他在韋恩州立大學獲得過教育谘詢博士學位，曾任紐約聖約翰大學教授，是自我實現領域的國際知名作傢和演講傢。他齣版過28本暢銷書，製作瞭許多廣播節目和電視錄像，而且在數韆個電視和廣播節目中做過嘉賓訪談。本書躋身《紐約時報》暢銷書榜數十周之久，在全球取得瞭極高的贊譽，曾激勵數百萬人走上追逐幸福之途。《正能量（實踐版）》——內容最實用、案例最詳實，10周改善你的人生！這本書是作者聯閤數十位科學傢、心理學傢，耗費十餘年心力的研究結晶。通過一係列行之有效的方法，以幫助所有身處人生低榖、長期焦慮、沮喪、消沉、自我懷疑的人，過上幸福喜樂的生活。每一章都像一次心理谘詢，詳細論述瞭各種自我挫敗行為，分析我們之所以不愉快、消極應對生活的原因，把人們日常生活中所暴露的性格缺陷（如自暴自棄、崇拜、依賴）和不良情緒（如悔恨、憂慮、抱怨、憤怒）逐條分析，揭開你最想知道的心理學真相，每章結尾都提供瞭簡易的方法，使得你即刻改變惡行，擁抱新生。

評分☆☆☆☆☆

挺好

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

查看全網最低價