您的位置:首页 > gaojie
  • 高阶逻辑

    高阶逻辑

    高阶逻辑,高阶逻辑,gaojie luoji,高阶逻辑,gaojie,luoji,[拼音]:gaojie luoji[外文]:higher order logic通常的逻辑演算是一阶谓词演算,也叫一阶逻辑。在其中除命题联结词外,所讨论的函词及谓词都只以个体为变目,而量词及摹状词只以个体变元为指导变元(约束变元)。一阶逻辑是很重要的。但它也...

    2023-12-28 9057 百科大全