aritmetica di Presburger
Luca Tomassini
Versione semplificata dell’aritmetica di Peano, ottenuta da quest’ultima eliminando l’operazione di moltiplicazione. Più precisamente, l’aritmetica di Presburger [...] , in quella di Presburger ogni proposizione vera (ossia che non ammette controesempi) è anche dimostrabile (in un numero finito di passi). In altri termini, nell’aritmetica di Presburger ogni proposizione è decidibile.
→ Programmazione, algoritmi di ...
Leggi Tutto
Forma esteriore degli oggetti corporei in quanto viene percepita attraverso il senso della vista; rappresentazione con mezzi tecnici o artistici della forma esteriore di cosa reale o fittizia.
Diritto
Diritto [...] immagini. Nel caso di trasmissione delle i., l’esigenza di esecuzione in tempo reale limita la complessità degli algoritmi di codifica impiegabili. La trasmissione di i. televisive richiede generalmente una buona qualità e quindi una compressione non ...
Leggi Tutto
Sedicesima lettera dell’alfabeto greco (maiuscolo Π, minuscolo π) corrispondente al p latino.
Fisica
Il teorema π è il teorema fondamentale della similitudine meccanica, noto anche come teorema di Buckingham [...] formano due classi contigue, il cui elemento di separazione è 1/π; e) metodi basati sull’uso di algoritmi infiniti (frazioni continue, prodotti infiniti, serie). Delle seguenti tre espressioni di π mediante frazioni continue (➔ frazione)
,
la prima ...
Leggi Tutto
Finito
Antonio Machì
(XV, p. 399)
Matematica del finito
Diversi filoni della ricerca matematica che mostrano particolare vitalità si possono ricondurre all'interesse per i problemi del finito. L'analisi [...] richiedono un numero di operazioni dell'ordine di n³1pn² log n, dove n è il grado del polinomio; se p è grande, gli algoritmi più efficaci hanno una complessità (v. informatica, App. V) dell'ordine di n²(log p)³ log r, dove r è il numero dei fattori ...
Leggi Tutto
Matematica
Il concetto di a. è una generalizzazione del concetto classico di funzione (➔ corrispondenza). Si parla di a. di un insieme P in un insieme Q, quando tra i due si stabilisce una corrispondenza [...] permette di abilitare funzionalità analitiche che, sulla base dei dati generati dalle altre a. aziendali, utilizzando algoritmi avanzati generano reportistica di sintesi per supportare le decisioni strategiche dei manager dell’azienda; e) a ...
Leggi Tutto
L'Eta dei Lumi: matematica. Geometria analitica, delle curve e delle superfici. Il problema delle parallele
Peter Schreiber
Geometria analitica, delle curve e delle superfici. Il problema delle parallele
A [...] particolare del metodo generale di descrivere oggetti attraverso 'strutture di dati' e di applicare a queste ultime algoritmi originariamente pensati per tali oggetti. Di ciò fa parte naturalmente l'intero apparato concettuale degli insiemi ordinati ...
Leggi Tutto
Insieme di linee, reali o ideali, che si intrecciano formando incroci e nodi e dando luogo a una struttura complessa. Più in particolare, infrastruttura tecnica per la distribuzione di un segnale (tipicamente [...] taglio minimo che divide la sorgente dal pozzo, si sono dimostrati teoremi su massimo flusso-minimo taglio, proposti algoritmi per la determinazione del massimo flusso sempre più efficienti (si è passati da complessità esponenziale in n a complessità ...
Leggi Tutto
Wavelets
IIgnazio D'Antone
di Ignazio D'Antone
SOMMARIO: 1. Introduzione. ▭ 2. La trasformata wavelet continua. ▭ 3. La trasformata wavelet discreta. ▭ 4. Analisi a multirisoluzione. ▭ 5. Proprietà [...] dato ogni due nella sequenza. Si ottiene pertanto un numero di coefficienti wavelet pari al numero dei dati in ingresso.
L'algoritmo descritto in questa versione prende il nome di FWT (Fast Wavelet Transform). L'esempio in fig. 5 mostra come ricavare ...
Leggi Tutto
lambda-calcolo
Silvio Bozzi
Presentato per la prima volta da Alonzo Church nel 1932 come frammento di un più ampio sistema (poi dimostratosi contraddittorio) per la fondazione della matematica, il λ-calcolo [...] di spazi di funzioni continue. Questa analisi ha aperto la strada a un approccio al λ-calcolo in termini di teoria delle categorie e oggi sono molti e fondamentali i risultati in cui le due discipline interagiscono.
→ Programmazione, algoritmi di ...
Leggi Tutto
Ciascuna delle parti in cui è diviso un tutto; o parte staccata di un tutto.
Diritto
F. di Comune
Parte di territorio comunale comprendente di norma un centro abitato, nonché nuclei abitati e case sparse [...] Tale limite si assume come valore della f., che cessa così dall’essere un puro simbolo; le f. continue sono insomma algoritmi infiniti del tipo delle serie e dei prodotti infiniti. Si può scrivere ogni serie convergente sotto forma di f. continua, in ...
Leggi Tutto
algoritmista
s. m. [der. di algoritmo] (pl. -i). – Nome con cui sono indicati i seguaci, nell’Europa occidentale dei secoli 12°-13°, delle nuove regole di calcolo contenute nel trattato di al-Khuwārizmī: si distinguevano per l’abbandono dell’abaco...