网站首页
汉语
俄语
英语
请输入您要查询的字词:
字词
自然推理系统
释义
自然推理系统
数理化力学卷
自然推理系统
亦称“自然推演系统”、“自然演绎系统”。采取自然推理的方式构造的形式系统。第一个现代逻辑的自然推理系统是根岑(Gerhard
Gentzen,1909—1945)于20世纪30年代建立的。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
氢氧化锌是什么意思
氢氧基是什么意思
氢-氧焊是什么意思
氢氯化天然橡胶是什么意思
氢氯噻嗪是什么意思
氢氯酸是什么意思
氢氯铂酸是什么意思
氢氰酸是什么意思
氢泡法是什么意思
氢浆是什么意思
氢混合燃料是什么意思
氢渗透是什么意思
氢温度计是什么意思
氢溴酸是什么意思
氢灯是什么意思
氢燃料是什么意思
氢燃料汽车是什么意思
氢燃烧器是什么意思
氢电极是什么意思
氢硫酸是什么意思
氢碘酸是什么意思
氢离子浓度指数是什么意思
氢细菌是什么意思
氢经济是什么意思
氢能是什么意思
эргономия 的意思
эргономия的意思
эргостерин 的意思
эргостерин的意思
эрготамин 的意思
эрготамин的意思
эрготизм的意思
эрготизм 的意思
эрготин的意思
эрготин 的意思
naked eye
nakedize
nakedly
nakedness
naked option
naked position
naker
NALC
naled
NALS
修远网汉语字词典收录72225条汉语词条,基本涵盖了全部常见汉语字词的翻译、注释及用法释义,是语文学习的有利工具。
Copyright © 2021-2025 mythu.net All Rights Reserved
更新时间:2026/10/28 19:26:35