请输入您要查询的百科知识:
词条
高阶逻辑
释义
高阶逻辑
数理化力学卷
高阶逻辑
亦称“高阶谓词逻辑”、“广义谓词逻辑”。数理逻辑中谓词逻辑的组成部分,即不仅将量词用于个体变项,也将量词用于谓词变项和命题变项的谓词逻辑。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
动物纹
动物细胞工程
动物群落
动物胶
动物致癌试验
动物行为
动物行为学
动物解放
动物遗传学
动物饰板
动物首领和随从关系
动物高级神经活动(行为)客观研究二十年经验
动生电动势
动用
动电电位
动画
动画地图
动画影片
动画设计
动画造型设计
动的教育论
动目
动目标显示雷达
动眼神经
动眼神经瘫痪
百科全书收录258893条中英文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。
Copyright © 2004-2023 Newdu.com All Rights Reserved
更新时间:2025/6/12 5:13:15