Vikipedio:Projekto matematiko/Simpla aro
El Vikipedio
 |
Ĉi tiu artikolo montras stilajn aŭ/kaj gramatikajn aŭ/kaj strukturajn problemojn kaj bezonas poluradon por konformi al pli bona nivelo de kvalito. Post plibonigo movu la artikolon al Simpla aro (eble la nomo mem bezonas korekton) Se la ligo estas ruĝa, vi povas movi la artikolon. Se la ligo estas blua, la alia artikolo pri la temo jam ekzistas kaj tiun kaj ĉi tiun artikolon necasas kunigi. |
En komputebleca teorio simpla aro estas ekzemplo de aro kiu estas rekursie numerigebla sed ne rekursie.
[redaktu] Difino
Subaro S de la naturaj nombroj N estas (nomita, vokis) simpla se ĝi (verigas, kontentigas) jenaj propraĵoj
- N\S estas malfinio
- S estas rekursie numerigebla
- S ∩ X ≠ ø por (ĉiu, iu) malfinio rekursie numerigebla aro X
[redaktu] Propraĵoj
- La aro de simplaj aroj kaj la aro de kreaj aroj estas disa. Simpla aro estas neniam krea kaj krea aro estas neniam simpla.
