数理逻辑shù lǐ luó jí 怎么读
基本解释用数学的工具和方法研究推理、计算等问题的一门科学,是数学的一个分支。它的主要内容有:命题演算、谓词演算、证明论、递归论、模型论和公理化集论等。也叫符号逻辑。词语来源该词语来源于人们的生产生活。...
上一篇:数目(數目)的意思
下一篇:数理逻辑怎么读