请输入您要查询的百科知识:
词条
高阶谓词演算
释义
高阶谓词演算
数理化力学卷
高阶谓词演算
数理逻辑的组成部分,形式化的高阶逻辑系统。
出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
随便看
教学科目
教学-科研-生产综合体
教学秘书
教学策略
教学管理
教学系统
教学系统论
教学组织形式
教学组织管理
教学能力
教学自由
教学艺术
教学行为
教学行为模式
教学规则
教学规律
教学计划
教学计划管理
教学论
教学设备
教学设计
教学设计小组
教学设计成果评价
教学设计模式
教学评估
百科全书收录258893条中英文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。
Copyright © 2004-2023 Newdu.com All Rights Reserved
更新时间:2025/6/28 7:37:30