数理逻辑

亦称“符号逻辑”。用数学方法去研究思维的形式结构及其规律的科学。数学方法指用一套表意符号(即人工符号语言)表达思维的形式结构和规律,把对思维的研究转变为对符号的研究,从而克服自然语言的局限,消除歧义性,构成像算 ......    （本文共 1863 字 ）     [阅读本文] >>