Search results- English - English

Keyword:

Logic

deontic logic

Noun

countable uncountable

Japanese Meaning

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

What is this buttons?

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

Google Translation / DeepL Translation

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

Details

Related Words

deontic logics

（ plural ）

Details

logic diagram

Noun

Japanese Meaning

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

What is this buttons?

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

Google Translation / DeepL Translation

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

Details

Related Words

logic diagrams

（ plural ）

Details

logical system

Noun

(logic) A formal system.

Japanese Meaning

形式体系 / 論理体系

What is this buttons?

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

Google Translation / DeepL Translation

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

Details

Related Words

logical systems

（ plural ）

Details

logical calculus

Noun

(logic) A formal system.

Japanese Meaning

形式体系 / 形式論理体系

What is this buttons?

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

Google Translation / DeepL Translation

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

Details

Related Words

logical calculi

（ plural ）

Details

formal logic

Noun

countable uncountable

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

Japanese Meaning

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

What is this buttons?

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

Google Translation / DeepL Translation

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

Details

Related Words

formal logics

（ plural ）

Details

term logic

Noun

countable uncountable

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

Japanese Meaning

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

What is this buttons?

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

Google Translation / DeepL Translation

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

Details

Related Words

term logics

（ plural ）

Details

business logic

Noun

uncountable

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

Japanese Meaning

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

What is this buttons?

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

Google Translation / DeepL Translation

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

Details

logic gates

Noun

form-of plural

plural of logic gate

Japanese Meaning

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

What is this buttons?

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

Google Translation / DeepL Translation

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

Details

logic bombs

Noun

form-of plural

plural of logic bomb

Japanese Meaning

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

What is this buttons?

Google Translation / DeepL Translation

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

Details

classical logic

Noun

countable uncountable

(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.

Japanese Meaning

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

What is this buttons?

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 Translation / DeepL Translation

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

Details

Related Words

classical logics

（ plural ）

Details

Search by Web