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
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
algebra
àlgebra [Lat. algebra, der. dell'arabo al-giabr propr. "restaurazione", e quindi "riduzione" (dapprima nel signif. medico-chirurgico, e poi in quello matematico), che compare la prima volta in [...] un trattato arabo del sec. 9°, di al-Huwa-rizmī- (v. algoritmo), nella frase ilm al-giabr wa l-muqa-bala "scienza delle riduzioni e comparazioni"] [ALG] Settore della matematica in cui le relazioni aritmetiche sono generalizzate, sviluppate e risolte ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1961-1970
1961-1970
1961
Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] due numeri interi di n cifre in tempo O(n logn log logn), anziché in tempo O(n2) come avviene per l'algoritmo classico.
La teoria delle basi di Gröbner. L'austriaco Bruno Buchberger introduce la nozione di 'base di Gröbner' (che chiama così in ...
Leggi Tutto
Attributo di disciplina che utilizza nell’indagine teorica l’elaboratore elettronico come sistematico strumento di lavoro, per es. la meccanica c., la linguistica c.; si dice c. anche il procedimento che [...] un−ûn. L’errore del metodo c. (ec=u−ûn) è la somma dell’errore numerico (en=u−un) e di quello algoritmico. L’obiettivo ultimo dell’analisi dell’errore del metodo c. è quello di dimostrare che esso tende a zero per n→∞.
Chimica
Chimica computazionale ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1981-1990
1981-1990
1981
Il sistema operativo MS-DOS. Tale sistema, realizzato dalla Microsoft e destinato a dominare nel suo settore, è utilizzato per la prima [...] factor) le cellule si differenziano in neuroni maturi in gran parte simili ai neuroni normali.
Messo a punto l'algoritmo BLAST. Questo strumento (basic local alignment search tool computer program), sviluppato da Samuel Karlin e Stephen F. Altschul a ...
Leggi Tutto
Fisica
Proprietà dei corpi di diminuire di volume quando siano sottoposti a forze esterne ( forze di c.). I solidi e i liquidi presentano, contrariamente ai gas, c. molto piccola poiché sia nello stato [...] può essere costituito, per es., da un programma di un elaboratore elettronico in grado di riprodurne l’evoluzione. Quando l’algoritmo contiene un numero di istruzioni almeno pari al numero di elementi della successione si dice che la successione ha c ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1941-1950
1941-1950
1941
Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] di Boole. Il logico polacco Alfred Tarski dimostra che la teoria delle algebre di Boole è decidibile; cioè, esiste un algoritmo che, data una formula della logica del primo ordine nel linguaggio di tali strutture, stabilisce in un tempo finito se la ...
Leggi Tutto
compressibilita
compressibilità [Der. di compressibile] [FML] La proprietà dei corpi di diminuire di volume quando siano compressi, sinon. di comprimibilità; generic., si può dire che tale proprietà [...] a pressione costante e a volume costante, e il coefficiente di c. adiabatica vale 1/(γp). ◆ [ALG] [ANM] C. algoritmica: la proprietà di qualsiasi funzione matematica o successione numerica (e quindi, per es., della legge di evoluzione di un sistema ...
Leggi Tutto
differenza
differènza [Der. del lat. differentia, da differens -entis "differente", part. pres. di differre "essere differente"] [ALG] Il risultato dell'operazione di sottrazione. ◆ [EMG] D. di potenziale [...] appartengono a B, cioè il complementare, rispetto ad A, dell'intersezione fra A e B: A\B = CA(A⋂B). ◆ [ANM] Algoritmo delle d.: serve, per il suo basso rumore, nell'analisi di serie di dati sperimentali e per ottimizzare il rapporto segnale/rumore di ...
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....