网站首页
汉语
俄语
英语
请输入您要查询的字词:
字词
自然推理系统
释义
自然推理系统
数理化力学卷
自然推理系统
亦称“自然推演系统”、“自然演绎系统”。采取自然推理的方式构造的形式系统。第一个现代逻辑的自然推理系统是根岑(Gerhard
Gentzen,1909—1945)于20世纪30年代建立的。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
易童子问是什么意思
易筋经是什么意思
易箦是什么意思
易经是什么意思
易胆大是什么意思
易腐物品存贮理论是什么意思
易腐货物是什么意思
易色是什么意思
易蒙停是什么意思
易行线是什么意思
易行车是什么意思
易行道是什么意思
易裂变材料是什么意思
易裂变核素是什么意思
易读性是什么意思
易贡是什么意思
易货交易合同是什么意思
易货贸易是什么意思
易辙是什么意思
易逆性抗胆碱酯酶药是什么意思
易门是什么意思
易雄是什么意思
易震吉是什么意思
易鞋记是什么意思
易顺鼎是什么意思
кочковатый的意思
кочковатый 的意思
кочкорез 的意思
кочкорез的意思
кошара的意思
кошара 的意思
кошатина的意思
кошатина 的意思
кошатник 的意思
кошатник的意思
行乞
行书
行事
行事历
行云流水
行人
行人穿越道
行人道
行伍
行伍出身
修远网汉语字词典收录72225条汉语词条,基本涵盖了全部常见汉语字词的翻译、注释及用法释义,是语文学习的有利工具。
Copyright © 2021-2025 mythu.net All Rights Reserved
更新时间:2026/6/2 11:35:45