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 [...] una funzione. In questo senso il l. calcolo è un modello di computazione equivalente alla macchina di Turing. Molti linguaggi di programmazione funzionali, tra cui per es. il LISP, sono basati sul l. calcolo.
medicina Punto l. Punto antropologico del ...
Leggi Tutto
LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] termini; b) se t1,...,tn sono termini ed f è un simbolo funzionale n-ario, allora f(t1,...,tn) è un termine. Gli atomi sono Sebbene il metodo dei tableaux non abbia ancora prodotto linguaggi di programmazione ad alto livello di pratico impiego come ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] assumono, anzichè insiemi, insiemi parzialmente ordinati completi e, potendosi interpretare i programmi di un linguaggio di programmazione come funzionali continui su tali insiemi, è possibile garantire l'applicabilità del teorema del punto fisso di ...
Leggi Tutto
FROLA, Eugenio
Francesco Lerda
Nato a Montanaro, frazione di Torino, il 28 sett. 1906 da Mario e da Maria Pons, si laureò in ingegneria civile presso il politecnico di Torino nel 1929 e in matematica [...] e il problema di Cauchy in ampie classi funzionali, fornendo interessanti contributi originali.
L'impostazione in generale, le scienze applicate, contraddistinte da un linguaggio più flessibile e adattabile alle diverse esigenze empiriche, ...
Leggi Tutto
definibilità
Silvio Bozzi
Nella logica matematica, concetto utilizzato in due sensi: uno riferito alle costanti extralogiche di una teoria in un linguaggio L, l’altro alle relazioni o funzioni su una [...] e D il definiens. Discorso analogo si può fare per costanti funzionali o individuali. Diremo invece che P è definibile implicitamente in T definibilità – data una struttura M per il linguaggio L diciamo che la relazione R⊂DnM è definibile ...
Leggi Tutto
teoria dei semigruppi
Luca Tomassini
Un semigruppo è un insieme con una operazione binaria * (comunemente detta moltiplicazione) che soddisfi la proprietà associativa: a*(b*c)=(a*b)*c. Un semigruppo [...] soluzioni di equazioni differenziali (anche alle derivate parziali), nella teoria dei processi stocastici (l’evoluzione temporale qui non è invertibile) e anche nella fisica matematica.
→ Automi e linguaggi formali; Equazioni funzionali; Stocastica ...
Leggi Tutto
funzionale1
funzionale1 agg. [der. di funzione, sul modello del fr. fonctionnel]. – 1. a. Relativo a una funzione, inerente alle funzioni esercitate da una persona: competenza f.; privilegi f.; qualifiche f., le qualifiche che, nell’ordinamento...
organico
orgànico agg. e s. m. [dal lat. organĭcus, gr. ὀργανικός «attinente alle macchine, agli strumenti; che serve di strumento», der. di ὄργανον: v. organo] (pl. m. -ci). – 1. agg. Che si riferisce a, o ha rapporto con, gli organismi viventi,...