网站首页
汉语
俄语
英语
请输入您要查询的字词:
字词
自然推理系统
释义
自然推理系统
数理化力学卷
自然推理系统
亦称“自然推演系统”、“自然演绎系统”。采取自然推理的方式构造的形式系统。第一个现代逻辑的自然推理系统是根岑(Gerhard
Gentzen,1909—1945)于20世纪30年代建立的。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
盗掘古文化遗址、古墓葬罪是什么意思
盗机是什么意思
盗案是什么意思
盗汗是什么意思
盗泉是什么意思
盗版是什么意思
盗用是什么意思
盗窃是什么意思
盗窃、抢夺枪支、弹药、爆炸物、危险物质罪是什么意思
盗窃罪是什么意思
盗竽是什么意思
盗薮是什么意思
盗蜂是什么意思
盗言是什么意思
盗贼是什么意思
盗跖是什么意思
盘是什么意思
盘中诗是什么意思
盘互是什么意思
盘亘是什么意思
盘兄和古妹是什么意思
盘剥是什么意思
盘区是什么意思
盘县是什么意思
盘口壶是什么意思
анна 的意思
аннабергит的意思
аннабергит 的意思
анналы的意思
анналы 的意思
аннекс的意思
аннекс 的意思
аннексионистский的意思
аннексионистский 的意思
аннексировать的意思
牙生出
牙痛
牙痛的
牙石
牙科
牙科医生
牙科学
牙签
牙箍
牙粉
修远网汉语字词典收录72225条汉语词条,基本涵盖了全部常见汉语字词的翻译、注释及用法释义,是语文学习的有利工具。
Copyright © 2021-2025 mythu.net All Rights Reserved
更新时间:2026/6/15 7:33:03