网站首页
汉语
俄语
英语
请输入您要查询的字词:
字词
自然推理系统
释义
自然推理系统
数理化力学卷
自然推理系统
亦称“自然推演系统”、“自然演绎系统”。采取自然推理的方式构造的形式系统。第一个现代逻辑的自然推理系统是根岑(Gerhard
Gentzen,1909—1945)于20世纪30年代建立的。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
外吏是什么意思
外向是什么意思
外向型经济是什么意思
外向结构是什么意思
外周化学感受器是什么意思
外周疲劳是什么意思
外周论是什么意思
外命妇是什么意思
外商是什么意思
外商投资企业法是什么意思
外商投资区位OL模型是什么意思
外商投资股份制企业是什么意思
外商独资企业是什么意思
外商直接投资是什么意思
外因是什么意思
外因论是什么意思
外围传中是什么意思
外围设备是什么意思
外围部件互连总线是什么意思
外固定支架是什么意思
外国是什么意思
外国人宗教活动管理规定是什么意思
外国人居留证是什么意思
外国债券是什么意思
外国因素是什么意思
шуровщик的意思
шурун的意思
шурун 的意思
шуруп的意思
шуруп 的意思
шурупный的意思
шурупный 的意思
шуруповерт的意思
шуруповерт 的意思
шуруповёрт的意思
advancement
advance of royalties
advance party
advance payment
advancer
advances
advance sale
advance sheets
advance ticket
advancing
修远网汉语字词典收录72225条汉语词条,基本涵盖了全部常见汉语字词的翻译、注释及用法释义,是语文学习的有利工具。
Copyright © 2021-2025 mythu.net All Rights Reserved
更新时间:2026/6/2 7:19:13