请输入您要查询的百科知识:
词条
高阶谓词演算
释义
高阶谓词演算
数理化力学卷
高阶谓词演算
数理逻辑的组成部分,形式化的高阶逻辑系统。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
其米德
其诸
其间
其雨
其高
具
具五刑
具体
具体人格权
具体劳动
具体化
具体态度
具体思维
具体政策
具体智力
具体概念
具体真理
具体罪名
具体而微
具体行为
具体行政行为
具体词汇学
具体语言学
具体轻过失
具体运算阶段
百科全书收录258893条中英文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。
Copyright © 2004-2023 Newdu.com All Rights Reserved
更新时间:2026/6/10 9:03:12