请输入您要查询的百科知识:
词条
自然推理系统
释义
自然推理系统
数理化力学卷
自然推理系统
亦称“自然推演系统”、“自然演绎系统”。采取自然推理的方式构造的形式系统。第一个现代逻辑的自然推理系统是根岑(Gerhard
Gentzen,1909—1945)于20世纪30年代建立的。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
卡里同
卡里巴水库
卡里巴湖
卡里来和笛木乃
卡里西米
卡里辛比火山
卡里阿斯和约
卡里马科斯
卡钓
卡-钠复合双晶
卡钦斯基
卡钳
卡钻
父道
父马
爷
爷爷
爷老
爸
爸爸出差去了
爹
爻
爻象
爻辞
爻辰
百科全书收录258893条中英文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。
Copyright © 2004-2023 Newdu.com All Rights Reserved
更新时间:2025/6/27 19:59:26