新都首页
词典首页
词语
数理逻辑
释义
[数理逻辑]
也叫符号逻辑。数学的分支学科。用数学的工具和方法研究推理、计算等问题。包括命题演算、谓词演算、证明论、递归论、模型论和公理化集论等。解决了数学中的一些重大问题,对传统逻辑的研究有重要作用。
随便看
大潮
大熊座
大熊猫
大爆炸宇宙论
大牌
大犬座
大猩猩
大率
大班
大理
大理寺
大理石
大理院
大生产运动
大略
大白
大盘
大示
大秋
大秋作物
大秦
大秦铁路
大端
大管
大篆
汉语词典收录42877条汉语词语,以字带词,兼具字典、语文词典和百科词典功能,基本涵盖了全部常用词语的释义及用法,是您工作、学习的好帮手。
Copyright © 2000-2024 Newdu.com.com All Rights Reserved
更新时间:2025/4/10 13:03:04