「Propositional」を含む例文一覧(4)

  • The propositional calculus is based on statements which have truth values (true or false).
    命題計算は真理値(真または偽)を持つ文に基づいている。 - コンピューター用語辞典
  • Complex hypotheses of the classifier are defined by applying combinatorial functions of the Boolean operators to the propositional space to construct all possible propositions in the propositional space.
    命題空間にブール演算子の連結関数を適用することによって識別器の複合仮説が定義され、命題空間内の全ての可能な命題が構築される。 - 特許庁
  • For each possible combination of the coefficients, a Boolean valued proposition is determined using relational operators to generate a propositional space.
    係数の可能な連結毎に、関係演算子を用いてブール値命題が求められ、命題空間が生成される。 - 特許庁
  • Many systems of propositional calculus have been devised which attempt to achieve consistency, completeness, and independence of axioms.
    多くの命題計算系が考案されてきた。それらは一貫性、完全性および公理の独立性を達成しようと試みるものである。 - コンピューター用語辞典

例文データの著作権について

  • 特許庁
    Copyright © Japan Patent office. All Rights Reserved.
  • コンピューター用語辞典
    Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.