検索結果- 英語 - 多言語
検索内容:
computation tree logic
(computer science) A particular modal logic of branching time with operators "next", "globally", "finally" or "eventually", "until", and "weak until".
計算木論理：分岐時間を扱う特殊な様相論理であり、『次』、『全体』、『最終（または最終的に）』、『until』、『weak until』などのオペレーターを用いて、システムの状態遷移などを形式的に表現する論理体系
first-order logic
(logic) A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse.
形式的な推論体系で、命題論理を基礎に拡張し、対象となる個体に対して「すべての」や「存在する」といった量化（∀, ∃）を可能にする論理体系。 / 対象の領域の個体に関する性質や関係を記述するための、明確かつ厳密な論理体系。
many-sorted logic
(logic) A logic that directly supports classification of entities into disjunct sorts.
複数の不連続な種類（ソート）に対象を直接分類することをサポートする論理体系（多ソート論理）
arithmetic logic units
uncommitted logic arrays
uncommitted logic array
(electronics) A gate array.
（エレクトロニクス）ゲートアレイ。すなわち、固定配列ではなく、後から構成を決定できるロジック回路基板。
many-valued logic
(logic) A kind of non-classical propositional calculus whose semantics makes use of more than two truth values.
伝統的な真理値（真と偽）のみならず、2つ以上の真理値（例えば、真、偽、そしてその他の値）を用いる非古典的命題論理体系を指す。 / 複数の真理値を採用することにより、従来の二値論理では扱いきれない問題や状況をモデル化できる論理システム。
