“高阶谓词演算”的意思、由来-百科全书

词条	高阶谓词演算
释义	高阶谓词演算数理化力学卷高阶谓词演算　　数理逻辑的组成部分,形式化的高阶逻辑系统。出处：数理化力学卷 • 数　　学 • 数理逻辑 • 数学基础
随便看	█ █ █ █ █ █ █ █ █ █ █ █ █ 超常期超干硬性混凝土超度超强竞争超循环理论超循环论超微体古生物学超微化石超微形态学超微结构超微量分析超心理学

百科全书收录258893条中英文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。