本文へスキップ
ログインすると広告が減り、学習に集中できます。
広告

検索結果- 英語 - 多言語

検索内容:

formal logic

名詞
可算名詞 不可算名詞

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

日本語の意味
数学的論理学 / 特定の論理計算体系
英語の意味
(logic) Mathematical logic. / (logic) A particular logical calculus.
このボタンはなに?

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

関連語

plural

formal fallacy

名詞

(logic) A pattern of reasoning which is always wrong, due to a flaw in the structure of the argument.

日本語の意味
(論理学)議論の形式上の構造に欠陥があり、そのために常に誤った結論を導く推論パターン / 形式的誤謬(形式誤謬)
英語の意味
(logic) A pattern of reasoning which is always wrong, due to a flaw in the structure of the argument.
このボタンはなに?

哲学者は、その政治家の演説が形式的誤謬に基づいていると指摘し、結論は信用できないと述べた。

関連語

plural

formal system

名詞

(logic) The grouping of a formal language and a set of inference rules and/or axioms.

日本語の意味
形式体系:形式言語と一組の推論規則または公理から構成される、論理における体系
英語の意味
(logic) The grouping of a formal language and a set of inference rules and/or axioms.
このボタンはなに?

証明の妥当性を検証するため、チームは議論を形式体系(形式言語と推論規則の集合)に符号化し、各推論の手順を確認した。

関連語

plural

formal science

名詞

A study that is concerned with theoretical formal systems, such as logic, mathematics, systems theory and the theoretical branches of computer science, information theory, microeconomics, statistics, and linguistics.

日本語の意味
論理学、数学、システム理論、計算機科学の理論的分野、情報理論、ミクロ経済学、統計学、言語学の理論的側面など、形式的な体系や原理に基づく学問分野
英語の意味
A study that is concerned with theoretical formal systems, such as logic, mathematics, systems theory and the theoretical branches of computer science, information theory, microeconomics, statistics, and linguistics.
このボタンはなに?

彼女の形式科学における研究は計算複雑性理論に新たな洞察をもたらした。

関連語

plural

essive-formal

名詞
不可算名詞

(grammar) A case in Hungarian that combines the essive case and the formal case, and it can express position, task, state (e.g. "as a tourist") or manner (e.g. "like a hunted animal").

日本語の意味
ハンガリー語の文法における格の一種で、エッシブ格(~である状態を示す)とフォーマル格(形式上の敬意や公式性を示す)を併せ持ち、位置、任務、状態(例:「観光客として」)、様態(例:「狩られた動物のように」)などを表す。
英語の意味
(grammar) A case in Hungarian that combines the essive case and the formal case, and it can express position, task, state (e.g. "as a tourist") or manner (e.g. "like a hunted animal").
このボタンはなに?

言語学者はしばしば、位置や役割(例えば「観光客として」)や様態(例えば「追われる動物のように」)を表す格の興味深い例として、ハンガリー語のエッシブ格とフォーマル格が結合した格を挙げる。

formal sciences

名詞
活用形 複数形

plural of formal science

原形: formal science
日本語の意味
『formal sciences』は「formal science」の複数形であり、単数形は「formal science」です。
英語の意味
plural of formal science
このボタンはなに?

大学院生は新しい計算モデルを開発するために、形式科学の諸分野にまたがって協力することが多い。

formal ontology

名詞

An ontology with a structure that is guided and defined through axioms.

日本語の意味
公理に基づいて導かれ、定義された構造を持つオントロジー。 / 形式的オントロジー
英語の意味
An ontology with a structure that is guided and defined through axioms.
このボタンはなに?

研究チームは、構造が公理によって定義・制約されるオントロジーを開発して、ドメイン概念が一貫して定義され論理的に関連づけられるようにした。

関連語

plural

formal validity

名詞
可算名詞 不可算名詞

(logic) An argument's property of being valid due to being an instance of an argument form.

日本語の意味
論理学において、『formal validity』は、議論が特定の論証形式(argument form)の実例であることによって、その議論が正当なものと認められる性質を指します。
英語の意味
(logic) An argument's property of being valid due to being an instance of an argument form.
このボタンはなに?

教授は学生の論証を評価する際に形式的妥当性の重要性を強調した。

関連語

plural

formal heresies

名詞
活用形 複数形

plural of formal heresy

原形: formal heresy
日本語の意味
「formal heresies」は、『formal heresy』(形式的な異端)の複数形です。
英語の意味
plural of formal heresy
このボタンはなに?

その協議会は教会の一致を脅かすいくつかの形式的な異端について議論した。

formal heresy

名詞

(Roman Catholicism) The teaching or expression of an opinion in the conscious knowledge that it is contradictory to the teachings of the Church, and as such heretical.

日本語の意味
(ローマ・カトリックにおいて)教会の教えに反すると自覚しながらそれを表明する、またはその内容
英語の意味
(Roman Catholicism) The teaching or expression of an opinion in the conscious knowledge that it is contradictory to the teachings of the Church, and as such heretical.
このボタンはなに?

神学者が教会の教えに反する教義を執拗に説いたとき、教区の会議は彼の著作を形式的異端と宣言した。

関連語

plural

loading!

Loading...

全て読み込みました。

Error

Webで検索する

ログイン / 新規登録

 

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

DiQt(ディクト)

無料

★★★★★★★★★★