Berlekamp Elwyn Ralph
Berlekamp 〈bèrlëkemp〉 Elwyn Ralph [STF] (n. Dover, Ohio, 1940) Prof. di matematica e scienza dei calcolatori nell'univ. di Berkeley (1971). ◆ [ANM] [INF] Algoritmo di B.: v. manipolazione [...] algebrica: III 616 b ...
Leggi Tutto
Kronecker Leopold
Kronecker 〈króonekër〉 Leopold [STF] (Liegnitz 1823 - Berlino 1891) Prof. di matematica nell'univ. di Berlino (1883); socio straniero dei Lincei (1883). ◆ [ANM] [INF] Algoritmo di K.: [...] v. manipolazione algebrica: III 616 b. ◆ [ANM] Delta di K.: altro nome del simbolo di K. (v. oltre). ◆ [MCC] Flusso di K. sul toro bidimensionale: v. moto, costanti del: IV 121 c. ◆ [ANM] Foliazione di ...
Leggi Tutto
pseudocasuale
pseudocasuale [agg. Comp. di pseudo- e casuale] [PRB] Numeri p.: numeri che appaiono come derivanti da un campionamento casuale, ma che sono in realtà generati da un algoritmo deterministico: [...] v. Montecarlo, metodo: IV 105 b ...
Leggi Tutto
Parte dell’analisi matematica che si occupa della ricerca di algoritmi per la risoluzione numerica di problemi quali l’approssimazione di funzioni e l’integrazione di equazioni differenziali ordinarie [...] applicare un elegante metodo iterativo. Come si dimostra facilmente, il valore del polinomio caratteristico in un dato λ può essere ottenuto con il seguente algoritmo:
fk(λ) = (λ−ak)fk–1(λ) −b2k–1 fk–2(λ); f–1 = 0, f0 = 1,
dove (a1, a2, …, an) è la ...
Leggi Tutto
Il termine complessità è oggi frequentemente usato, in campo scientifico, in contesti diversi. In quello dell'informatica, dell'analisi numerica e dell'ottimizzazione, corrisponde alla caratteristica quantitativa [...] di giovarsene per la soluzione pratica (automatica o anche manuale) di un problema, al quale viene attribuita la c. dell'algoritmo che lo risolve (v. informatica, App. V, ii, p. 704; e informatica: Scienze dell'informazione, in questa Appendice). Nel ...
Leggi Tutto
Fondamenti della matematica e teoria algoritmica dell'informazione
Gregory J. Chaitin
Ciò che possiamo dimostrare intorno ai fondamenti della matematica usando i suoi stessi metodi costituisce la metamatematica, [...] sia meglio che calcolarli separatamente:
[3] H(X:Y) = H(X) + H(Y) − H(X,Y).
X e Y sono detti indipendenti algoritmicamente se la loro informazione comune è piccola rispetto ai loro contenuti di informazione individuali (H(X:Y)≈0), cosicché
[4] H(X,Y ...
Leggi Tutto
Metropolis Nicholas Constantine
Metropolis 〈mitròpolis〉 Nicholas Constantine [STF] (n. Chicago, 1915) Fisico nei Laboratori nazionali di Los Alamos (1943), prof. di fisica nell'univ. di Chicago (1957), [...] poi di nuovo ai Laboratori di Los Alamos (1981). ◆ [PRB] Algoritmo di M.: tecnica di campionamento basata sulla generazione di catene di Markov; per es., v. reticolo, teorie quantistiche sul: IV 838 e. ...
Leggi Tutto
computabilità In logica matematica, nozione che di solito s’identifica con quella di ricorsività generale, introdotta intorno al 1936 da A.M. Turing e da E.L. Post. Una funzione numerica di n variabili [...] si dice computabile se esiste un algoritmo per cui si possa, con un numero finito di passi, calcolare per ogni ennupla di argomenti il valore assunto dalla funzione. ...
Leggi Tutto
Uno dei rami fondamentali delle scienze matematiche: in senso lato l’a. studia le operazioni, definite in un insieme, che godono di proprietà analoghe a quelle delle ordinarie operazioni dell’aritmetica. [...] di calcolo numerico e lo spirito pratico. Il contributo essenziale degli Arabi è quel complesso di regole e di operazioni (algoritmo), che costituisce ciò che oggi si chiama l’a. elementare.
L’a. degli Arabi, penetrata in Europa essenzialmente per ...
Leggi Tutto
Computazione, teoria della
Fabrizio Luccio
La necessità del calcolo, pur riconosciuta dall'uomo in tutte le epoche storiche, ha condotto solo in tempi relativamente recenti a una sistemazione teorica [...] α′=βγiδ∈L per ogni i≥0.
Una conseguenza del lemma è la possibilità di decidere se il linguaggio L(A) accettato da un algoritmo finito A di n stati è vuoto, finito o infinito. Infatti L(A) deve contenere almeno una stringa α tale che
[4] formula ...
Leggi Tutto
algoritmo
(ant. algorismo) s. m. [dal lat. mediev. algorithmus o algorismus, dal nome d’origine, al-Khuwārizmī, del matematico arabo Muḥammad ibn Mūsa del 9° sec. (così chiamato perché nativo di Khwarizm, regione dell’Asia Centrale)]. – 1....