検索結果- 英語 - 英語

検索内容:

logic,

mathematical logic

名詞

不可算名詞通常

(logic) A subfield of logic and mathematics consisting of both the mathematical study of logic and the application of this study to other areas of mathematics, exemplified by questions on the expressive power of formal logics and the deductive power of formal proof systems.

日本語の意味

数学的論理学：論理学と数学の一分野で、論理の数学的研究とその知見を他の数学領域へ応用することで、形式論理の表現力や形式的証明体系の推論力に関する問題に取り組む分野

このボタンはなに？

Google翻訳 / DeepL翻訳

セミナーで、教授は数理論理学が形式言語の表現力や証明体系の推論力を分析するための手法をどのように提供するかを示した。

詳細

関連語

mathematical logics

（ plural ）

詳細

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翻訳

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

詳細

Webで検索する