funzioni ricorsive Mauro Cappelli Classe delle funzioni computabili o algoritmiche, ossia delle funzioni n-arie f tali che esiste un algoritmo per computare il valore f(x1,...,x{[) per ogni n-pla di [...] iniziali mediante un numero finito di applicazioni delle regole di sostituzione e di induzione. Esempi di funzioni ricorsive primitive sono le comuni funzioni aritmetiche elementari (predecessore di x, controsegno di x, fattoriale di x, somma di x e ... Leggi Tutto

INFORMATICA Paolo Ercoli Alberto Marini Con il termine informatica, neologismo di origine francese, s'indica attualmente una nuova ed emergente disciplina, la quale si occupa di particolari rappresentazioni [...] struttura di dati non primitiva con strutture primitive si procede a funzioni proposte come totalità delle funzioni calcolabili, cioè con le funzioni definibili con il cosiddetto "λ-calcolo" di A. Church e con le funzioni generali ricorsive ... Leggi Tutto