|
關(guān)于我們
 書單推薦 新書推薦 |
中國表示法及其邏輯研究 
定 價(jià)：88 元
9 7 7 8 2 7 1 5 0 2 0 2 2 讀者對象:本書適用于相關(guān)研究人員
本書在H.M.Sheffer和張清宇先生等人工作的基礎(chǔ)上，提出了一種創(chuàng)新型的邏輯符號表示法——中國表示法。在其中僅僅使用一對括號，就可以在一個(gè)公式中同時(shí)表示出所有的命題聯(lián)結(jié)詞、量詞、模態(tài)詞和時(shí)態(tài)詞等邏輯常項(xiàng)，由此可以極大地簡化構(gòu)建邏輯系統(tǒng)所需的初始聯(lián)結(jié)詞。本書闡述了中國表示法區(qū)別于其他表示法的整體性特征，證明了中國表示法的結(jié)構(gòu)唯一性及其強(qiáng)大的表達(dá)功能，基于中國表示法探究了若干邏輯基礎(chǔ)問題，獲得了若干創(chuàng)新性成果。
你還可能感興趣
我要評論
|
