网站首页
汉语
俄语
英语
请输入您要查询的字词:
字词
自然推理系统
释义
自然推理系统
数理化力学卷
自然推理系统
亦称“自然推演系统”、“自然演绎系统”。采取自然推理的方式构造的形式系统。第一个现代逻辑的自然推理系统是根岑(Gerhard
Gentzen,1909—1945)于20世纪30年代建立的。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
安北都护府是什么意思
安南是什么意思
安南之役是什么意思
安南人是什么意思
安南志略是什么意思
安南译音是什么意思
安南通天竺道是什么意思
安南都护府是什么意思
安博人是什么意思
安卡拉是什么意思
安原王是什么意思
安县是什么意思
安史之乱是什么意思
安吉是什么意思
安吉亚尔是什么意思
安吉利科是什么意思
安吉堡的磨工是什么意思
安吉小鲵是什么意思
安吉尔是什么意思
安吉泰是什么意思
安吴四种是什么意思
安吴青训班是什么意思
安呈格鲁贝是什么意思
安命是什么意思
安和是什么意思
вебер的意思
вебер 的意思
веберметр 的意思
веберметр的意思
вегетаивный 的意思
вегетаивный的意思
вегетарианец的意思
вегетарианец 的意思
вегетарианский 的意思
вегетарианский的意思
graininess
graining
grain rains
grains
grain sorghum
grainy
Grallatores
grallatorial
gralloch
gram
修远网汉语字词典收录72225条汉语词条,基本涵盖了全部常见汉语字词的翻译、注释及用法释义,是语文学习的有利工具。
Copyright © 2021-2025 mythu.net All Rights Reserved
更新时间:2026/1/30 14:52:30