网站首页
汉语
俄语
英语
请输入您要查询的字词:
字词
自然推理系统
释义
自然推理系统
数理化力学卷
自然推理系统
亦称“自然推演系统”、“自然演绎系统”。采取自然推理的方式构造的形式系统。第一个现代逻辑的自然推理系统是根岑(Gerhard
Gentzen,1909—1945)于20世纪30年代建立的。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
信贷合同是什么意思
信贷收支计划是什么意思
信贷政策是什么意思
信贷杠杆是什么意思
信贷法是什么意思
信贷紧缩是什么意思
信贷计划是什么意思
信贷计划管理是什么意思
信贷资产证券化是什么意思
信贷资产证券化发起人是什么意思
信贷资金是什么意思
信赏必罚是什么意思
信赖是什么意思
信赖保护原则是什么意思
信赖原则是什么意思
信达雅是什么意思
信道是什么意思
信道估计是什么意思
信道容量是什么意思
信道带宽是什么意思
信道模型是什么意思
信道状态信息是什么意思
信道的时间选择性是什么意思
信道的空间选择性是什么意思
信道的频率选择性是什么意思
калорифер 的意思
калорифер的意思
калориферный的意思
калориферный 的意思
калорический 的意思
калорический的意思
калоричечкий 的意思
калоричечкий的意思
калория 的意思
калория的意思
panada
pan-African
Pan-Africanism
Pan Am
Panama
Panama Canal
Panama Canal Zone
Panama hat
Panamanian
Panamanians
修远网汉语字词典收录72225条汉语词条,基本涵盖了全部常见汉语字词的翻译、注释及用法释义,是语文学习的有利工具。
Copyright © 2021-2025 mythu.net All Rights Reserved
更新时间:2026/9/5 21:17:37