Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] relazionali possono essere convertite in strutture a intorni equivalenti definendo N(w°) come la classe di tutti gli insiemi che contengono {wj: variare le variabili libere su un unico dominio universale D, di cui i vari Di sono sottoinsiemi, mentre ...
Leggi Tutto
La grande scienza. Teoria delle stringhe
Augusto Sagnotti
Teoria delle stringhe
I processi d'urto hanno un ruolo fondamentale, dal punto di vista sia sperimentale sia teorico, nella fisica delle particelle [...] a una corda sono efficaci nei processi d'urto. In altri termini, le differenze tra di massa di centinaia di MeV/c2 o, equivalentemente, a una scala di energie di riposo di centinaia di esplorare con successo ampie classi di modelli con tre dimensioni ...
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 [...] Novecento e il primo teorema che lo riguarda è l'equivalenza tra il modello dell'automa finito e la descrizione di è accettato dalla coppia (D,V) con probabilità maggiore di 1−ε, per qualche ε〈1/2. Un esempio di problema della classe IP è quello del ...
Leggi Tutto
Matematica: problemi aperti
Claudio Procesi
Prima di parlare dei problemi aperti nella matematica è bene riflettere su quelli che ne hanno segnato la storia passata. Sono infatti proprio questi che [...] P.
NP viene allora definita come la classe di quei linguaggi L⊂∑ per cui L′≤pL. Da essa si evince una sostanziale equivalenza fra i linguaggi NP-completi e dunque se fosse K di cicli limite della forma K≤dq, dove d è il massimo dei gradi di P e di Q ...
Leggi Tutto
Reticoli, analisi dei
Antonio M. Chiesi
Definizione
L'analisi dei reticoli, o network analysis, consiste in un insieme di metodi e tecniche di analisi strutturale che si basano sui seguenti postulati [...] classe di statistiche rilevanti, che si è andata sviluppando più recentemente a seguito dell'elaborazione del concetto teorico di equivalenza : a network approach (a cura di B. Wellman e S.D. Berkowitz), Cambridge 1988.
White, H.C., Where do markets ...
Leggi Tutto
Stringhe, teoria delle
Augusto Sagnotti
La descrizione delle particelle elementari è stata un obiettivo centrale della fisica almeno a partire dalla fine del XIX sec., con la scoperta dell'elettrone. [...] a una corda sono efficaci nei processi d'urto. In altri termini, le differenze tra a una scala di centinaia di MeV/c2 (o, equivalentemente, a una scala di centinaia di MeV per le già nel 1985 che ampie classi di soluzioni delle equazioni della ...
Leggi Tutto
Bioenergetica
Vaclav Smil
Il giorno in cui iniziai a scrivere questo testo la temperatura esterna nella maggior parte delle praterie canadesi era inferiore a −30 °C con punte di −40 °C, se si considerava [...] luce (principalmente clorofille) di lunghezza d'onda compresa in due bande ristrette, la normale idratazione bevendo l'equivalente del 30% del proprio rilevata, per entrambi i sessi e per tutte le classi di età, da semplici equazioni lineari, il cui ...
Leggi Tutto
Equazioni differenziali: problemi non lineari
Jean Mawhin
La modellizzazione di molti problemi fisici porta alla ricerca di soluzioni di equazioni differenziali di secondo ordine, ordinarie o alle derivate [...] ℝn considerata come mappa da D_ in ℝn, abbiamo allora dB[I,D]=1 se 0∈D o dB[I,D]=0 se 0∉D_.
In contrasto con il conteggio classi di mappe non continue.
Approccio di punto fisso per problemi al contorno unidimensionali
Equazione integrale equivalente ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La topologia algebrica all'inizio del XX secolo
John McCleary
La topologia algebrica all'inizio del XX secolo
Le radici della topologia algebrica [...] : γ(f) è dato allora dal loro linking number, e al giorno d'oggi questo numero si chiama 'invariante di Hopf'. Hopf dimostrò che se f quanto i gruppi di omologia sono invarianti della classe di equivalenza omotopica di uno spazio: fu questa nozione a ...
Leggi Tutto
Automazione
Bruno Bezza
Giovanni Dosi
Introduzione
Si definisce 'meccanizzato' ogni processo che sostituisce procedimenti lavorativi basati su fonti di energia inanimata a operazioni compiute dall'uomo [...] delle generazioni precedenti. L'equivalenza mestiere-abilità non era passa dall'organizzazione del lavoro centrata sul subappalto d'officina all'unità di processo: gli operai sono l'accesso delle classi medie e della classe operaia ai beni di ...
Leggi Tutto
quoziente
quoziènte s. m. [dal lat. quotiens avv. «quante volte», der. di quot «quanti»]. – 1. In aritmetica, il risultato dell’operazione della divisione, e cioè il numero che esprime quante volte il divisore è contenuto nel dividendo: q....
definizione
definizióne (ant. diffinizióne) s. f. [dal lat. definitio -onis]. – 1. Determinazione, delimitazione esatta: d. di un confine; d. dei limiti di competenza di due organi amministrativi; d. dei termini di una questione. 2. L’atto,...