翻译
  • 简明词典
  • 柯林斯词典
  • AI释义
  • AI解词
  • 牛津词典

  • functional calculus

    • 英 [ˈfʌŋkʃənəl ˈkælkjələs]
    • 美 [ˈfʌŋkʃənəl ˈkælkjələs]

    释义

    • 谓词演算

  • 英英释义

    Noun

    • 1. a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
    收起英英释义
  • 释义
  • 英英释义