掃一掃
關(guān)注中圖網(wǎng)
官方微博
本類五星書更多>
-
>
道德經(jīng)說什么
-
>
電商勇氣三部曲:被討厭的勇氣+幸福的勇氣+不完美的勇氣2
-
>
新時期宗教工作與管理
-
>
帛書道德經(jīng)
-
>
傳習錄
-
>
齊奧朗作品·苦論
-
>
無障礙閱讀典藏版:莊子全書
中國表示法及其邏輯研究 版權(quán)信息
- ISBN：9787522721002
- 條形碼：9787522721002 ; 978-7-5227-2100-2
- 裝幀：平裝-膠訂
- 冊數(shù)：暫無
- 重量：暫無
- 所屬分類：>>
中國表示法及其邏輯研究 內(nèi)容簡介
本書在H.M.Sheffer和張清宇先生等人工作的基礎(chǔ)上，提出了一種創(chuàng)新型的邏輯符號表示法——中國表示法。在其中僅僅使用一對括號，就可以在一個公式中同時表示出所有的命題聯(lián)結(jié)詞、量詞、模態(tài)詞和時態(tài)詞等邏輯常項，由此可以極大地簡化構(gòu)建邏輯系統(tǒng)所需的初始聯(lián)結(jié)詞。本書闡述了中國表示法區(qū)別于其他表示法的整體性特征，證明了中國表示法的結(jié)構(gòu)唯一性及其強大的表達功能，基于中國表示法探究了若干邏輯基礎(chǔ)問題，獲得了若干創(chuàng)新性成果。
中國表示法及其邏輯研究 目錄
導(dǎo)言
**章 中國表示法
**節(jié) 邏輯符號表示法概述
第二節(jié) 不用聯(lián)結(jié)詞的邏輯系統(tǒng)
第三節(jié) 中國表示法
第二章 基于中國表示法的二值邏輯系統(tǒng)
**節(jié) 形式語言
第二節(jié) 自然推演系統(tǒng)
第三節(jié) 排斥系統(tǒng)
第四節(jié) 語義及元理論
第五節(jié) 一階形式語言
第三章 基于中國表示法的三值命題邏輯
**節(jié) 三值命題邏輯形式語言
第二節(jié) 三值命題邏輯自然推演系統(tǒng)
第三節(jié) 三值命題邏輯語義及元理論
第四章 三值邏輯系統(tǒng)3PC與LPC關(guān)系研究
**節(jié) 三值邏輯系統(tǒng)LPC
第二節(jié) 基于中國表示法的LPC
第三節(jié) 作為3PC子系統(tǒng)的LPC
第五章 三值邏輯與二值邏輯關(guān)系研究
**節(jié) 邏輯系統(tǒng)之間的關(guān)系比較
第二節(jié) 語形證明
第三節(jié) 語義分析
第六章 基于中國表示法的三值模態(tài)邏輯
**節(jié) 三值模態(tài)邏輯形式語言
第二節(jié) 三值模態(tài)邏輯常項的中國表示法
第三節(jié) 三值模態(tài)邏輯系統(tǒng)及其元理論
第七章 基于中國表示法的三值邏輯函數(shù)研究
**節(jié) 三值二元Sheffer函數(shù)的構(gòu)造
第二節(jié) 三值二元Sheffer函數(shù)的類型
第三節(jié) 三值二元邏輯函數(shù)的表達能力
第四節(jié) 若干結(jié)論
附錄1 第四章第三節(jié)證明對照
附錄2 第五章第二節(jié)證明對照
參考文獻
展開全部
中國表示法及其邏輯研究 作者簡介
杜國平，男，1965年生，江蘇省淮安市盱眙縣人。哲學(xué)博士（邏輯學(xué)專業(yè)），工學(xué)博士（計算機應(yīng)用技術(shù)專業(yè)），F(xiàn)為中國社會科學(xué)院哲學(xué)研究所研究員、智能與邏輯實驗室主任，二級教授，博士生導(dǎo)師，享受國務(wù)院政府特殊津貼專家。兼任中國邏輯學(xué)會會長，金岳霖學(xué)術(shù)基金會秘書長。主持完成國家社科基金重大項目“應(yīng)用邏輯與邏輯應(yīng)用研究”等。先后兩次獲得“金岳霖學(xué)術(shù)獎”。主要學(xué)術(shù)成果有《不協(xié)調(diào)信息的推理機制研究》《集合論-泛邏輯悖論》等。現(xiàn)主要從事邏輯學(xué)和人工智能基礎(chǔ)理論研究，研究方向為人工智能邏輯、符號邏輯、邏輯思想史和邏輯應(yīng)用等。
書友推薦
- >
我與地壇
- >
回憶愛瑪儂
- >
伊索寓言-世界文學(xué)名著典藏-全譯本
- >
上帝之肋:男人的真實旅程
- >
苦雨齋序跋文-周作人自編集
- >
人文閱讀與收藏·良友文學(xué)叢書:一天的工作
- >
唐代進士錄
- >
龍榆生：詞曲概論/大家小書
本類暢銷
