English Dictionary

Presburger arithmetic

名詞

不可算名詞

(logic) A set of axioms of first-order logic for the natural numbers specifying the operations of zero, successor, and addition, including a first-order schema of induction, without multiplication.

日本語の意味

プレスバーガ算術：自然数上の基本公理系であり、零、後者（次の数）、加算の操作を定め、帰納法の第一階のスキーマを含むが乗算を含まない論理体系。

Presburger arithmetic provides a decidable theory for reasoning about the natural numbers under addition, but without multiplication.

自然数に関して零・後続・加法および（乗法を含まない）帰納の一階公理系は、加法のみの性質を推論するための決定可能な理論を提供する。

意味（1）

(logic) A set of axioms of first-order logic for the natural numbers specifying the operations of zero, successor, and addition, including a first-order schema of induction, without multiplication.