検索結果- 英語 - 英語

検索内容:

symbolic logic

名詞
不可算名詞 通常
日本語の意味
自然言語の側面や関係を、記号を用いて表現する形式的な推論体系
このボタンはなに?

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

関連語

plural

logical constant

名詞
日本語の意味
論理定数:論理的な意味が変わらない単語または句で、論証の形式を構築するのに役立つもの。
このボタンはなに?

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

関連語

plural

presentation logic

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

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

sentential logic

名詞
日本語の意味
命題論理
このボタンはなに?

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

関連語

plural

domain logic

名詞
不可算名詞
日本語の意味
(コンピューティング) ビジネスロジックのより一般的な呼び名。すなわち、特定のビジネスに限定されず、組織内で動作する論理や業務ルールを指す。
このボタンはなに?

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

quantum logic

名詞
日本語の意味
量子力学から抽象化された非古典論理。量子力学の現象を扱うために、従来の古典論理とは異なる論理体系。
このボタンはなに?

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

関連語

plural

doxastic logic

名詞
可算名詞 不可算名詞
日本語の意味
信念を扱うモーダル論理の一種
このボタンはなに?

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

関連語

plural

non-logical

形容詞
別表記 異形 比較不可
日本語の意味
「nonlogical」の別表記であり、非論理的、つまり論理に基づかないという意味を持つ。
このボタンはなに?

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

paraconsistent logic

名詞
可算名詞 不可算名詞
日本語の意味
矛盾を一部許容するが、それによって全ての命題が真になるという爆発原理が成立しない、特定の形式論理体系
このボタンはなに?

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

関連語

plural

logic programming

名詞
不可算名詞
日本語の意味
論理プログラミング:形式論理に基づいたパラダイムを用いて行うプログラミング手法 / 論理に基づくプログラミング:論理の理論と手法を利用してプログラムを記述する方法
このボタンはなに?

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

loading!

Loading...

全て読み込みました。

Error

Webで検索する

ログイン / 新規登録

 

アプリをダウンロード!
DiQt

DiQt(ディクト)

無料

★★★★★★★★★★