数理逻辑

shù lǐ luó ji
 亦称“符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支,又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义,对一般思维中某些问题的解决也有成效。
数理逻辑

数理逻辑读音

  • 读音:shù lǐ luó ji
  • 注音:ㄕㄨˋ ㄌ一ˇ ㄌㄨㄛˊ ˙ㄐ一
  • 繁体:數理邏輯

数理逻辑的词语解释

词语解释

数理逻辑(數理邏輯)[ shù lǐ luó ji ]

⒈  亦称“符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支,又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义,对一般思维中某些问题的解决也有成效。