网站首页
汉语
俄语
英语
请输入您要查询的字词:
字词
自然推理系统
释义
自然推理系统
数理化力学卷
自然推理系统
亦称“自然推演系统”、“自然演绎系统”。采取自然推理的方式构造的形式系统。第一个现代逻辑的自然推理系统是根岑(Gerhard
Gentzen,1909—1945)于20世纪30年代建立的。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
母亲原型是什么意思
母亲在召唤是什么意思
母亲肖像是什么意思
母仪是什么意思
母体是什么意思
母体效应是什么意思
母体效应基因是什么意思
母体毒性是什么意思
母体遗传是什么意思
母兄是什么意思
母党是什么意思
母公司是什么意思
母函数是什么意思
母合关系是什么意思
母后是什么意思
母国是什么意思
母国中心主义是什么意思
母型裁剪法是什么意思
母夜叉是什么意思
母女连名制是什么意思
母婴传播是什么意思
母婴依恋情结是什么意思
母婴保健法是什么意思
母子结构是什么意思
母子连名制是什么意思
билетер 的意思
билетик的意思
билетик 的意思
билет-купон 的意思
билет-купон的意思
билетный 的意思
билетный的意思
билетопечатание 的意思
билетопечатание的意思
билет-проводник 的意思
be ill with
be impatient for
be impatient of
be impatient to
be impatient with
be in
be-in
be in a bad patch
be in abeyance
be in a black mood
修远网汉语字词典收录72225条汉语词条,基本涵盖了全部常见汉语字词的翻译、注释及用法释义,是语文学习的有利工具。
Copyright © 2021-2025 mythu.net All Rights Reserved
更新时间:2025/6/30 5:05:02