网站首页
汉语
俄语
英语
请输入您要查询的字词:
字词
自然推理系统
释义
自然推理系统
数理化力学卷
自然推理系统
亦称“自然推演系统”、“自然演绎系统”。采取自然推理的方式构造的形式系统。第一个现代逻辑的自然推理系统是根岑(Gerhard
Gentzen,1909—1945)于20世纪30年代建立的。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
才待是什么意思
才德是什么意思
才思是什么意思
才性是什么意思
才性之辩是什么意思
才性论是什么意思
才情是什么意思
才慧是什么意思
才慧致是什么意思
才数是什么意思
才智是什么意思
才望是什么意思
才格是什么意思
才气是什么意思
才溪是什么意思
才然是什么意思
才猷是什么意思
才略是什么意思
才畯是什么意思
才疏学浅是什么意思
才笔是什么意思
才能是什么意思
才能测验测量是什么意思
才色是什么意思
才艺是什么意思
теплопроводимость 的意思
теплопроводимость的意思
теплопроводник 的意思
теплопроводник的意思
теплопроводность 的意思
теплопроводность的意思
теплопроводный 的意思
теплопродукция 的意思
теплопродукция的意思
теплопрозрачность的意思
大胆地
大胆尝试
大胆无礼
大背斜层
大胜
大胜利
大胞子叶
大胡子
大胸脯
大胸脯的
修远网汉语字词典收录72225条汉语词条,基本涵盖了全部常见汉语字词的翻译、注释及用法释义,是语文学习的有利工具。
Copyright © 2021-2025 mythu.net All Rights Reserved
更新时间:2025/7/6 9:42:29