w logice, matematyce, programowaniu: procedura pozwalająca obliczyć coś za pomocą wielkości uprzednio znanych; rekurencja