funzioni, composizione di
funzioni, composizione di operazione tra funzioni impiegata in ambiti diversi della matematica.
□ In analisi, date due funzioni g: X → Y, ƒ: Y → Z, la composizione delle funzioni [...] ) rispetto all’operazione di composizione.
□ In logica, la composizione di funzioni è uno degli schemi, insieme alla ricorsione e alla minimalizzazione, che permette di definire una → funzione ricorsiva a partire da due funzioni ricorsive date. ...
Leggi Tutto
successore
successore di un elemento qualsiasi x di un insieme totalmente ordinato X (>), è l’elemento x′ ∈ X che è maggiore di x nell’ordinamento totale dell’insieme e tale che non vi siano altri [...] ) è una funzione ricorsiva primitiva che può essere definita, facendo uso della funzione successore e dello schema di ricorsione, nel modo seguente:
Nella teoria dei numeri ordinali si definisce successore di un numero ordinale α l’insieme unione ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Giorgio Strano
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Negli anni Trenta del Novecento i logici riescono a dare uno statuto matematico alla [...] diretta dei contributi teorici dei logici che lavorano in quegli anni.
La nascita della teoria della calcolabilità
Il meccanismo di ricorsione come mezzo per definire funzioni numeriche era già noto a Richard Dedekind e a Giuseppe Peano, per i quali ...
Leggi Tutto
predecessore
predecessore o precedente, di un numero naturale n non nullo indica il numero che viene immediatamente prima di n nell’usuale ordinamento di N: 0, 1, 2, 3… Per esempio il predecessore di [...] n il primo dei due, e zero (indicata con il simbolo Z(n)), funzione costante che assume sempre il valore 0, e lo schema della ricorsione, nel modo seguente:
• p(0) = Z(0)
• p(n′ ) = P12(n, p(n))
dove n ′ indica il successore di n nell’ordinamento dei ...
Leggi Tutto
calcolo ricorsivo
calcolo ricorsivo procedimento di calcolo che risolve un problema di una data complessità riducendolo a problemi via via più semplici. Il valore di una funzione definita ricorsivamente [...] , il calcolo ricorsivo richiede però una migliore capacità di organizzazione della memoria e una sua maggiore estensione perché, se si devono realizzare molti livelli di ricorsione, occorre molta memoria per le pile degli argomenti della procedura. ...
Leggi Tutto
LINGUAGGI PROGRAMMATIVI
Carlo Ghezzi
I l. p. (o linguaggi di programmazione) costituiscono il mezzo linguistico tramite cui gli elaboratori possono essere programmati. Essi costituiscono pertanto lo [...] per primo i concetti di struttura a blocchi e di ricorsione, che si ritrovano in molti linguaggi moderni. La struttura un programma la visibilità dei nomi dichiarati; la ricorsione consente di definire sottoprogrammi che chiamano se stessi, ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] funzioni iniziali (proiezione, successore e costanti) mediante le seguenti operazioni: (1) composizione; (2) ricorsione primitiva; (3) minimizzazione.
La ricorsione primitiva permette di costruire una funzione f a partire da funzioni g, h mediante f ...
Leggi Tutto
Automi e linguaggi formali
Dominique Perrin
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. Tali successioni si presentano in situazioni [...] da quelle iniziali (proiezione, successore e costanti) mediante le seguenti operazioni: (a) composizione; (b) ricorsione primitiva; (c) minimizzazione. La ricorsione primitiva permette di costruire una funzione f a partire da funzioni g, h mediante f ...
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 [...] è possibile individuare particolari procedure che richiamando sé stesse consentono di giungere al risultato. Il procedimento avviene così per ricorsione e l’algoritmo è detto ricorsivo. Per esempio, per il calcolo dei termini ƒi della successione di ...
Leggi Tutto
linguàggio di programmazióne In informatica, insieme di parole e di regole, definite in modo formale, per consentire la programmazione di un elaboratore affinché esegua compiti predeterminati. Esistono [...] può richiamare altre procedure (può in genere anche richiamare se stessa: procedimento versatile e potente, noto come ricorsione).
Lo scambio di dati fra la procedura chiamata e quella chiamante può avvenire con diverse modalità: mediante variabili ...
Leggi Tutto