検索結果- 英語 - 英語

検索内容:

many-sorted logics

名詞
活用形 複数形
日本語の意味
「多ソート論理」の複数形(すなわち、複数の種類の対象を区別する論理体系であることを示す表現)
このボタンはなに?

複数のソートを持つ論理体系は、いくつかの異なる種類の要素を含むシステムを表現し推論するための堅牢な枠組みを提供する。

first-order logics

名詞
活用形 複数形
日本語の意味
「一階述語論理」の複数形
このボタンはなに?

研究者たちはいくつかの一階述語論理を比較し、どれが新しいデータベーススキーマの性質を最もよく表すかを調べた。

monadic predicate logics

名詞
活用形 複数形
日本語の意味
単項述語論理の複数形。
このボタンはなに?

論理学の歴史を学ぶ大学院生は、表現力を理解するために、さまざまな単項述語論理を比較することが多い。

second-order logics

名詞
活用形 複数形
日本語の意味
複数の第二階述語論理、すなわち複数の第二階の論理体系
このボタンはなに?

研究者たちは、異なる数学的性質を表現できるものを特定するために、さまざまな二階述語論理の表現力を比較した。

logic circuit

名詞
日本語の意味
複数の論理ゲートが連結され、論理的な演算を行う回路、すなわち論理回路
このボタンはなに?
関連語

plural

logic circuits

名詞
活用形 複数形
日本語の意味
「logic circuits」は「logic circuit」の複数形であり、複数の論理回路を指す活用形です。
このボタンはなに?

fridge logic

名詞
俗語 不可算名詞
日本語の意味
(ファンダムスラング)物語の中で初めは見落とされていたディテールが、後になって再考すると明らかに不合理または非現実的で、しばしば筋の穴を生む現象を指す
このボタンはなに?

chop-logic

形容詞
別表記 異形 比較不可
日本語の意味
「chop logic」の別綴り、つまり同じ概念を示す異なる表記
このボタンはなに?

彼のエッセイにあるチョップ・ロジック的な議論は、結論が恣意的に見えた。

chop logic

名詞
不可算名詞 可算名詞 廃用
日本語の意味
不適切な論理、不正確な推論(詭弁)
このボタンはなに?

委員会は、その提案が不適切な推論に基づいており、確かな証拠がないとして却下した。

関連語

plural

intuitionistic logic

名詞
日本語の意味
直観主義論理:排中律(または同値で二重否定法則やピアースの法則)を拒否する論理体系であり、直観主義の基礎となる論理。
このボタンはなに?

セミナーでは、直観主義論理が構成的数学における真理の概念をどのように変えるかが議論された。

関連語

plural

loading!

Loading...

全て読み込みました。

Error

Webで検索する

ログイン / 新規登録

 

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

DiQt(ディクト)

無料

★★★★★★★★★★