亦稱“符號邏輯”。用數學方法去研究思維的形式結構及其規律的科學。數學方法指用一套表意符號(即人工符號語言)表達思維的形式結構和規律,把對思維的研究轉變為對符號的研究,從而克服自然語言的局限,消除歧義性,構成像算 (本文共 1863 字 ) [閱讀本文] >>
海量資源,盡在掌握
 亦稱“符號邏輯”。用數學方法去研究思維的形式結構及其規律的科學。數學方法指用一套表意符號(即人工符號語言)表達思維的形式結構和規律,把對思維的研究轉變為對符號的研究,從而克服自然語言的局限,消除歧義性,構成像算 (本文共 1863 字 ) [閱讀本文] >>