网站首页
汉语
俄语
英语
请输入您要查询的字词:
字词
自然推理系统
释义
自然推理系统
数理化力学卷
自然推理系统
亦称“自然推演系统”、“自然演绎系统”。采取自然推理的方式构造的形式系统。第一个现代逻辑的自然推理系统是根岑(Gerhard
Gentzen,1909—1945)于20世纪30年代建立的。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
压韵是什么意思
厌是什么意思
厌世是什么意思
厌倦是什么意思
厌学是什么意思
厌恶是什么意思
厌氧性微生物是什么意思
厌食是什么意思
厍是什么意思
厏是什么意思
厏厊是什么意思
厓是什么意思
厔是什么意思
厕是什么意思
厘是什么意思
厘卡是什么意思
厘正是什么意思
厘米是什么意思
厘金是什么意思
厚是什么意思
厚望是什么意思
厚朴是什么意思
厚此薄彼是什么意思
厚谊是什么意思
厚道是什么意思
иностранщина的意思
иностранщина 的意思
иносфера 的意思
иносфера的意思
иноходец的意思
иноходец 的意思
иноходь 的意思
иноходь的意思
иноцерамы的意思
иноцерамы 的意思
狮子狗
狮子的
狮子般的
狮子鼻
狮心理查
狮毛狗
狮虎
狮身人面像
狮身羊头像
狮面
修远网汉语字词典收录72225条汉语词条,基本涵盖了全部常见汉语字词的翻译、注释及用法释义,是语文学习的有利工具。
Copyright © 2021-2025 mythu.net All Rights Reserved
更新时间:2026/10/21 23:45:31