伊人超碰无码字幕av,妓女不卡一二区

內(nèi)容簡(jiǎn)介

　　本書(shū)在H.M.Sheffer和張清宇先生等人工作的基礎(chǔ)上，提出了一種創(chuàng)新型的邏輯符號(hào)表示法——中國(guó)表示法。在其中僅僅使用一對(duì)括號(hào)，就可以在一個(gè)公式中同時(shí)表示出所有的命題聯(lián)結(jié)詞、量詞、模態(tài)詞和時(shí)態(tài)詞等邏輯常項(xiàng)，由此可以極大地簡(jiǎn)化構(gòu)建邏輯系統(tǒng)所需的初始聯(lián)結(jié)詞。本書(shū)闡述了中國(guó)表示法區(qū)別于其他表示法的整體性特征，證明了中國(guó)表示法的結(jié)構(gòu) 性及其強(qiáng)大的表達(dá)功能，基于中國(guó)表示法探究了若干邏輯基礎(chǔ)問(wèn)題，獲得了若干創(chuàng)新性成果。

作者簡(jiǎn)介

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

圖書(shū)目錄

導(dǎo)言
章中國(guó)表示法
節(jié) 邏輯符號(hào)表示法概述
第二節(jié) 不用聯(lián)結(jié)詞的邏輯系統(tǒng)
第三節(jié) 中國(guó)表示法
第二章基于中國(guó)表示法的二值邏輯系統(tǒng)
節(jié) 形式語(yǔ)言
第二節(jié) 自然推演系統(tǒng)
第三節(jié) 排斥系統(tǒng)
第四節(jié) 語(yǔ)義及元理論
第五節(jié) 一階形式語(yǔ)言
第三章基于中國(guó)表示法的三值命題邏輯
節(jié) 三值命題邏輯形式語(yǔ)言
第二節(jié) 三值命題邏輯自然推演系統(tǒng)
第三節(jié) 三值命題邏輯語(yǔ)義及元理論
第四章三值邏輯系統(tǒng)3PC與LPC關(guān)系研究
節(jié) 三值邏輯系統(tǒng)LPC
第二節(jié) 基于中國(guó)表示法的LPC
第三節(jié) 作為3PC子系統(tǒng)的LPC
第五章三值邏輯與二值邏輯關(guān)系研究
節(jié) 邏輯系統(tǒng)之間的關(guān)系比較
第二節(jié) 語(yǔ)形證明
第三節(jié) 語(yǔ)義分析
第六章基于中國(guó)表示法的三值模態(tài)邏輯
節(jié) 三值模態(tài)邏輯形式語(yǔ)言
第二節(jié) 三值模態(tài)邏輯常項(xiàng)的中國(guó)表示法
第三節(jié) 三值模態(tài)邏輯系統(tǒng)及其元理論
第七章基于中國(guó)表示法的三值邏輯函數(shù)研究
節(jié) 三值二元Sheffer函數(shù)的構(gòu)造
第二節(jié) 三值二元Sheffer函數(shù)的類(lèi)型
第三節(jié) 三值二元邏輯函數(shù)的表達(dá)能力
第四節(jié) 若干結(jié)論
附錄1 第四章第三節(jié)證明對(duì)照
附錄2 第五章第二節(jié)證明對(duì)照
參考文獻(xiàn)