ricorsivo
agg. [der. di ricorrere]. – In matematica e in logica matematica, sinon. di ricorrente (nel sign. 3 c); in partic., nella teoria della ricorsività, funzioni r. primitive, quelle che si possono [...] ., in matematica e in informatica, procedura r., algoritmo r., quelli che sono formulati con un esplicito il prodotto di tutti i numeri interi da 1 a n), è ricorsiva una procedura dal nome simbolico di fattoriale, definita come segue: fattoriale ( ...
Leggi Tutto
algoritmo
algoritmo procedimento sistematico di calcolo, oggi per lo più destinato a essere eseguito da un automa esecutore quale un computer. Il termine deriva dal nome latinizzato del matematico di cultura araba Muḥammad ibn Mūsā, detto...
ricorsività La proprietà di essere ricorsivo, cioè ricorrente. Teoria della r., o della ricorsione, o computabilità, la disciplina che si occupa di fornire una caratterizzazione matematica del concetto di algoritmo.
Teoria della ricorsività
La...