composizione, schema della
composizione, schema della in logica, uno degli schemi per la formazione di una funzione ricorsiva a partire dalle funzioni di base. Stabilisce che se g e h sono due funzioni ricorsive, tale è anche la loro composizione ƒ(x) = g(h(x)).