网站首页
汉语
俄语
英语
请输入您要查询的字词:
字词
自然推理系统
释义
自然推理系统
数理化力学卷
自然推理系统
亦称“自然推演系统”、“自然演绎系统”。采取自然推理的方式构造的形式系统。第一个现代逻辑的自然推理系统是根岑(Gerhard
Gentzen,1909—1945)于20世纪30年代建立的。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
功德无量是什么意思
功成不居是什么意思
功成名遂是什么意思
功成行满是什么意思
功效是什么意思
功架是什么意思
功率是什么意思
功率因数是什么意思
功绩是什么意思
功能是什么意思
功能材料是什么意思
功能高分子是什么意思
功能高分子材料是什么意思
功薄蝉翼是什么意思
功败垂成是什么意思
加是什么意思
加仑是什么意思
加冕是什么意思
加农炮是什么意思
加剧是什么意思
加勒比海是什么意思
加塞儿是什么意思
加委是什么意思
加密是什么意思
加富尔是什么意思
кренозадатчик 的意思
кренозадатчик的意思
креномер的意思
креномер 的意思
кренометр的意思
кренометр 的意思
креноскоп的意思
креноскоп 的意思
крень 的意思
крень的意思
人事关系
人事变迁
人事处
人事调动
人云亦云
人亡物在
人人
人仰马翻
人伦
人体
修远网汉语字词典收录72225条汉语词条,基本涵盖了全部常见汉语字词的翻译、注释及用法释义,是语文学习的有利工具。
Copyright © 2021-2025 mythu.net All Rights Reserved
更新时间:2025/9/1 20:15:20