検索結果- 英語 - 英語

検索内容:

arithmetized

arithmetization

名詞

可算名詞不可算名詞

(mathematics) The treatment of mathematics by methods involving only the fundamental concepts and operations of arithmetic.

日本語の意味

算術の基本概念と操作のみを用いて数学を扱うこと、すなわち数学を算術的手法によって体系化すること

このボタンはなに？

The arithmetization of analysis clarified which results could be derived purely from arithmetic, reshaping the foundations of mathematics.

Google翻訳 / DeepL翻訳

解析を算術の基本概念と演算だけで扱うことは、どの結果が純粋に算術から導けるかを明らかにし、数学の基礎を作り変えた。

詳細

関連語

arithmetizations

（ plural ）

詳細

arithmetizations

名詞

活用形複数形

plural of arithmetization

日本語の意味

『arithmetization』は「算術化」という意味で、その複数形です。

このボタンはなに？

The proof compared several arithmetizations to show that the encoding was robust across different representations.

Google翻訳 / DeepL翻訳

その証明は、符号化が異なる表現間で堅牢であることを示すために、いくつかの異なる算術化手法を比較した。

詳細

arithmetic sequence

名詞

(mathematics) Synonym of arithmetic progression

日本語の意味

等差数列

このボタンはなに？

An arithmetic sequence is a sequence of numbers in which the difference between consecutive terms is constant.

Google翻訳 / DeepL翻訳

詳細

関連語

arithmetic sequences

（ plural ）

詳細

higher arithmetic

名詞

古風不可算名詞廃用

(mathematics, chiefly dated) Number theory; the branch of pure mathematics concerned primarily with integers and integer-valued functions.

日本語の意味

数論：整数および整数値の関数を主に対象とする、純粋数学の一分野

このボタンはなに？

Higher arithmetic is a branch of mathematics that deals with advanced mathematical concepts and techniques.

Google翻訳 / DeepL翻訳

詳細

Robinson arithmetic

名詞

不可算名詞

(mathematics) A finitely axiomatized fragment of first-order Peano arithmetic, lacking the axiom schema of mathematical induction.

日本語の意味

ロビンソン算術：有限個の公理で定義された第一階ペアノ算術の部分体系であり、数学的帰納法の公理スキーマを含まない数論の体系

このボタンはなに？

Robinson arithmetic is a mathematical system developed by Julia Robinson.

Google翻訳 / DeepL翻訳

詳細

binary arithmetics

名詞

活用形複数形

plural of binary arithmetic

日本語の意味

「binary arithmetic」の複数形、すなわち「binary arithmetic」の複数の形式を表す表現です。

このボタンはなに？

Binary arithmetics is an important concept in computer science.

Google翻訳 / DeepL翻訳

詳細

arithmetic sequences

名詞

活用形複数形

plural of arithmetic sequence

日本語の意味

「arithmetic sequence」の複数形です。つまり、複数の算術数列（一定の差で並ぶ数列）を指します。

このボタンはなに？

Arithmetic sequences are commonly used in mathematics.

Google翻訳 / DeepL翻訳

詳細

arithmetic operator

名詞

(arithmetic) Any of the four basic operators in arithmetic, namely addition, subtraction, multiplication and division.

日本語の意味

算術における四則演算（加算、減算、乗算、除算）の各演算子

このボタンはなに？

When solving the problem, she mistakenly used an arithmetic operator that changed the sign of the result.

Google翻訳 / DeepL翻訳

問題を解いているとき、彼女は誤って結果の符号を変えてしまう四則演算子（加算・減算・乗算・除算のいずれか）を使ってしまった。

詳細

関連語

arithmetic operators

（ plural ）

詳細

arithmetical sets

名詞

活用形複数形

plural of arithmetical set

日本語の意味

「算術集合」の複数形。単数形は「arithmetical set」で、数学の分野で用いられる用語です。

このボタンはなに？

Graduate students in logic often study arithmetical sets to understand the limits of computability.

Google翻訳 / DeepL翻訳

論理学の大学院生は、計算可能性の限界を理解するためにしばしば算術的集合を研究する。

詳細

arithmetical set

名詞

(logic) A set of natural numbers that can be defined by a formula of first-order Peano arithmetic.

日本語の意味

第一階ペアノ算術の公式を用いて定義できる自然数の集合

このボタンはなに？

The arithmetical set of numbers defined by a first-order Peano arithmetic formula is not always decidable.

Google翻訳 / DeepL翻訳

一階ペアノ算術の式で定義される自然数の集合は必ずしも決定可能とは限らない。

詳細

関連語

arithmetical sets

（ plural ）

詳細

Webで検索する