數理邏輯的思想和方法 昂揚 林勝強 李晟 修訂 9787208187207 【台灣高等教育出版社】
圖書均為代購，正常情形下，訂後約兩周可抵台。
物品所在地：中國大陸
原出版社：上海人民
物品所在地：中國大陸
原出版社：上海人民
NT$623
商品編號:
供貨狀況:
尚有庫存
加入最愛
此商品 「 最高 」可以折抵紅利
0
點
(約等於 NT$0 )
商品介紹
| *數量非實際在台庫存 *完成訂單後正常情形下約兩周可抵台。 *本賣場提供之資訊僅供參考，以到貨標的為實際資訊。 印行年月：202401*若逾兩年請先於私訊洽詢存貨情況，謝謝。 台灣(台北市)在地出版社，每筆交易均開具統一發票，祝您中獎最高1000萬元。 書名：數理邏輯的思想和方法 ISBN：9787208187207 出版社：上海人民 著編譯者：昂揚 林勝強 李晟 修訂 叢書名：日月光華哲學書系 頁數：258 所在地：中國大陸 *此為代購商品 書號：1603957 可大量預訂，請先連絡。 內容簡介 本書是一本面向邏輯學專業學生的邏輯學教材，適用於文科哲學、語言學、數學、思政、管理學等專業本科生、研究生。本書系統地闡述了從萊布尼茨到哥德爾的數理邏輯的思想和方法：不僅介紹了構造命題邏輯、謂詞邏輯的公理系統、自然推理系統以及系統內定理的操作規則和技巧等思想的形式化方法，同時也進一步探討了這些形式化方法所包含的生動活潑的思想（這是本書的鮮明特色），便於人們「徜徉」數理邏輯「秀山麗水」的本質與全貌。作者簡介 昂揚，1939年2月生。1965年由復旦大學數學系畢業，留校至哲學系任教。出版著作《數理邏輯的思想和方法》（1991），《普通邏輯考試學引論》（合著，1996），代表性論文有《論邏輯的本真及邏輯的方法》《論邏輯思維功能》《符號邏輯是研究傳統邏輯的有力工具》等。1994年被評為復旦大學哲學係數理邏輯副教授。此後邏輯學之旅又走了二十四年（2018年收尾），數理邏輯的教學、研究、講座之路越走越寬，越走越有味。目錄 第一章 數理邏輯與人工語言第一節 自然語言與人工語言 第二節 數理邏輯的思想和方法的演進 第三節 人工語言對數理邏輯的影響 第二章 命題演算的思想和方法 第一節 真值函項 第二節 重言式 第三節 範式 第三章 命題演算系統 第一節 重言式形式系統 第二節 自然推理系統與重言式公理系統 第四章 直覺主義邏輯的思想和方法 第一節 直覺主義邏輯的思想 第二節 直覺主義邏輯的演算系統 第五章 元邏輯的方法和意義 第一節 演算系統的形式定理 第二節 演算系統的整體性質 第六章 謂詞演算的思想和方法 第一節 日常用語的進一步刻畫 第二節 翻譯中的幾個問題 第三節 謂詞邏輯的核心 第四節 解釋 第七章 謂詞演算系統 第一節 謂詞演算系統 第二節 謂詞演算系統定理和導出規則 第三節 謂詞演算系統的一致性和完全性 第八章 哥德爾不完全性定理 第一節 形式化的算術理論 第二節 哥德爾不完全性定理的內容和思想 第三節 哥德爾不完全性定理的證明 第九章 公理化方法和形式化方法 第一節 從歸約法到公理化 第二節 從公理化到形式化 第三節 公理化與形式化的交會 第十章 數理邏輯思想和方法的實踐 第一節 一場邏輯爭論 第二節 關於三段論的本質 第三節 摹狀詞理論的要點 後記 詳細資料或其他書籍請至台灣高等教育出版社查詢，查後請於PChome商店街私訊告知ISBN或書號，我們即儘速上架。 |
