查询
符号逻辑 符号逻辑的意思 符号逻辑怎么读
“符号逻辑”词语拼音为:fú hào luó jí,注音:ㄈㄨˊ ㄏㄠˋ ㄌㄨㄛˊ ㄐㄧ,首字母:fhlj,“符号逻辑”的词性为:名词,近义词:,反义词:,基本解释:数理逻辑。
拼音 fú hào luó jí 注音 ㄈㄨˊ ㄏㄠˋ ㄌㄨㄛˊ ㄐㄧ
首字母 fhlj 词性 名词
近义词 -
反义词 -
基本解释 数理逻辑。
补充纠错
上一个词语: 符号论
下一个词语: 符合
符号逻辑” 网络解释 补充纠错

符号逻辑又称数理逻辑、理论逻辑。它是数学的一个分支,是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。 所谓数学方法就是指数学采用的一般方法,包括使用符号和公式,已有的数学成果和方法,特别是使用形式的公理方法。 用数学的方法研究逻辑的系统思想一般追溯到莱布尼茨,他认为经典的传统逻辑必须改造和发展,是之更为精确和便于演算。后人基本是沿着莱布尼茨的思想进行工作的。 简而言之,数理逻辑就是精确化、数学化的形式逻辑。它是现代计算机技术的基础。新的时代将是数学大发展的时代,而数理逻辑在其中将会起到很关键的作用。 逻辑是探索、阐述和确立有效推理原则的学科,最早由古希腊学者亚里士多德创建的。用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑。

”字词语 补充纠错
展开↧
”字词语 补充纠错
展开↧
相关汉字解释 补充纠错