funzione ricorsiva parziale

Enciclopedia della Matematica (2017)

funzione ricorsiva parziale


funzione ricorsiva parziale in logica, → funzione ricorsiva non definita per qualche numero naturale. Per esempio, la funzione D(x, y) che associa a ogni coppia di numeri naturali x e y il quoziente x : y è definibile ricorsivamente solo nel caso in cui il resto sia uguale a zero (tale per cui, per esempio, D(6, 3) = 2, D(12, 4) = 3), tuttavia è una funzione ricorsiva parziale in quanto non è definita per la coppia (7, 4) perché il resto della divisione di 7 per 4 è diverso da zero. Non è inoltre definita univocamente se il secondo termine (il divisore) è uguale a zero.

Tag
Vocabolario
parziale
parziale agg. [dal lat. tardo partialis, der. di pars partis «parte»]. – 1. a. Che si riferisce solo a una parte, o che costituisce una parte, o si fa solo in parte e sim. (di solito in contrapp. a totale): un’eclissi p. di sole, di luna;...
funzióne
funzione funzióne s. f. [dal lat. functio -onis, der. di fungi «adempiere»]. – 1. Attività svolta abitualmente o temporaneamente in vista di un determinato fine, per lo più considerata nel complesso di un sistema sociale, burocratico, ecc....