Recursief

betekenis & definitie

Een procedure heet recursief wanneer zij op een uitgangspunt kan worden toegepast om een bepaald resultaat te krijgen, vervolgens weer op dat resultaat kan worden toegepast om een volgend resultaat te krijgen, enzovoort. Zo is één erbij tellen een recursieve procedure om de natuurlijke getallen uitgaande van nul voort te brengen. In de wiskundige recursietheo- rie worden functies bestudeerd die door zulke procedures te definiëren zijn. Zie ook definitie, inductie.