La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] soddisfa l'equazione L=b+aLL. Così gli insiemi a−1L=L2 e b−1L=ε appartengono all'algebra generata da L.
Computabilità
di lunghezza n. Le restrizioni possono riguardare sia lo spazio sia il tempo impiegato dalla macchina. Una classe importante ...
Leggi Tutto
Logica matematica
Silvio Bozzi
Pur potendo vantare come erede della logica formale un'origine risalente almeno ad Aristotele, come disciplina scientifica la logica matematica è un acquisto recente. [...] di Heyting sono rappresentabili come algebre di aperti di uno spazio topologico. Come intuito da Hermann Weyl negli anni Trenta, linguaggio del secondo ordine di un dato tipo di similarità L2 avrà, oltre ai simboli per i linguaggi elementari, insiemi ...
Leggi Tutto
Automi e linguaggi formali
Dominique Perrin
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. Tali successioni si presentano in situazioni [...] soddisfa l'equazione L=b+aLL. Così gli insiemi a−1=L2 e b−1=ε appartengono all'algebra generata da L.
Computabilità
di lunghezza n. Le restrizioni possono riguardare sia lo spazio sia il tempo impiegato dalla macchina. Una classe importante ...
Leggi Tutto
Sicurezza, metodologie e applicazioni
Renato Rota
Il termine sicurezza, pur nella sua accezione generale di cautela contro evenienze spiacevoli, può assumere diversi significati in funzione del campo [...] di fuga o di protezione in un dato punto dello spazio, subisca un determinato danno (per es., la morte) classico esempio di un impianto di illuminazione costituito da due lampadine L1 e L2, un generatore di energia P e un interruttore I. In questo ...
Leggi Tutto
Computazionali, metodi
Alfio Quarteroni
I metodi computazionali permettono di risolvere con i computer, nell'ambito delle scienze applicate, problemi complessi formulabili tramite il linguaggio della [...] , allora si ha
Indicando dunque con ∥f∥ = =(f,f)1/2 la cosiddetta norma L2 di f in (a,b) e, per ogni n, con
la serie troncata di f funzione u (scalare o vettoriale) dipendente dal tempo e dallo spazio tale che ogni x=(x1,..., xd)∈Ω e t ›0 ...
Leggi Tutto
Pronuncia è il termine correntemente usato, anche dai non specialisti, per designare il modo di articolare i suoni di una lingua (si parla infatti di pronuncia della erre, di difetto di pronuncia, ecc.) [...] netta e precisa contro la pronuncia, trascurata e sciatta. Lo spazio tra i due poli è continuo e non discreto: al dunque pronunciato dagli stranieri (➔ acquisizione dell’italiano come L2; Canepari 2007). Le questioni relative agli aspetti fonetici ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La teoria della misura
Maurice Sion
La teoria della misura
Con la nozione matematica di misura si vogliono analizzare concetti che si riferiscono [...] applicazioni, in special modo in fisica e nelle equazioni differenziali. In essa un ruolo cruciale è svolto dagli spazi L1 e L2 e dal teorema di Fischer-Riesz già menzionato. L'analisi armonica motivò gran parte dello sviluppo dell'analisi funzionale ...
Leggi Tutto
Come i parassiti inattivano la sorveglianza Immunitaria: il caso del protozoo Leishmania
Pascal Launois
(World Health Organization, lmmunology Research and Training Center, lnstitut de Biochimie, Université [...] in modo costitutivo nello spazio extravascolare o che possono penetrarvi 1997) Early production of IL-4 in susceptible mice infected with Leishmania major rapidly induces IL-l2 uuresponsiveness. J. lmmunoI., 158, 3317-3324.
LEAL, L.M.C.C., MOSS, ...
Leggi Tutto
Complessità algoritmica
Fabrizio Luccio
Gli studi di complessità di calcolo si sono sviluppati essenzialmente nella seconda metà del ventesimo secolo. Basati sulla formalizzazione del concetto di algoritmo, [...] accettata da M si pone convenzionalmente s(α)=t(α)=1. Le complessità in spazio e tempo S(n) e T(n) per M e P si definiscono f; 2) per ogni v∈Σ*, si ha v∈L1 se e solo se f(v)∈L2. Si dice allora che P1 si riduce a P2, e si indica con P1⇒P2. Si noti ...
Leggi Tutto
Liquidi
Francesco Sciortino
Gli stati gassoso, liquido e solido (cristallino) sono le tre forme in cui si presenta la materia in equilibrio termodinamico: lo stato gassoso è caratterizzato da bassa [...] quadrato della distanza percorsa in media, la relazione tra tempo e spazio, r≈(t)1/2, sia diversa rispetto al caso di propagazione di lunghezza l. In queste condizioni, D è esprimibile come l2/6τ. Inserendo i valori tipici dei liquidi semplici per la ...
Leggi Tutto