网站首页
汉语
俄语
英语
请输入您要查询的字词:
字词
自然推理系统
释义
自然推理系统
数理化力学卷
自然推理系统
亦称“自然推演系统”、“自然演绎系统”。采取自然推理的方式构造的形式系统。第一个现代逻辑的自然推理系统是根岑(Gerhard
Gentzen,1909—1945)于20世纪30年代建立的。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
预定和谐论是什么意思
预定期间是什么意思
预定论是什么意思
预审是什么意思
预宴是什么意思
预应力混凝土是什么意思
预应力混凝土工程是什么意思
预应力混凝土桥是什么意思
预应力混凝土简支梁桥是什么意思
预应力混凝土结构是什么意思
预应力钢结构是什么意思
预应力锚固是什么意思
预应力锚杆是什么意思
预征是什么意思
预想是什么意思
预感是什么意思
预成论是什么意思
预报是什么意思
预拉预压混凝土桥是什么意思
预拌混凝土是什么意思
预拌砂浆是什么意思
预指是什么意思
预提所得税是什么意思
预提税是什么意思
预收账款是什么意思
тектонический 的意思
тектонический的意思
тектор 的意思
тектор的意思
текториальный的意思
текториальный 的意思
тектурованный的意思
тектурованный 的意思
текучесть的意思
текучесть 的意思
surrebut
surrebutter
surrejoin
surrejoinder
surrender
surrendered
surrenderee
surrendering
surrenderor
surrenders
修远网汉语字词典收录72225条汉语词条,基本涵盖了全部常见汉语字词的翻译、注释及用法释义,是语文学习的有利工具。
Copyright © 2021-2025 mythu.net All Rights Reserved
更新时间:2025/12/2 10:02:32