掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
道德經說什么
-
>
電商勇氣三部曲:被討厭的勇氣+幸福的勇氣+不完美的勇氣2
-
>
新時期宗教工作與管理
-
>
帛書道德經
-
>
傳習錄
-
>
齊奧朗作品·苦論
-
>
無障礙閱讀典藏版:莊子全書
數理邏輯的思想和方法 版權信息
- ISBN：9787208187207
- 條形碼：9787208187207 ; 978-7-208-18720-7
- 裝幀：精裝
- 冊數：暫無
- 重量：暫無
- 所屬分類：>>
數理邏輯的思想和方法 內容簡介
先有思想的形式化還是先有形式化的思想？思想的形式化重要還是形式化的思想重要？本書將系統闡述從萊布尼茨到哥德爾的數理邏輯的思想和方法：不僅構造命題邏輯、謂詞邏輯的公理系統、自然推理系統以及系統內定理的操作規則和技巧等思想的形式化方法，同時也進一步探討這些形式化方法所包含的生動活潑的思想（這是本書的鮮明特色），便于人們“徜徉”數理邏輯“秀山麗水”的本質與全貌。本書避免使用過于復雜和煩瑣的數學證明和推導，通過本書，讀者會了解到不太一樣的數理邏輯和邏輯哲學。
數理邏輯的思想和方法 目錄
目 錄
**章數理邏輯與人工語言//001
**節自然語言與人工語言//001
第二節數理邏輯的思想和方法的演進//005
第三節人工語言對數理邏輯的影響//011
第二章命題演算的思想和方法//018
**節真值函項//018
第二節重言式//032
第三節范式//045
第三章命題演算系統//059
**節重言式形式系統//059
第二節自然推理系統與重言式公理系統//072
第四章直覺主義邏輯的思想和方法//085
**節直覺主義邏輯的思想//086
第二節直覺主義邏輯的演算系統//090
第五章元邏輯的方法和意義//098
**節演算系統的形式定理//099
第二節演算系統的整體性質//111
第六章謂詞演算的思想和方法//123
**節日常用語的進一步刻畫//123
第二節翻譯中的幾個問題//138
第三節謂詞邏輯的核心//150
第四節解釋//163
第七章謂詞演算系統//176
**節謂詞演算系統//177
第二節謂詞演算系統定理和導出規則//190
第三節謂詞演算系統的一致性和完全性//202
第八章哥德爾不完全性定理//218
**節形式化的算術理論//219 第二節哥德爾不完全性定理的內容和思想//222
第三節哥德爾不完全性定理的證明//228
第九章公理化方法和形式化方法//233
**節從歸約法到公理化//233
第二節從公理化到形式化//235
第三節公理化與形式化的交會//241
第十章數理邏輯思想和方法的實踐//245
**節一場邏輯爭論//245
第二節關于三段論的本質//248
第三節摹狀詞理論的要點//253
后記//258
**章數理邏輯與人工語言//001
**節自然語言與人工語言//001
第二節數理邏輯的思想和方法的演進//005
第三節人工語言對數理邏輯的影響//011
第二章命題演算的思想和方法//018
**節真值函項//018
第二節重言式//032
第三節范式//045
第三章命題演算系統//059
**節重言式形式系統//059
第二節自然推理系統與重言式公理系統//072
第四章直覺主義邏輯的思想和方法//085
**節直覺主義邏輯的思想//086
第二節直覺主義邏輯的演算系統//090
第五章元邏輯的方法和意義//098
**節演算系統的形式定理//099
第二節演算系統的整體性質//111
第六章謂詞演算的思想和方法//123
**節日常用語的進一步刻畫//123
第二節翻譯中的幾個問題//138
第三節謂詞邏輯的核心//150
第四節解釋//163
第七章謂詞演算系統//176
**節謂詞演算系統//177
第二節謂詞演算系統定理和導出規則//190
第三節謂詞演算系統的一致性和完全性//202
第八章哥德爾不完全性定理//218
**節形式化的算術理論//219 第二節哥德爾不完全性定理的內容和思想//222
第三節哥德爾不完全性定理的證明//228
第九章公理化方法和形式化方法//233
**節從歸約法到公理化//233
第二節從公理化到形式化//235
第三節公理化與形式化的交會//241
第十章數理邏輯思想和方法的實踐//245
**節一場邏輯爭論//245
第二節關于三段論的本質//248
第三節摹狀詞理論的要點//253
后記//258
展開全部
數理邏輯的思想和方法 作者簡介
昂揚，生于1939年，復旦大學哲學系副教授、邏輯學專業碩士研究生導師，四川師范大學哲學學院邏輯與信息研究所特聘教授；曾任上市邏輯學會理事。
林勝強，四川師范大學哲學研究所教授，四川師范大學邏輯與信息研究所研究員，長期從事研究生邏輯學、科學思維方法論的研究和教學工作，出版專著（教材）多部、發表論文40余篇。
李晟，四川師范大學哲學學院副教授，主要從事現代邏輯的教學與研究，發表學術論文10余篇。
書友推薦
- >
月亮虎
- >
伊索寓言-世界文學名著典藏-全譯本
- >
史學評論
- >
中國人在烏蘇里邊疆區:歷史與人類學概述
- >
推拿
- >
煙與鏡
- >
莉莉和章魚
- >
回憶愛瑪儂
