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

    • [wèi cí]

    释义

    • predicate  
      断言,断定; 宣布,宣讲; 使基于;
    • predication  
      论断;
  • 实用场景例句

    • 全部

    Copies the contained elements, hash function, predicate, maximum load factor and allocator.

    复制所含的元素 、 散列函数 、 谓词 、 最大负载因子和分配器.

    互联网

    Show the commands pane if the selected object exposes verbs.

    如果选定对象公开谓词,则显示命令窗格.

    互联网

    The element's index is used in the logic of the predicate function.

    将在谓词函数的逻辑中使用元素的索引.

    互联网

    Position ternary predicate shape, edit reading, connect roles, and add constraints.

    定位三元谓词形状 、 编辑读数 、 连接角色和添加约束.

    互联网

    The atomic formula is called atom for short in predicate calculus.

    在谓词演算中,有时将原子公式简称为原子.

    互联网

    Also, first - order predicate calculus isn't good enough anyway.

    同时, 从各方面来说,一阶谓词演算都不是足够好.

    互联网

    Your vocabulary is you.

    所谓词如其人.

    互联网

    We also examine the constraints on the structural projection of arguments of each type of predicate.

    文章亦讨?各个谓词的每种?型的?元结构投射及相关的约束条件.

    互联网

    Subject and phrase make sentences is the most common function of subject and phrase.

    主谓词组成句是主谓词组最常见的功能,但是并不是所有的主谓词组都不需要任何条件就能独立成句.

    互联网

    By predicate logic, the solution is set up and the process of analysis is provided.

    依据谓词逻辑规则建立解决方案, 提供了求解的流程.

    互联网

    Copies the contained elements, hash function, predicate and maximum load factor but not the allocator.

    复制所含的元素 、 散列函数 、 谓词、最大负载因子,但不复制分配器.

    互联网

    First order logic is a most important concept in the field of propositional logic.

    而一阶谓词逻辑化为其前束范式是命题演算的重要步骤.

    互联网

    Predicate logic: also predicate calculus, which studies the internal structure of simple propositions.

    谓词逻辑: 也叫谓词演算, 它研究简单命题的内部结构.

    互联网

    There is more information on hash functions and equality predicates in the next section.

    在下一节中,有更多的关于散列函数和等同性谓词的信息.

    互联网

    This predicate returns true iff u has extended a friendship invitation to v.

    该谓词返回true当且仅当u向v发出了朋友邀请.

    互联网

    收起实用场景例句
  • 词组搭配

    谓词变项

    predicate variable

    谓词常数

    predicate constant

    谓词符号

    predicate symbol

    谓词逻辑

    predicate logic

    谓词逻辑锁

    predicate logic lock

    谓词演算

    predicate calculus

    谓词族

    predicate calculus

    收起词组搭配
  • 行业词典

    • 数学

      predicate