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 [...] sottolineava che i numeri di Betti non sono sufficienti a distinguere le varietà e dava infatti un esempio di due varietà con se e solo se esiste una sottovarietà W di dimensione n−p con ∑kiN(W,νi)≠0. Questa è la condizionenecessaria per confrontare ...
Leggi Tutto
Wavelets
IIgnazio D'Antone
di Ignazio D'Antone
SOMMARIO: 1. Introduzione. ▭ 2. La trasformata wavelet continua. ▭ 3. La trasformata wavelet discreta. ▭ 4. Analisi a multirisoluzione. ▭ 5. Proprietà [...] e quindi permette di ricostruire il segnale dalla mappa frequenza-tempo. Occorre tuttavia che sia verificata una 'condizione i parametri a e b. Per garantire la necessaria copertura dell' una discontinuità nel segnale èsufficiente la wavelet di Haar, ...
Leggi Tutto
NUMERICI CALCOLI (XXV, p. 29)
Enzo APARO
Generalità. - Il concetto di calcolo numerico si può introdurre da un punto di vista generale, come segue. Un insieme finito di oggetti, un insieme finito di [...] -2 αi+1, j-1 − α0, j-1 αi+1, j-2 per i = 9,1, ..., μj, j = 0,1, ..., n. La condizione αij > 0 (in = 0, ..., μj, j = 0, ..., n) ènecessariaesufficiente perché f(z) sia un polinomio di Hurwitz (abbia cioè, tutie le sue radici a sinistra dell'asse ...
Leggi Tutto
La scienza bizantina e latina: la nascita di una scienza europea. Astronomia, astrologia e geografia matematica
John D. North
Anne Tihon
Graziella Federici Vescovini
Uta Lindgren
Astronomia, astrologia [...] la conoscenza razionale umana era contingente e non necessariae, in quanto tale, continuamente perfettibile; pertanto la verità della previsione de futuris contingentibus era, come tutte le altre verità, sufficienteecondizionata. In questo modo la ...
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 [...] la tempestività della risposta del sistema di elaborazione è una condizione vincolante per il funzionamento dell'applicazione stessa. termini di tempo di calcolo o memoria) necessariaesufficiente per risolvere un problema con un determinato modello ...
Leggi Tutto
OTTIMIZZAZIONE. -1. Generalità e sviluppo storico
Giorgio Szegö
Con o. s'intende l'operazione di ottenere il valore ottimo di una qualche grandezza.
Per la risoluzione dei problemi di o. occorre innanzitutto [...] tale che esista una sfera aperta di centro x* e raggio δ sufficientemente piccolo, S(x*) ≤ ϕ(x), per condizioni di Cauchy e teorema di Lagrange).
cI) Condizionenecessaria (del primo ordine). - Se x* ∈ X è un minimizzatore locale di ϕ(x) e se h(x) e ...
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 [...] tempo necessario per una datazione e aumenta l'accuratezza del risultato, è introdotto differenziabile di classe Ck èsufficiente considerare i cicli di tratta di un modello capace di spiegare le condizioni di stabilità di un nucleo atomico, che si ...
Leggi Tutto
Scienza greco-romana. Nascita delle scienze e relazioni tra discipline
Giuseppe Cambiano
Nascita delle scienze e relazioni tra discipline
Sapere globale e distinzioni tra discipline
Nella Grecia antica, [...] di Aristofane, non si deve necessariamente pensare a una rappresentazione storicamente fedele esattezza proprio dello specialista; né èsufficiente aggiungere che l'insegnamento non cieli sia condizione generale per ogni moto animale e, viceversa, ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] come ottenuto un risultato che non sia rigorosamente dimostrato e che il rigore è soltanto una condizionenecessaria per la scientificità di un lavoro matematico ma non sufficiente (Osservazioni del Direttore sull’articolo precedente, «Rivista di ...
Leggi Tutto
Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] infatti che condizionenecessaria affinché K sia elementare è che K sia chiusa rispetto a ≡, nel senso che se M∈K e M≡M , èsufficiente che Tp∪TG∪D(G) abbia un modello. Per compattezza questo si verifica se ha un modello ogni TP∪TG∪D′, dove D′ è parte ...
Leggi Tutto
sufficiente
sufficiènte (o sufficènte; ant. sofficiènte) agg. [dal lat. sufficiens -entis, part. pres. di sufficĕre «bastare», comp. di sub- e facĕre «fare»; il sign. 2 ricalca il fr. suffisant]. – 1. a. Che basta, che è adeguato, anche se...
necessario
necessàrio agg. e s. m. [dal lat. necessarius, der. di necesse, agg. neutro, comp. di ne e cedĕre, propr. «da cui non c’è modo di ritirarsi»]. – 1. agg. a. Che è per necessità; raro con uso assol., di enti, cose o fatti che non...