新都首页  词典首页

 

词语 数理逻辑
释义 [数理逻辑]
也叫符号逻辑。数学的分支学科。用数学的工具和方法研究推理、计算等问题。包括命题演算、谓词演算、证明论、递归论、模型论和公理化集论等。解决了数学中的一些重大问题,对传统逻辑的研究有重要作用。
随便看

 

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

 

Copyright © 2000-2024 Newdu.com.com All Rights Reserved
更新时间:2025/4/10 13:03:04