同類熱銷排行榜

中國表示法及其邏輯研究

作者：杜國平|責編:朱華彬
出版社：中國社科
ISBN：9787522721002

出版日期：2023/05/01
裝幀：平裝
頁數：223

人民幣：RMB 88 元售價：元

內容大鋼

本書在H.M.Sheffer和張清宇先生等人工作的基礎上，提出了一種創新型的邏輯符號表示法——中國表示法。在其中僅僅使用一對括弧，就可以在一個公式中同時表示出所有的命題聯結詞、量詞、模態詞和時態詞等邏輯常項，由此可以極大地簡化構建邏輯系統所需的初始聯結詞。本書闡述了中國表示法區別于其他表示法的整體性特徵，證明了中國表示法的結構唯一性及其強大的表達功能，基於中國表示法探究了若干邏輯基礎問題，獲得了若干創新性成果。

作者介紹

杜國平|責編:朱華彬
杜國平，男，1965年生，江蘇省淮安市盱眙縣人。哲學博士（邏輯學專業），工學博士（電腦應用技術專業）。現為中國社會科學院哲學研究所研究員、智能與邏輯實驗室主任，二級教授，博士生導師，享受國務院政府特殊津貼專家。兼任中國邏輯學會會長，金岳霖學術基金會秘書長。主持完成國家社科基金重大項目「應用邏輯與邏輯應用研究」等。先後兩次獲得「金岳霖學術獎」。主要學術成果有《不協調信息的推理機制研究》《集合論-泛邏輯悖論》等。現主要從事邏輯學和人工智慧基礎理論研究，研究方向為人工智慧邏輯、符號邏輯、邏輯思想史和邏輯應用等。

導言
第一章  中國表示法
  第一節  邏輯符號表示法概述
  第二節  不用聯結詞的邏輯系統
  第三節  中國表示法
第二章  基於中國表示法的二值邏輯系統
  第一節  形式語言
  第二節  自然推演系統
  第三節  排斥系統
  第四節  語義及元理論
  第五節  一階形式語言
第三章  基於中國表示法的三值命題邏輯
  第一節  三值命題邏輯形式語言
  第二節  三值命題邏輯自然推演系統
  第三節  三值命題邏輯語義及元理論
第四章  三值邏輯系統3PC與LPC關係研究
  第一節  三值邏輯系統LPC
  第二節  基於中國表示法的LPC
  第三節  作為3PC子系統的LPC
第五章  三值邏輯與二值邏輯關係研究
  第一節  邏輯系統之間的關係比較
  第二節  語形證明
  第三節  語義分析
第六章  基於中國表示法的三值模態邏輯
  第一節  三值模態邏輯形式語言
  第二節  三值模態邏輯常項的中國表示法
  第三節  三值模態邏輯系統及其元理論
第七章  基於中國表示法的三值邏輯函數研究
  第一節  三值二元Sheffer函數的構造
  第二節  三值二元Sheffer函數的類型
  第三節  三值二元邏輯函數的表達能力
  第四節  若乾結論
附錄1  第四章第三節證明對照
附錄2  第五章第二節證明對照
參考文獻

Δ訂單支付
付款方式
運費計算方式

Δ關於我們
關於美商天龍
聯絡我們

首頁│ 新手上路│ 客服中心│ 關於我們│ 聯絡我們│ Top↑│
Copyrightc 1999~2008 美商天龍國際圖書股份有限公司臺灣分公司. All rights reserved.
營業地址:臺北市中正區重慶南路一段103號1F 105號1F-2F
讀者服務部電話：02-2381-2033 02-2381-1863　時間：週一-週五 10:00-17:00
　服務信箱：bookuu@69book.com 客戶、意見信箱:cs@69book.com
ICP證：浙B2-20060032

同類熱銷排行榜

最近瀏覽的商品

中國表示法及其邏輯研究