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

词语	数理逻辑
释义	[数理逻辑] 也叫符号逻辑。数学的分支学科。用数学的工具和方法研究推理、计算等问题。包括命题演算、谓词演算、证明论、递归论、模型论和公理化集论等。解决了数学中的一些重大问题，对传统逻辑的研究有重要作用。
随便看	都督都铎风格郾郿鄀鄂鄂伦春族鄂博鄂毕河鄂温克族鄃鄄鄅鄋鄋瞒鄌鄌郚鄏鄗鄘鄙鄙人鄙俚鄙吝鄙夷

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