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, [...] che mettono in relazione le risorse necessarie al calcolo (in particolare il . Le condizioni di arresto dipendono dal tipo di algoritmo eseguito. Se è richiesto un distribuzione con caratteristiche statistiche sufficienti per le necessità dell' ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Calcolo delle variazioni
Craig Fraser
Mario Miranda
Calcolo delle variazioni
Tra il 1870 e il 1920 si assiste al consolidamento degli argomenti [...] con una sensibilità logica più profonda dei suoi predecessori e introdusse esplicitamente la distinzione moderna tra condizionenecessariaecondizionesufficiente. Inoltre, portò nella disciplina la consapevolezza della necessità di esprimere ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La topologia degli insiemi di punti
Roger Cooke
Brian Griffith
La topologia degli insiemi di punti
La topologia generale o topologia degli insiemi [...] Cesare Arzelà (1847-1912), il quale stabilì una condizionenecessariaesufficiente per la continuità di una funzione limite di funzioni continue. Una condizione più utile, anche se solo necessaria, dimostrata da Ulisse Dini (1845-1918), afferma che ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi
Gabriele Lolli
La teoria degli insiemi
La teoria degli insiemi è universalmente considerata, nella sua concezione e impostazione [...] numero infinito, per la quale ènecessario che la relazione di grandezza perché questi garantiscono proprietà sufficienti di chiusura, e in M sono possibili 1 sull'insieme totale, e sia numerabilmente additiva (condizione invero equivalente, per il ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I problemi di Hilbert e la matematica del nuovo secolo
David E. Rowe
I problemi di Hilbert e la matematica del nuovo secolo
Problemi matematici [...] 'unica via da seguire è quella di un'accurata e meticolosa analisi. Spesso si rivelano necessarie ipotesi aggiuntive; talora il funzioni che descrivono le trasformazioni fossero differenziabili, condizione che Hilbert riteneva superflua. Due anni dopo ...
Leggi Tutto
Sistemi, scienza e ingegneria dei
Salvatore Monaco
Con il termine sistema si intende qualsiasi oggetto di studio che, pur essendo costituito da diversi elementi reciprocamente interconnessi e interagenti [...] modello), che nella migliore delle condizioniè solo parziale. In questo contesto la teoria del controllo ci dice che non ènecessario prevedere l’effetto che avrà l’intervento: informazioni parziali possono essere sufficienti se gli obiettivi sono ...
Leggi Tutto
convessità generalizzata
Angelo Guerraggio
Termine che designa gli studi tesi a estendere le proprietà delle funzioni convesse (o concave) – almeno quelle ritenute essenziali in un determinato contesto [...] le ipotesi di convessità garantiscono che alcune condizioni note come necessarie diventino anche sufficientie che i punti di minimo (o di nella convessità generalizzata sono quelle quasi-convesse e quelle pseudo-convesse. Si definisce quasi-convessa ...
Leggi Tutto
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...
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...