TBW
관련.. mklink
이산수학,discrete_math
페아노_공리,Peano_axiom ... Cmp: 페아노_산술,Peano_arithmetic
자연수,natural_number 덧셈,addition
이산수학,discrete_math
페아노_공리,Peano_axiom ... Cmp: 페아노_산술,Peano_arithmetic
Presburger arithmetic은 Peano arithmetic보다 'much weaker'.
Peano와 달리 Presburger는 decidable theory. (결정가능성,decidability 이론,theory ... rel 결정가능성이론,decidability_theory)
일차논리,first-order_logicPeano와 달리 Presburger는 decidable theory. (결정가능성,decidability 이론,theory ... rel 결정가능성이론,decidability_theory)
자연수,natural_number 덧셈,addition