汉语词语“数理逻辑”的读音、意思、用法、释义、同义词、近义词、反义词及造句-汉语词典

词语	数理逻辑
释义	[数理逻辑] 也叫符号逻辑。数学的分支学科。用数学的工具和方法研究推理、计算等问题。包括命题演算、谓词演算、证明论、递归论、模型论和公理化集论等。解决了数学中的一些重大问题，对传统逻辑的研究有重要作用。
随便看	逐北逐客令逐渐逐臭逐鹿逑递递交递补递解递进逓途途径途次逖逗逗号逗哏逗留通通通事通人通令

汉语词典收录42877条汉语词语，以字带词，兼具字典、语文词典和百科词典功能，基本涵盖了全部常用词语的释义及用法，是您工作、学习的好帮手。