検索結果- 英語 - 英語 | ディクト

検索結果- 英語 - 英語

検索内容:

logicalization

chop-logic

名詞

別表記異形

Alternative spelling of chop logic

日本語の意味

「chop logic」の別綴り表記として用いられる名詞。

このボタンはなに？

His argument was nothing more than chop-logic, thinly disguised as expertise.

Google翻訳 / DeepL翻訳

彼の主張は専門知識のように装われた、ただのでたらめな理屈に過ぎなかった。

関連語

chop-logics

（ plural ）

chop logic

動詞

To argue skillfully, using complex logic or clever reasoning.

日本語の意味

複雑な論理や巧妙な推論を用いて、巧みに議論を交わすこと

このボタンはなに？

At the debate, she managed to chop logic her opponent into conceding the point.

Google翻訳 / DeepL翻訳

討論で、彼女は巧妙な論理展開で相手を論破し、要点を認めさせた。

関連語

chops logic

（ present singular third-person ）

chopping logic

（ participle present ）

chopped logic

（ participle past ）

chopped logic

（ past ）

mathematical logic

名詞

不可算名詞通常

(logic) A subfield of logic and mathematics consisting of both the mathematical study of logic and the application of this study to other areas of mathematics, exemplified by questions on the expressive power of formal logics and the deductive power of formal proof systems.

日本語の意味

数学的論理学：論理学と数学の一分野で、論理の数学的研究とその知見を他の数学領域へ応用することで、形式論理の表現力や形式的証明体系の推論力に関する問題に取り組む分野

このボタンはなに？

Google翻訳 / DeepL翻訳

セミナーで、教授は数理論理学が形式言語の表現力や証明体系の推論力を分析するための手法をどのように提供するかを示した。

関連語

mathematical logics

（ plural ）

logical system

名詞

(logic) A formal system.

日本語の意味

形式体系 / 論理体系

このボタンはなに？

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

Google翻訳 / DeepL翻訳

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

関連語

logical systems

（ plural ）

logical calculus

名詞

(logic) A formal system.

日本語の意味

形式体系 / 形式論理体系

このボタンはなに？

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

Google翻訳 / DeepL翻訳

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

関連語

logical calculi

（ plural ）

formal logic

名詞

可算名詞不可算名詞

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

日本語の意味

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

このボタンはなに？

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

Google翻訳 / DeepL翻訳

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

関連語

formal logics

（ plural ）

temporal logic

名詞

可算名詞不可算名詞

A form of symbolic logic used to reason about properties of statements related to order and duration.

日本語の意味

命題の順序や時間的な持続性に関連する性質を推論するために用いられる記号論理の一形式。特に「時相論理」とも呼ばれ、時間の概念を取り入れた論理体系を指す。

このボタンはなに？

Researchers used temporal logic to verify that the distributed system maintained message order and timing constraints.

Google翻訳 / DeepL翻訳

研究者たちは、分散システムがメッセージの順序と時間的制約を維持していることを検証するために時相論理を用いた。

関連語

temporal logics

（ plural ）

temporal logics

名詞

活用形複数形

plural of temporal logic

日本語の意味

「temporal logic」（時相論理）の複数形です。

このボタンはなに？

In the seminar, we explored different temporal logics to understand their expressiveness and limitations.

Google翻訳 / DeepL翻訳

セミナーでは、表現力と限界を理解するために、さまざまな時相論理を検討しました。

deontic logic

名詞

可算名詞不可算名詞

日本語の意味

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

このボタンはなに？

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

Google翻訳 / DeepL翻訳

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

関連語

deontic logics

（ plural ）

modal logic

名詞

可算名詞不可算名詞

日本語の意味

可能性や必然性、義務や許可などの様相的概念を扱う形式的な論理体系。 / モーダリティ（例：可能性、必然性）に基づいた論理システムとして、様相論理とも呼ばれる。

このボタンはなに？

In my thesis, I apply modal logic to analyze obligations and permissions in legal reasoning.

Google翻訳 / DeepL翻訳

私の論文では、法的推論における義務や許可を分析するために様相論理を適用しています。

関連語

modal logics

（ plural ）

Webで検索する

ログイン / 新規登録

　

アプリをダウンロード！

DiQt（ディクト）

無料

★★★★★★★★★★