検索結果- 英語 - 英語

検索内容:

description logics

名詞
活用形 複数形
日本語の意味
これは「description logic」(記述論理)の複数形、すなわち複数の記述論理を指す表現です。
このボタンはなに?

私たちのゼミでは、時間的推論を最もよくモデル化する複数の記述論理を比較しました。

Boolean logics

名詞
活用形 複数形
日本語の意味
「Boolean logic」の複数形、すなわち単数形「ブール論理」の複数形です。
このボタンはなに?

複数のブール論理は、真か偽かの判断に基づくデジタル回路の設計に不可欠です。

doxastic logics

名詞
活用形 複数形
日本語の意味
これは「doxastic logic」の複数形です。つまり、単数形である「doxastic logic」(信念論理)に対して、複数の概念を表すために「s」が付いた形です。
このボタンはなに?

新しい証拠に直面したときにエージェントがどのように信念を更新するかをモデル化するために、いくつかの信念の論理が提案されてきました。

symbolic logics

名詞
活用形 複数形
日本語の意味
これは単語 'symbolic logic' の複数形という活用形を示しています。つまり、『記号論理学』の複数形です。
このボタンはなに?

ゼミでは、学生たちは形式的推論をより深く理解するために、異なる種類の記号論理学の歴史的展開を比較した。

mathematical logics

名詞
活用形 複数形
日本語の意味
「mathematical logics」は、『mathematical logic』(数学的論理学)の複数形であり、活用形として名詞の複数形の形を示しています。
このボタンはなに?

研究者たちは、計算をモデル化する上で最も表現力があるものを見極めるために、いくつかの数理論理学の体系を比較した。

informal logics

名詞
活用形 複数形
日本語の意味
非形式論理(informal logicの複数形、形式にとらわれずに議論を評価・分析する学問領域)
このボタンはなに?

哲学のゼミで、日常的な議論をどのように扱うかを確かめるために、いくつかの非形式論理を比較しました。

logic error

名詞
日本語の意味
プログラミングにおいて、実行可能な正しいコードが意図しない結果を出力する、プログラム内部の論理的な誤りを指す。
このボタンはなに?

テスト中に、ソート処理が誤った結果を返す原因となった微妙な論理エラーを見つけた。

関連語

plural

logical languages

名詞
活用形 複数形
日本語の意味
「logical language」(論理言語)の複数形
このボタンはなに?

言語学者たちは、意味がどのように表現されるかを理解するために、さまざまな論理言語の構造を比較することがよくあります。

logical language

名詞
稀用
日本語の意味
比喩的または慣用的な意味ではなく、文字通りの論理的な意味(‘logical’, ‘language’の直接の意味)を示す用法として用いられる。 / (稀に)曖昧さがなく誤解の余地のない陳述が可能(または強制)となるよう設計された言語、つまり形式言語としての意味。
このボタンはなに?

ゼミでは、曖昧な哲学的記述を明確にするために、形式的な論理体系がどのように役立つかを検討した。

関連語

plural

quantum logic gates

名詞
活用形 複数形
日本語の意味
「量子論理ゲート」の複数形、すなわち1つ以上の量子論理ゲートを指します。
このボタンはなに?

loading!

Loading...

全て読み込みました。

Error

Webで検索する

ログイン / 新規登録

 

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

DiQt(ディクト)

無料

★★★★★★★★★★