検索結果- 英語 - 英語

検索内容:

logic,

symbolic logic

名詞

不可算名詞通常

日本語の意味

自然言語の側面や関係を、記号を用いて表現する形式的な推論体系

このボタンはなに？

In the philosophy seminar, she used symbolic logic to clarify the structure of the argument.

Google翻訳 / DeepL翻訳

哲学のゼミで、彼女は議論の構造を明確にするために記号論理学を用いた。

詳細

関連語

symbolic logics

（ plural ）

詳細

logical constant

名詞

(logic) A word or phrase which has an invariant logical meaning and which is useful for forming argument forms.

日本語の意味

論理定数：論理的な意味が変わらない単語または句で、論証の形式を構築するのに役立つもの。

このボタンはなに？

In symbolic logic, the biconditional '↔' functions as a logical constant connecting two propositions.

Google翻訳 / DeepL翻訳

記号論理学において、同値記号（↔）は二つの命題を結ぶ論理定数として働く。

詳細

関連語

logical constants

（ plural ）

詳細

presentation logic

名詞

不可算名詞

(computing) The logic that is concerned with how domain/business objects are displayed to users of the software.

日本語の意味

ユーザーに対してドメインやビジネスオブジェクトの表示方法を管理するロジック / 画面表示やプレゼンテーション層における処理の論理 / ソフトウェアにおいて、データをどのようにユーザーに見せるかを決定するロジック

このボタンはなに？

The presentation logic in the application should be isolated from business rules to facilitate testing and reuse.

Google翻訳 / DeepL翻訳

アプリケーションの表示を担当するロジックは、テストや再利用を容易にするためにビジネスロジックから分離されるべきです。

詳細

sentential logic

名詞

(logic) propositional logic

日本語の意味

命題論理

このボタンはなに？

In our philosophy seminar, we spent the afternoon studying sentential logic and its applications to computer science.

Google翻訳 / DeepL翻訳

哲学のゼミでは午後をかけて命題論理とそのコンピュータ科学への応用を研究しました。

詳細

関連語

sentential logics

（ plural ）

詳細

domain logic

名詞

不可算名詞

日本語の意味

(コンピューティング) ビジネスロジックのより一般的な呼び名。すなわち、特定のビジネスに限定されず、組織内で動作する論理や業務ルールを指す。

このボタンはなに？

To streamline testing, the team separated the domain logic from the presentation layer.

Google翻訳 / DeepL翻訳

テストを効率化するため、チームはプレゼンテーション層からドメインロジックを分離した。

詳細

quantum logic

名詞

(logic, quantum mechanics) A form of non-classical logic which has been abstracted out of quantum mechanics.

日本語の意味

量子力学から抽象化された非古典論理。量子力学の現象を扱うために、従来の古典論理とは異なる論理体系。

このボタンはなに？

The philosopher argued that quantum logic challenges our classical intuitions about truth and measurement.

Google翻訳 / DeepL翻訳

その哲学者は、量子論理が真理と測定に関する古典的直観に挑戦すると主張した。

詳細

関連語

quantum logics

（ plural ）

詳細

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

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

詳細

Webで検索する