Logo
Unionpedia
Comunicazione
Disponibile su Google Play
Nuovo! Scarica Unionpedia sul tuo dispositivo Android™!
Gratuito
l'accesso più veloce di browser!
 

Funzione ricorsiva primitiva

Indice Funzione ricorsiva primitiva

Nella teoria della calcolabilità, le funzioni ricorsive primitive sono una classe di funzioni che possono essere definite applicando un numero finito di volte la ricorsione e la composizione a partire da particolari funzioni base (funzioni zero, funzione successore e funzioni selettive o proiettive) e costituiscono un passo fondamentale nella costruzione di una completa formalizzazione della calcolabilità.

26 relazioni: Addizione, Algoritmo ricorsivo, Arietà, Assioma, Classe (matematica), Composizione di funzioni, Divisione (matematica), Fattoriale, Funzione (matematica), Funzione calcolabile, Funzione costante, Funzione di Ackermann, Funzione esponenziale, Funzione parziale, Funzione ricorsiva, Insieme, L (linguaggio), Macchina che termina sempre, Macchina di Turing, Moltiplicazione, Operatore (matematica), Sottrazione, Teoria dei numeri, Teoria della calcolabilità, Tupla, Turing equivalenza.

Addizione

L'addizione (denotata normalmente dal simbolo del più, "+") è una delle quattro operazioni fondamentali dell'aritmetica, insieme alla sottrazione, alla moltiplicazione e alla divisione.

Nuovo!!: Funzione ricorsiva primitiva e Addizione · Mostra di più »

Algoritmo ricorsivo

In informatica viene detto algoritmo ricorsivo un algoritmo espresso in termini di se stesso, ovvero in cui l'esecuzione dell'algoritmo su un insieme di dati comporta la semplificazione o suddivisione dell'insieme di dati e l'applicazione dello stesso algoritmo agli insiemi di dati semplificati.

Nuovo!!: Funzione ricorsiva primitiva e Algoritmo ricorsivo · Mostra di più »

Arietà

In logica, matematica, e informatica, l'arietà (sinonimi: tipo, adicità e rango) di una funzione o di una operazione è il numero degli argomenti o operandi che richiede la funzione.

Nuovo!!: Funzione ricorsiva primitiva e Arietà · Mostra di più »

Assioma

In epistemologia, un assioma è una proposizione o un principio che è assunto come vero perché ritenuto evidente o perché fornisce il punto di partenza di un quadro teorico di riferimento.

Nuovo!!: Funzione ricorsiva primitiva e Assioma · Mostra di più »

Classe (matematica)

Nella moderna teoria degli insiemi, per classe si intende una generica collezione di oggetti che possono essere univocamente identificati (per esempio, tramite una proprietà che li accomuni).

Nuovo!!: Funzione ricorsiva primitiva e Classe (matematica) · Mostra di più »

Composizione di funzioni

In matematica, la composizione di funzioni è l'applicazione di una funzione al risultato di un'altra funzione.

Nuovo!!: Funzione ricorsiva primitiva e Composizione di funzioni · Mostra di più »

Divisione (matematica)

La divisione è l'operazione aritmetica inversa della moltiplicazione.

Nuovo!!: Funzione ricorsiva primitiva e Divisione (matematica) · Mostra di più »

Fattoriale

In matematica, si definisce fattoriale di un numero naturale n, indicato con n!, il prodotto dei numeri interi positivi minori o uguali a tale numero.

Nuovo!!: Funzione ricorsiva primitiva e Fattoriale · Mostra di più »

Funzione (matematica)

In matematica, una funzione è una relazione tra due insiemi, chiamati dominio e codominio della funzione, che associa a ogni elemento del dominio uno e un solo elemento del codominio.

Nuovo!!: Funzione ricorsiva primitiva e Funzione (matematica) · Mostra di più »

Funzione calcolabile

Le funzioni calcolabili sono il principale oggetto di studio della teoria della calcolabilità.

Nuovo!!: Funzione ricorsiva primitiva e Funzione calcolabile · Mostra di più »

Funzione costante

In matematica una funzione costante (a volte anche chiamata collasso) è una funzione i cui valori non variano, e rimangono quindi costanti al variare della variabile indipendente nel suo dominio.

Nuovo!!: Funzione ricorsiva primitiva e Funzione costante · Mostra di più »

Funzione di Ackermann

In matematica, la funzione di Ackermann è una funzione f(x,y,z) che ha come dominio l'insieme delle terne di numeri naturali e come codominio i numeri naturali.

Nuovo!!: Funzione ricorsiva primitiva e Funzione di Ackermann · Mostra di più »

Funzione esponenziale

In matematica, la funzione esponenziale è l'elevamento a potenza con base il numero di Eulero e; la scelta di questo particolare valore è motivata dal fatto che, in questo modo, la derivata della funzione esponenziale è la funzione esponenziale stessa.

Nuovo!!: Funzione ricorsiva primitiva e Funzione esponenziale · Mostra di più »

Funzione parziale

Una funzione parziale In matematica, si dice funzione parziale f:A \rightarrow B un sottoinsieme di A \times B, cioè una relazione binaria tra A e B, tale che.

Nuovo!!: Funzione ricorsiva primitiva e Funzione parziale · Mostra di più »

Funzione ricorsiva

Nella logica matematica e nell'informatica, le funzioni ricorsive sono una classe di funzioni dai numeri naturali ai numeri naturali che sono "calcolabili" in un qualche senso intuitivo.

Nuovo!!: Funzione ricorsiva primitiva e Funzione ricorsiva · Mostra di più »

Insieme

In matematica, un raggruppamento di oggetti rappresenta un insieme se esiste un criterio oggettivo che permette di decidere univocamente se un qualunque oggetto fa parte o no del raggruppamento.

Nuovo!!: Funzione ricorsiva primitiva e Insieme · Mostra di più »

L (linguaggio)

Il linguaggio L è un linguaggio di programmazione ideato da Albert R. Meyer e da Dennis Ritchie che calcola solamente funzioni ricorsive primitive.

Nuovo!!: Funzione ricorsiva primitiva e L (linguaggio) · Mostra di più »

Macchina che termina sempre

Nella teoria della computabilità, una macchina che termina sempre — chiamata anche un decider o macchina di Turing totale — è un particolare di tipo di macchina di Turing che, al contrario del modello generale, è garantito che termini per ogni input.

Nuovo!!: Funzione ricorsiva primitiva e Macchina che termina sempre · Mostra di più »

Macchina di Turing

In informatica una macchina di Turing (o più brevemente MdT) è una macchina ideale che manipola i dati contenuti su un nastro di lunghezza potenzialmente infinita, secondo un insieme prefissato di regole ben definite.

Nuovo!!: Funzione ricorsiva primitiva e Macchina di Turing · Mostra di più »

Moltiplicazione

La moltiplicazione è una delle quattro operazioni fondamentali dell'aritmetica.

Nuovo!!: Funzione ricorsiva primitiva e Moltiplicazione · Mostra di più »

Operatore (matematica)

In matematica il termine operatore viene usato in vari contesti con significati che presentano alcune diversità, ma che in ogni caso si collegano alla nozione di funzione.

Nuovo!!: Funzione ricorsiva primitiva e Operatore (matematica) · Mostra di più »

Sottrazione

In matematica, la sottrazione è una delle quattro operazioni aritmetiche fondamentali.

Nuovo!!: Funzione ricorsiva primitiva e Sottrazione · Mostra di più »

Teoria dei numeri

Tradizionalmente, la teoria dei numeri è quel ramo della matematica pura che si occupa delle proprietà dei numeri interi e contiene molti problemi aperti che possono essere facilmente compresi anche da chi non è un matematico.

Nuovo!!: Funzione ricorsiva primitiva e Teoria dei numeri · Mostra di più »

Teoria della calcolabilità

La teoria della calcolabilità, della computabilità, e della ricorsione cerca di comprendere quali funzioni possono essere calcolate tramite un procedimento automatico.

Nuovo!!: Funzione ricorsiva primitiva e Teoria della calcolabilità · Mostra di più »

Tupla

In informatica, in particolare nella teoria delle basi di dati, una tupla è un generico elemento di una relazione con attributi in un database relazionale.

Nuovo!!: Funzione ricorsiva primitiva e Tupla · Mostra di più »

Turing equivalenza

La Turing equivalenza è la proprietà dei modelli di calcolo che hanno lo stesso potere computazionale di una macchina di Turing universale (MdTu).

Nuovo!!: Funzione ricorsiva primitiva e Turing equivalenza · Mostra di più »

Riorienta qui:

Funzione primitiva ricorsiva.

UscenteArrivo
Ehi! Siamo su Facebook ora! »