検索結果- 英語 - 英語

検索内容:

Logic

deontic logic

名詞

可算名詞不可算名詞

日本語の意味

義務、許可、その他関連する概念の研究 / 義務と許可の概念を捉える形式的な論理体系

このボタンはなに？

The philosopher used deontic logic to formalize the idea that agents are obliged to keep their promises.

Google翻訳 / DeepL翻訳

哲学者は、義務と許可の論理を用いて、行為者が約束を守る義務があるという考えを形式化した。

詳細

関連語

deontic logics

（ plural ）

詳細

logic diagram

名詞

日本語の意味

論理学の分野における図解 / 非空間的・抽象的な図表 / プロジェクト活動間の論理的な関係を示す模式図

このボタンはなに？

To debug the program, she sketched a logic diagram to map each conditional branch.

Google翻訳 / DeepL翻訳

プログラムをデバッグするために、彼女は各条件分岐を把握するための論理図を描いた。

詳細

関連語

logic diagrams

（ plural ）

詳細

logical system

名詞

(logic) A formal system.

日本語の意味

形式体系 / 論理体系

このボタンはなに？

The mathematician developed a new logical system to formalize the proofs.

Google翻訳 / DeepL翻訳

その数学者は証明を形式化するために新しい形式体系を開発した。

詳細

関連語

logical systems

（ plural ）

詳細

logical calculus

名詞

(logic) A formal system.

日本語の意味

形式体系 / 形式論理体系

このボタンはなに？

The philosopher developed a new logical calculus to formalize reasoning about belief.

Google翻訳 / DeepL翻訳

その哲学者は信念に関する推論を形式化するための新しい形式体系を開発した。

詳細

関連語

logical calculi

（ plural ）

詳細

formal logic

名詞

可算名詞不可算名詞

(logic) Mathematical logic. / (logic) A particular logical calculus.

日本語の意味

数学的論理学 / 特定の論理計算体系

このボタンはなに？

Graduate students studying computer science often take courses in formal logic to improve their reasoning skills.

Google翻訳 / DeepL翻訳

コンピュータサイエンスを学ぶ大学院生は、推論力を高めるために数理論理学の講義を履修することが多い。

詳細

関連語

formal logics

（ plural ）

詳細

term logic

名詞

可算名詞不可算名詞

(logic) An approach to logic that splits propositions into two terms—subject and predicate.

日本語の意味

命題を主語と述語の2つの項に分け、論理的構造を明らかにする論理学の一分野

このボタンはなに？

During the seminar, she explained how term logic underpins medieval arguments about universals.

Google翻訳 / DeepL翻訳

ゼミでは、彼女が主語と述語に命題を二分する論理が普遍論に関する中世の議論を支えている仕組みを説明しました。

詳細

関連語

term logics

（ plural ）

詳細

business logic

名詞

不可算名詞

(computing) Algorithms in a software system that models real life business objects and their interactions.

日本語の意味

ソフトウェアシステム内で、現実の業務オブジェクト（ビジネスエンティティ）やその相互作用をモデル化するためのアルゴリズムやルール。 / システム上で業務プロセスやビジネスルールを定義し、データの処理や流れを管理するロジック。 / 実際のビジネスでの手続きや判断基準を反映した、業務に関する計算や処理を実現するアルゴリズムの集合。

このボタンはなに？

During the audit, we discovered several hidden bugs because the business logic was intertwined with the database code.

Google翻訳 / DeepL翻訳

監査中、業務ロジックがデータベースコードと絡み合っていたため、いくつかの隠れたバグが見つかりました。

詳細

logic gates

名詞

活用形複数形

plural of logic gate

日本語の意味

『論理ゲート』という単数形の名詞の複数形（複数の論理ゲートを指す）

このボタンはなに？

To design the circuit, she used several logic gates to implement the required Boolean functions.

Google翻訳 / DeepL翻訳

回路を設計するために、彼女は必要なブール関数を実現するためにいくつかの論理ゲートを使った。

詳細

logic bombs

名詞

活用形複数形

plural of logic bomb

日本語の意味

「論理爆弾」の複数形。つまり、'logic bomb' の複数形を表します。

このボタンはなに？

Google翻訳 / DeepL翻訳

調査により、従業員が退職した後に重要なデータを削除するように仕組まれた複数のロジックボムが同社の既存システムに隠されていることが判明した。

詳細

classical logic

名詞

可算名詞不可算名詞

(logic) A kind of logic based on the principles that each proposition has a truth value of either "true" or "false", but not both, and that if a proposition were to be both true and false or neither true nor false then a result would be that all propositions would be both true and false.

日本語の意味

各命題が「真」または「偽」のいずれかの真理値を持ち、両方ではなく一方のみであるという原則に基づいた論理体系。もし命題が同時に真と偽を持つか、または真偽のいずれの値も持たなかった場合、全ての命題にその矛盾が影響してしまう結果となる。

このボタンはなに？

Many mathematicians defend classical logic, which holds that every proposition is either true or false and that allowing a proposition to be both or neither would make all propositions both true and false.

Google翻訳 / DeepL翻訳

多くの数学者は、各命題が真か偽かのいずれかであり、ある命題が同時に真でも偽でも、またはどちらでもないことを許すとすべての命題が真かつ偽になってしまうという考えに基づく古典論理を擁護している。

詳細

関連語

classical logics

（ plural ）

詳細

Webで検索する