久久熟妇人妻午夜蜜桃a,99这里只有精品免费视频,亚洲AV成人片无码网站在线观看

內(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)新性成果。

作者簡介

　　杜國平，男，1965年生，江蘇省淮安市盱眙縣人。哲學(xué)博士（邏輯學(xué)專業(yè)），工學(xué)博士（計算機應(yīng)用技術(shù)專業(yè)）?，F(xiàn)為哲學(xué)研究所研究員、智能與邏輯實驗室主任，二級教授，博士生導(dǎo)師，享受政府特殊津貼專家。兼任中國邏輯學(xué)會會長，金岳霖學(xué)術(shù)基金會秘書長。主持完成社科基金重大項目“應(yīng)用邏輯與邏輯應(yīng)用研究”等。先后兩次獲得“金岳霖學(xué)術(shù)獎”。主要學(xué)術(shù)成果有《不協(xié)調(diào)信息的推理機制研究》《集合論-泛邏輯悖論》等。現(xiàn)主要從事邏輯學(xué)和人工智能基礎(chǔ)理論研究，研究方向為人工智能邏輯、符號邏輯、邏輯思想史和邏輯應(yī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é)證明對照
參考文獻