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

词条	高阶谓词演算
释义	高阶谓词演算数理化力学卷高阶谓词演算　　数理逻辑的组成部分,形式化的高阶逻辑系统。出处：数理化力学卷 • 数　　学 • 数理逻辑 • 数学基础
随便看	中国人民解放军空军政治部文工团中国人民解放军第10兵团中国人民解放军第12兵团中国人民解放军第13兵团中国人民解放军第14兵团中国人民解放军第15兵团中国人民解放军第18兵团中国人民解放军第19兵团中国人民解放军第1兵团中国人民解放军第20兵团中国人民解放军第21兵团中国人民解放军第22兵团中国人民解放军第23兵团中国人民解放军第2兵团中国人民解放军第3兵团中国人民解放军第4兵团中国人民解放军第5兵团中国人民解放军第7兵团中国人民解放军第8兵团中国人民解放军第9兵团中国人民解放军第二军医大学中国人民解放军第四军医大学中国人民解放军舞蹈史中国人民解放军艺术学院舞蹈系中国人民解放军运动会

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