中國表示法及其邏輯研究 杜國平著 9787522721002 【台灣高等教育出版社】
圖書均為代購，正常情形下，訂後約兩周可抵台。
物品所在地：中國大陸
原出版社：中國社會科學
物品所在地：中國大陸
原出版社：中國社會科學
NT$560
商品編號:
供貨狀況:
尚有庫存
加入最愛
此商品 「 最高 」可以折抵紅利
0
點
(約等於 NT$0 )
商品介紹
| *完成訂單後正常情形下約兩周可抵台。 *本賣場提供之資訊僅供參考，以到貨標的為正確資訊。 印行年月：202305*若逾兩年請先於私訊洽詢存貨情況，謝謝。 台灣(台北市)在地出版社，每筆交易均開具統一發票，祝您中獎最高1000萬元。 書名：中國表示法及其邏輯研究 ISBN：9787522721002 出版社：中國社會科學 著編譯者：杜國平著 頁數：223 所在地：中國大陸 *此為代購商品 書號：1581251 可大量預訂，請先連絡。 內容簡介 本書在H M Sheffer和張清宇先生等人工作的基礎上，提出了一種創新型的邏輯符號表示法——中國表示法。在其中僅僅使用一對括弧，就可以在一個公式中同時表示出所有的命題聯結詞、量詞、模態詞和時態詞等邏輯常項，由此可以極大地簡化構建邏輯系統所需的初始聯結詞。本書闡述了中國表示法區別於其他表示法的整體性特徵，證明了中國表示法的結構唯一性及其強大的表達功能，基於中國表示法探究了若干邏輯基礎問題，獲得了若干創新性成果。作者簡介 杜國平，男，1965年生，江蘇省淮安市盱眙縣人。哲學博士（邏輯學專業），工學博士（計算機應用技術專業）。現為中國社會科學院哲學研究所研究員、智能與邏輯實驗室主任，二級教授，博士生導師，享受國務院政府特殊津貼專家。兼任中國邏輯學會會長，金岳霖學術基金會秘書長。主持完成國家社科基金重大項目「應用邏輯與邏輯應用研究」等。先後兩次獲得「金岳霖學術獎」。主要學術成果有《不協調信息的推理機制研究》《集合論-泛邏輯悖論》等。現主要從事邏輯學和人工智慧基礎理論研究，研究方向為人工智慧邏輯、符號邏輯、邏輯思想史和邏輯應用等。目錄 導言第一章 中國表示法 第一節 邏輯符號表示法概述 第二節 不用聯結詞的邏輯系統 第三節 中國表示法 第二章 基於中國表示法的二值邏輯系統 第一節 形式語言 第二節 自然推演系統 第三節 排斥系統 第四節 語義及元理論 第五節 一階形式語言 第三章 基於中國表示法的三值命題邏輯 第一節 三值命題邏輯形式語言 第二節 三值命題邏輯自然推演系統 第三節 三值命題邏輯語義及元理論 第四章 三值邏輯系統3PC與LPC關係研究 第一節 三值邏輯系統LPC 第二節 基於中國表示法的LPC 第三節 作為3PC子系統的LPC 第五章 三值邏輯與二值邏輯關係研究 第一節 邏輯系統之間的關係比較 第二節 語形證明 第三節 語義分析 第六章 基於中國表示法的三值模態邏輯 第一節 三值模態邏輯形式語言 第二節 三值模態邏輯常項的中國表示法 第三節 三值模態邏輯系統及其元理論 第七章 基於中國表示法的三值邏輯函數研究 第一節 三值二元Sheffer函數的構造 第二節 三值二元Sheffer函數的類型 第三節 三值二元邏輯函數的表達能力 第四節 若干結論 附錄1 第四章第三節證明對照 附錄2 第五章第二節證明對照 參考文獻 詳細資料或其他書籍請至台灣高等教育出版社查詢，查後請於PChome商店街私訊告知ISBN或書號，我們即儘速上架。 |
