网站首页
汉语
俄语
英语
请输入您要查询的字词:
字词
自然推理系统
释义
自然推理系统
数理化力学卷
自然推理系统
亦称“自然推演系统”、“自然演绎系统”。采取自然推理的方式构造的形式系统。第一个现代逻辑的自然推理系统是根岑(Gerhard
Gentzen,1909—1945)于20世纪30年代建立的。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
跭是什么意思
跭
█
是什么意思
跮踱是什么意思
路是什么意思
路上行人口似碑是什么意思
路不拾遗是什么意思
路书是什么意思
路亶是什么意思
路人是什么意思
路企直通运输是什么意思
路侧调查是什么意思
路内停车场是什么意思
路况图是什么意思
路况表是什么意思
路加是什么意思
路加兄弟会是什么意思
路加福音是什么意思
路单是什么意思
路南是什么意思
路南彝族自治县是什么意思
路博德是什么意思
路口是什么意思
路史是什么意思
路基是什么意思
路基作业车是什么意思
коррозионность 的意思
коррозионность的意思
коррозионно-устойчивый的意思
коррозионно-устойчивый 的意思
коррозионный 的意思
коррозионный的意思
коррозировать 的意思
коррозировать的意思
коррозистойкость 的意思
коррозистойкость的意思
carbon-dating
carbon dioxide
carbon fullerene
carbonic
carbonic acid
carbonic oxide
carbonic water
carboniferous
carbon-in-pulp
carbonium
修远网汉语字词典收录72225条汉语词条,基本涵盖了全部常见汉语字词的翻译、注释及用法释义,是语文学习的有利工具。
Copyright © 2021-2025 mythu.net All Rights Reserved
更新时间:2026/5/1 1:48:13