universities,（代数学）とは - 英語 - 多言語

ログインすると広告が減り、学習に集中できます。

検索結果- 英語 - 多言語

検索内容:

universities,

universal arithmetic

名詞

古語不可算名詞

(archaic) algebra

日本語の意味

代数学

英語の意味

(archaic) algebra

このボタンはなに？

He studied universal arithmetic under the old master, fascinated by its elegant methods.

翻訳する

彼は古い師匠のもとで代数学を学び、その優雅な手法に魅了された。

詳細

Herbrand universe

名詞

(logic) The set of all ground terms that may be formed (even recursively) using any of the constants and functions which appear in a given set of formulae. (If there is no constant in that given set of formulae, then designate one default constant as being usable for the aforementioned purpose.)

日本語の意味

論理学において、『Herbrand universe』は、与えられた論理式集合に現れる定数や関数記号を用いて（再帰的にも構成可能な）全ての地の項（ground term）の集合を指します。なお、もしその論理式集合に定数が存在しない場合には、目的のためにひとつの既定の定数を採用することが規定されています。

英語の意味

このボタンはなに？

翻訳する

充足可能性を証明するために、研究者は節に出現する定数と関数記号を用いて（再帰的に）作ることのできるすべての地の項の集合を列挙し、その地のインスタンスの中からモデルを探索した。

詳細

関連語

Herbrand universes

（ plural ）

詳細

technological university

名詞

(education) A university specialising in the study of engineering, science and technology.

日本語の意味

工科大学：工学、理学、技術の分野に特化して教育・研究を行う大学 / 技術大学：主に工学や技術関連の教育・研究を中心とする大学

英語の意味

(education) A university specialising in the study of engineering, science and technology.

このボタンはなに？

She was accepted into a prestigious technological university after submitting her research proposal.

翻訳する

彼女は研究計画書を提出した後、名門の理工系大学に合格しました。

詳細

関連語

technological universities

（ plural ）

詳細

known universes

名詞

活用形複数形

plural of known universe

原形: known universe

日本語の意味

「既知の宇宙」の複数形、つまり既知の宇宙が複数存在する場合を指します。

英語の意味

plural of known universe

このボタンはなに？

Scientists compare data from different known universes to test the limits of physical laws.

翻訳する

科学者たちは物理法則の限界を検証するために、既知の複数の宇宙からのデータを比較する。

詳細

observable universes

名詞

活用形複数形

plural of observable universe

原形: observable universe

日本語の意味

観測可能な宇宙（複数形）

英語の意味

plural of observable universe

このボタンはなに？

Scientists debated whether multiple observable universes could leave detectable imprints on the cosmic microwave background.

翻訳する

科学者たちは、複数の観測可能な宇宙が宇宙マイクロ波背景放射に検出可能な痕跡を残すかどうかを議論した。

詳細

Universal Credit

固有名詞

(taxation) A welfare benefit in the United Kingdom, replacing previous benefits and tax credits, gradually rolled out from 2013 and expected to cover the whole country by the end of 2024.

日本語の意味

イギリスにおける福祉給付制度の一つ。従来の給付金や税額控除制度を統合・置換し、2013年から段階的に導入され、2024年末までに全国に適用される予定の制度。

英語の意味

(taxation) A welfare benefit in the United Kingdom, replacing previous benefits and tax credits, gradually rolled out from 2013 and expected to cover the whole country by the end of 2024.