Undicesima lettera dell’alfabeto greco (maiuscolo Λ, minuscolo λ), corrispondente alla consonante latina l.
biologia Fago l. Batteriofago che ha come ospite il batterio Escherichia coli. Su di esso sono [...] in modo tale che a ogni espressione corrisponda un procedimento di calcolo ben definito; viceversa a ogni funzionecalcolabile corrisponde un’espressione nel l. calcolo. Quest’ultimo può quindi essere considerato un linguaggio di programmazione ...
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 [...] da Church negli anni Trenta, è una formalizzazione del concetto di funzionecalcolabile. Ogni termine del λ-calcolo rappresenta sia una funzione sia un argomento di funzione; il termine MN rappresenta l'applicazione del termine M (visto come ...
Leggi Tutto
Biologia
In biologia molecolare, u. trascrizionale, la distanza fra i siti di inizio e di terminazione riconosciuti dalla RNA polimerasi (➔ trascrizione); può includere più di un gene. In genetica, u. [...] da trasportare. U. lavorativa o di lavoro Ciascuna u. di tempo (calcolabile in ore, giornate ecc., a seconda delle esigenze) sulla base della quale primitive o primarie o di base, e si esprimono in funzione di esse le u. di tutte le altre grandezze, ...
Leggi Tutto
Modello
Silvano Petrarca
Il termine modello è diffusamente utilizzato per indicare un ampio insieme di costruzioni formali ottenute mediante schematizzazioni di processi, comportamenti, situazioni ecc., [...] richiede che si abbia una formalizzazione matematica completa del m. traducibile in algoritmi da elaborare al calcolatore, in modo da ottenere previsioni in funzione dei valori dei parametri adottati (che a volte non sono noti o non sono noti con ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1971-1980
1971-1980
1971
I problemi NP-completi. L'informatico americano Stephen Cook dà il primo esempio di problema algoritmico NP-completo. La classe NP [...] lipschitziane, e subito generalizzato alle funzioni a valori finiti, coincide nel caso di funzioni convesse con il sottodifferenziale dell'analisi convessa. Il sottogradiente ha numerose applicazioni al calcolo delle variazioni e alla teoria dell ...
Leggi Tutto
L'Eta dei Lumi: l'avvento delle scienze della Natura 1770-1830. La fisica matematica
John L. Heilbron
La fisica matematica
1. Definizioni e ambito
L'oggetto della fisica matematica, nel periodo che [...] soltanto molte misure deviavano in maniera rilevante dalle aspettative, mentre altre corrispondevano in maniera sospetta ai calcoli, ma anche l'apparato funzionava male, dato che la posizione di zero della bilancia di torsione si spostava durante gli ...
Leggi Tutto
Sistemi complessi, fisica dei
Giorgio Parisi
Sommario: 1. Che cos'è un sistema complesso. 2. Il prototipo di un sistema complesso. 3. I sistemi amorfi. 4. I vetri di spin: a) Considerazioni generali. [...] di correlazione è data da
C (t, 0) ~ qEA + Ct-δ(T) + O (t-2δ(T)), (34)
dove la funzione δ (T) è stata calcolata ed è compresa tra 0,35 e 0,5.
2) Come nel caso precedente, consideriamo un sistema all'equilibrio ...
Leggi Tutto
potenziale
potenziale [agg. e s.m. Der. del lat. potentialis, da potentia "potenza"] [LSF] (a) In contrapp. ad attuale, di ciò che ha la capacità di esplicarsi in qualcosa, ma non attuandosi ancora. [...] chiama allora, per distinguerlo, p. scalare), una grandezza vettoriale, calcolabile, come il p. scalare, a partire dalle sorgenti del campo e il cui rotore dà, a meno del gradiente di una funzione scalare, il vettore del campo (v. oltre: P. vettore ...
Leggi Tutto
Gibbs Josiah Willard
Gibbs 〈gÝibs〉 Josiah Willard [STF] (New Haven, Connecticut, 1839 - ivi 1903) Prof. di fisica matematica nella Yale Univ., a New Haven (1871). ◆ [TRM] Condizioni di equilibrio di [...] di G. (v. oltre). ◆ [TRM] Energia libera, o funzione, di G.: funzione termodinamica di stato, G=U+pV-TS=H-TS=A-pV, essendo di G.: è così detto il paradosso che risulta dal calcolo della variazione di entropia in un processo di diffusione isoterma di ...
Leggi Tutto
computabile
computàbile [agg. Der. dell'ingl. computable, che è dal lat. computabilis "che si può calcolare", "di cui si può o si deve tenere conto", già reso con l'it. calcolabile] [ALG] [FAF] [INF] [...] della ricorsività, studia i limiti teorici di un tale procedimento di calcolo. ◆ [INF] Funzione c.: funzione numerica di n variabili per la quale è possibile trovare un procedimento per calcolarne, con un numero finito di passi, il valore per ogni n ...
Leggi Tutto
calcolabile
calcolàbile agg. [der. di calcolare]. – Che può essere calcolato. In matematica, funzione c., funzione che può essere calcolata, per la quale esiste cioè un procedimento effettivo per calcolare il suo valore per dati valori dei...
funzione
funzióne s. f. [dal lat. functio -onis, der. di fungi «adempiere»]. – 1. Attività svolta abitualmente o temporaneamente in vista di un determinato fine, per lo più considerata nel complesso di un sistema sociale, burocratico, ecc....