网站首页
汉语
俄语
英语
请输入您要查询的字词:
字词
自然推理系统
释义
自然推理系统
数理化力学卷
自然推理系统
亦称“自然推演系统”、“自然演绎系统”。采取自然推理的方式构造的形式系统。第一个现代逻辑的自然推理系统是根岑(Gerhard
Gentzen,1909—1945)于20世纪30年代建立的。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
审谛是什么意思
审问是什么意思
审阅是什么意思
审音是什么意思
审音御史是什么意思
审音派是什么意思
审音鉴古录是什么意思
审食其是什么意思
客是什么意思
客串是什么意思
客人是什么意思
客伙是什么意思
客位千米是什么意思
客体是什么意思
客体化是什么意思
客体文化是什么意思
客体永恒性是什么意思
客体运动感知是什么意思
客作儿是什么意思
客兵是什么意思
客列亦惕是什么意思
客卿是什么意思
客厅是什么意思
客厅剧是什么意思
客厅语言是什么意思
самосмазывание的意思
самосмазывающийся的意思
самосмазывающийся 的意思
самосовпадение的意思
самосовпадение 的意思
самосогласованный 的意思
самосогласованный的意思
самосожжение 的意思
самосожжение的意思
самосознание 的意思
选材
选样
选民
选民名册
选民登记
选波器
选派
选票
选票检查人
选票至上主义
修远网汉语字词典收录72225条汉语词条,基本涵盖了全部常见汉语字词的翻译、注释及用法释义,是语文学习的有利工具。
Copyright © 2021-2025 mythu.net All Rights Reserved
更新时间:2025/10/17 11:06:15