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