Presburger arithmetic

English

Introduced in 1929 by Mojżesz Presburger.

Presburger arithmetic (uncountable)

(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
释义	Presburger arithmetic English Etymology Introduced in 1929 by Mojżesz Presburger. Noun Presburger arithmetic (uncountable) (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. See also Peano arithmetic
随便看	bastándolos bastándome bastándonos bastándoos bastándose bastándote bastáramos bastáreis bastáremos bastás bastásemos bastásseis bastássemos bastávamos bastáveis bastão bastão de Esculápio basté bastéis Bastén bastés bastéssim bastéssiu bastêq bastêrd