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 esistono studi paralleli sulla complessità in spazio. Si dice che una macchina di Turing (o un algoritmo) M è polinomiale se esiste un polinomio p tale che, per ogni valore di n, sia T(n)≤p(n) o, in modo equivalente, se il problema P risolto da M ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Teoria dei sistemi e controllo
Mark Aizerman
Teoria dei sistemi e controllo
La teoria del controllo si è formata, come campo di ricerca indipendente, [...] Trenta aveva dimostrato che i parametri del feedback del sistema possono essere scelti in modo che tutti i coefficienti del polinomio K(p) siano rappresentati da differenze di valori indipendenti dal tempo, e quindi siano tutti nulli; ciò riduce l ...
Leggi Tutto
differenza
differènza [Der. del lat. differentia, da differens -entis "differente", part. pres. di differre "essere differente"] [ALG] Il risultato dell'operazione di sottrazione. ◆ [EMG] D. di potenziale [...] via; generic., la d. n-esima, definita come la d. della d. (n-1)-esima, s'indica con Δnf(x). Se f(x) è un polinomio di grado n, le d. n-esime sono costanti e quelle (n+1)-esime sono nulle; le proprietà delle d. finite si richiamano a proprietà del ...
Leggi Tutto
metodo numerico
metodo numerico metodo di calcolo che fornisce soluzioni, per lo più approssimate, di problemi di difficile risoluzione analitica e permette la stima dell’errore che può essere contenuto [...] di Lagrange (→ Lagrange, interpolazione di), e i metodi di approssimazione locale quali la formula di Taylor (→ Taylor, polinomio di). Per le equazioni differenziali, ci si riconduce principalmente al metodo di → Eulero, alla famiglia dei metodi di ...
Leggi Tutto
Lagrange Giuseppe Luigi
Lagrange 〈lagràngë〉 (it. Lagràngia) Giuseppe Luigi (in fr. Joseph-Louis) [STF] (Torino 1736 - Parigi 1813) Prof. di matematica nella Scuola di artiglieria a Torino (1755), poi, [...] di L.: v. variazioni, calcolo delle: VI 470 b. ◆ [ANM] Parentesi di L.: v. meccanica analitica: III 660 b. ◆ [ANM] Polinomio d'interpolazione di L.: v. calcolo numerico: I 407 c. ◆ [ASF] Punti di L.: → lagrangiano. ◆ [ANM] Resto in forma di L ...
Leggi Tutto
TRANSITORÎ, FENOMENI
Giovanni GIORGI
. 1. Si denomina per brevità come "studio dei fenomeni transitorî"; lo studio dell'andamento delle grandezze elettriche, meccaniche e fisiche in generale, quando [...] ,
ed eventualmente anche di termini in cui il denominatore Δ − ρi figura elevato a potenza, il tutto preceduto o no da un polinomio. Se la decomposizione è stata fatta in fattori, questi si applicano uno dopo l'altro all'operando V (t). Se invece
è ...
Leggi Tutto
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. [...] è un enunciato da dimostrare. Le due macchine comunicano a ogni passo e il numero dei passi è limitato da un polinomio. Un linguaggio L è in IP (interattivo polinomiale) se esiste una macchina di Turing probabilistica V (il Verificatore) che lavora ...
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 [...] è un enunciato da dimostrare. Le due macchine comunicano a ogni passo e il numero dei passi è limitato da un polinomio. Un linguaggio L è in IP (interattivo polinomiale) se esiste una macchina di Turing probabilistica V (il verificatore) che lavora ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Teoria analitica dei numeri
Günther Frei
Teoria analitica dei numeri
La teoria analitica dei numeri non è una teoria matematica ben definita, [...] ) esiste, anche δ(M) esiste e sono uguali. Il contrario però non è sempre vero. Il teorema principale di Kronecker è: se
è un polinomio a coefficienti interi, r il numero di fattori irriducibili di F(x) in Z[x] e νp il numero di soluzioni di F(x)≡0 ...
Leggi Tutto
equazione differenziale, metodo numerico per la risoluzione di una
equazione differenziale, metodo numerico per la risoluzione di una metodo applicato per la ricerca delle soluzioni approssimate di una [...] a tratti di grado m i cui coefficienti vengono determinati richiedendo che, in ogni sottointervallo della rete, il polinomio cui si riduce la funzione soddisfi esattamente l’equazione differenziale in corrispondenza di m punti assegnati e, inoltre ...
Leggi Tutto
polinomio
polinòmio s. m. [comp. di poli- e -nomio di binomio]. – In matematica, somma di monomî (in senso proprio, solo con riferimento a monomî interi), detti termini del polinomio: binomio, trinomio, quadrinomio, ecc., è un polinomio rispettivam....
grado1
grado1 s. m. [lat. gradus -us «passo, scalino», dallo stesso tema di gradi «camminare, avanzare»]. – 1. a. ant. Gradino, scalino: Scala drizzò di cento gradi e cento (T. Tasso). Più raram., passo: deh ferma un poco il g. (Boccaccio)....