検索結果- 英語 - 英語

検索内容:

logicizing

logic boards

名詞

活用形複数形

plural of logic board

日本語の意味

「logic board」の複数形。つまり、1枚のロジックボードではなく複数のロジックボードを指す表現です。

このボタンはなに？

Technicians replaced three faulty logic boards to get the vintage computers running again.

Google翻訳 / DeepL翻訳

技術者たちは、古いコンピューターを再び動かすために故障したマザーボードを3枚交換した。

詳細

doxastic logic

名詞

可算名詞不可算名詞

(logic) A type of modal logic which deals with statements involving beliefs.

日本語の意味

信念を扱うモーダル論理の一種

このボタンはなに？

In the seminar, the students studied doxastic logic to better understand how agents form and revise beliefs.

Google翻訳 / DeepL翻訳

ゼミで学生たちは、エージェントがどのように信念を形成し修正するかをよりよく理解するために信念の論理を学んだ。

詳細

関連語

doxastic logics

（ plural ）

詳細

non-logical

形容詞

別表記異形比較不可

Alternative spelling of nonlogical

日本語の意味

「nonlogical」の別表記であり、非論理的、つまり論理に基づかないという意味を持つ。

このボタンはなに？

Her explanation seemed non-logical to those who expected a clear, step-by-step argument.

Google翻訳 / DeepL翻訳

はっきりした段階的な説明を期待していた人々には、彼女の説明は非論理的に思えた。

詳細

paraconsistent logic

名詞

可算名詞不可算名詞

(logic, countable) A particular formal logical system which allows some contradictions to be true without all contradictions or all statements becoming true; i.e. in which the principle of explosion does not hold.

日本語の意味

矛盾を一部許容するが、それによって全ての命題が真になるという爆発原理が成立しない、特定の形式論理体系

このボタンはなに？

In our seminar, we explored paraconsistent logic to model contradictory but non-trivial databases.

Google翻訳 / DeepL翻訳

私たちのセミナーでは、いくつかの矛盾が真でもすべての命題が真になるわけではないような、矛盾を許容する形式論理を用いて矛盾を含むが自明ではないデータベースのモデル化を検討した。

詳細

関連語

paraconsistent logics

（ plural ）

詳細

logic programming

名詞

不可算名詞

(programming) Programming with a paradigm that bases on formal logic

日本語の意味

論理プログラミング：形式論理に基づいたパラダイムを用いて行うプログラミング手法 / 論理に基づくプログラミング：論理の理論と手法を利用してプログラムを記述する方法

このボタンはなに？

After taking the advanced course, she used logic programming to express complex rules succinctly.

Google翻訳 / DeepL翻訳

上級コースを受講した後、彼女は複雑な規則を簡潔に表現するために形式論理に基づくプログラミングを用いた。

詳細

relevance logic

名詞

A kind of non-classical logic requiring the antecedent and consequent of implications to be relevantly related, and aiming to capture aspects of implication that are ignored by the "material implication" operator in classical truth-functional logic.

日本語の意味

前件と後件が実質的な関連性を有する必要があるという条件の下、古典論理の物質的含意では捉えられない含意の側面を捉えることを目指す、非古典論理の一種。

このボタンはなに？

Relevance logic is a kind of non-classical logic that requires the antecedent and consequent of an implication to be relevantly related, aiming to capture aspects of implication that are ignored by the material implication operator in classical truth-functional logic.

Google翻訳 / DeepL翻訳

関連論理は、含意の前件と後件が互いに関連していることを要求する非古典論理の一種であり、古典的な真理関数論理における物質含意演算子が無視している含意の側面を捉えようとする。

詳細

関連語

relevance logics

（ plural ）

詳細

paraconsistent logics

名詞

活用形複数形

plural of paraconsistent logic

日本語の意味

『パラコンサイステント論理』の複数形。すなわち、単数形である『paraconsistent logic』の複数形を指します。

このボタンはなに？

Researchers compared several paraconsistent logics to determine which best handled contradictory data.

Google翻訳 / DeepL翻訳

研究者たちは、どの矛盾許容論理体系が矛盾するデータを最もよく扱えるかを判断するために、いくつかの矛盾許容論理体系を比較した。

詳細

Boolean logics

名詞

活用形複数形

plural of Boolean logic

日本語の意味

「Boolean logic」の複数形、すなわち単数形「ブール論理」の複数形です。

このボタンはなに？

Boolean logics are essential for designing digital circuits that rely on true/false decision-making.

Google翻訳 / DeepL翻訳

複数のブール論理は、真か偽かの判断に基づくデジタル回路の設計に不可欠です。

詳細

description logic

名詞

(logic) One of a family of knowledge representation languages which can be used to represent the concept definitions of an application domain (known as terminological knowledge) in a structured and formally well-understood way.

日本語の意味

記述論理学：応用領域の概念定義（用語知識）を、構造化され正式な理解が可能な方法で表現するための知識表現言語の一族

このボタンはなに？

The research team used description logic to formalize the domain concepts and automate consistency checking.

Google翻訳 / DeepL翻訳

研究チームはドメインの概念を形式化し、整合性チェックを自動化するために記述論理を使用しました。

詳細

関連語

description logics

（ plural ）

詳細

intuitionistic logic

名詞

(mathematics, logic) A type of logic which rejects the axiom law of excluded middle or, equivalently, the law of double negation and/or Peirce's law. It is the foundation of intuitionism.

日本語の意味

直観主義論理：排中律（または同値で二重否定法則やピアースの法則）を拒否する論理体系であり、直観主義の基礎となる論理。

このボタンはなに？

The seminar explored how intuitionistic logic reshapes the notion of truth in constructive mathematics.

Google翻訳 / DeepL翻訳

セミナーでは、直観主義論理が構成的数学における真理の概念をどのように変えるかが議論された。

詳細

関連語

intuitionistic logics

（ plural ）

詳細

Webで検索する