La civilta islamica: condizioni materiali e intellettuali. Algebra e linguistica. Gli inizi dell'analisi combinatoria
Roshdi Rashed
Algebra e linguistica. Gli inizi dell'analisi combinatoria
Intorno [...] classi distingue tra sorde e sonore. Così, nella prima classe la consonante ῾ayn (῾) è sonora, mentre ḥā᾽ (ḥ) è sorda; e nella quinta classe dāl (d due le parti si ottiene:
da cui, tenendo conto dell'equivalenza con la sommatoria da p=0 a p=m+n come ...
Leggi Tutto
Numeri
Umberto Zannier
Quanti? Quanto? Quando? A che distanza? Domande a cui rispondiamo, di solito, con numeri. Di essi facciamo continuo uso, e l’importanza concettuale, oltre che pratica, della nozione [...] Un’argomentazione logica ne mostra l’equivalenza con un altro principio: per studiate da Diofanto di Alessandria, nel 250 d.C. circa), in cui si richiede .
Aggiungiamo una nota positiva: per certe classi ristrette di numeri il dilemma di uguaglianza ...
Leggi Tutto
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
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
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
Combinatoria
Peter J. Cameron
Secondo alcuni la combinatoria costituisce soltanto una parte della matematica, secondo altri non rappresenta una branca separata dalle altre ma le pervade tutte, poiché [...] ottenere (di solito a meno di una equivalenza che deve essere specificata con precisione). È Robertson, Daniel P. Sanders, Paul D. Seymour e Robin Thomas, gli autori da un polinomio nelle dimensioni dell'input. Una classe è in NP se si ha lo stesso ...
Leggi Tutto
Invarianti, Teoria degli
Claudio Procesi
La geometria proiettiva, e le geometrie non euclidee, ebbero un grande impatto sul pensiero algebrico e geometrico del secolo scorso. Le idee scaturite da questa [...] Tadao Tannaka (1939). Questo teorema stabilisce infatti un'equivalenza categorica fra gruppi algebrici linearmente riduttivi e gruppi di dei covarianti. Più in generale, Frank D. Grosshans (1973) introduce la classe dei gruppi osservabili, per cui si ...
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, [...] insieme finito di stati; s′∈S è lo stato iniziale; Σ è l'alfabeto d'ingresso; Π è l'alfabeto del nastro, Σ⊂Π; b∈Π−Σ è equivalenti.
Se tutti i problemi della classe NP si riducessero a uno solo, questo sarebbe il più difficile problema di tale classe ...
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,...