數(shù)理邏輯

亦稱“符號(hào)邏輯”。用數(shù)學(xué)方法去研究思維的形式結(jié)構(gòu)及其規(guī)律的科學(xué)。數(shù)學(xué)方法指用一套表意符號(hào)(即人工符號(hào)語(yǔ)言)表達(dá)思維的形式結(jié)構(gòu)和規(guī)律,把對(duì)思維的研究轉(zhuǎn)變?yōu)閷?duì)符號(hào)的研究,從而克服自然語(yǔ)言的局限,消除歧義性,構(gòu)成像算 ......    （本文共 1863 字 ）     [閱讀本文] >>