网站首页
汉语
俄语
英语
请输入您要查询的字词:
字词
自然推理系统
释义
自然推理系统
数理化力学卷
自然推理系统
亦称“自然推演系统”、“自然演绎系统”。采取自然推理的方式构造的形式系统。第一个现代逻辑的自然推理系统是根岑(Gerhard
Gentzen,1909—1945)于20世纪30年代建立的。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
一分为二是什么意思
一则以喜,一则以惧是什么意思
一刬是什么意思
一劳永逸是什么意思
一化三改是什么意思
一千零一夜是什么意思
一发千钧是什么意思
一叶知秋是什么意思
一叶障目,不见泰山是什么意思
一吊是什么意思
一味是什么意思
一呼百应是什么意思
一命呜呼是什么意思
一品红是什么意思
一唱一和是什么意思
一团和气是什么意思
一国三公是什么意思
一国两制是什么意思
一塌胡涂是什么意思
一如既往是什么意思
一孔之见是什么意思
一字师是什么意思
一尘不染是什么意思
一帆风顺是什么意思
一年生植物是什么意思
швельгаз的意思
швельгаз 的意思
швелькокс的意思
швелькокс 的意思
швельшахта的意思
швельшахта 的意思
швербот的意思
швербот 的意思
швертбот的意思
швертбот 的意思
functional drink
functional food
functional illiterate
functionalism
functionalist
functionalists
functionality
functionally
functional management
functionaries
修远网汉语字词典收录72225条汉语词条,基本涵盖了全部常见汉语字词的翻译、注释及用法释义,是语文学习的有利工具。
Copyright © 2021-2025 mythu.net All Rights Reserved
更新时间:2026/3/16 22:52:12