去查网 logo

符號邏輯

符號邏輯朗读
  • 词语读音fú hào luó jí
  • 词语注音ㄈㄨˊ ㄏㄠˋ ㄌㄨㄛˊ ㄐㄧˊ
  • 繁体字形符号逻辑

词语解释

基本解释

数理逻辑。

辞典解释

符号逻辑fú hào luó jíㄈㄨˊ ㄏㄠˋ ㄌㄨㄛˊ ㄐㄧˊ

一种逻辑。不限名词和命题,将其关系用数学符号表达,而以数学运算的方式,据以推断论证命题的结果,有执简衘繁的功效。

德语 logistisch (Adj)​

法语 Logique mathématique

网络解释

符号逻辑

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

“符號邏輯”的单字解释

“符號邏輯”的近义词

“符號邏輯”的反义词

全部查询工具

关于我们免责声明联系我们网站地图最近更新

免责说明:本站为非营利性网站,本站内容全部由《去查网》从互联网搜集编辑整理而成,版权归原作者所有,如有冒犯,请联系我们删除。

Copyright © 2020 - 2024 quchaw.com All rights reserved.浙ICP备20019715号