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, [...] .
La dimostrazione del teorema 1 è basata su una simulazione del funzionamento della MTND X sulla macchina di Turing Y, ove il tempo di esecuzione cresce esponenzialmente nel passaggio dalla macchina non deterministica a quella deterministica: è ...
Leggi Tutto
L'Ottocento: matematica. Equazioni differenziali ordinarie
Jeremy Gray
Equazioni differenziali ordinarie
Variabili reali
Durante il XVIII sec. i matematici avevano risolto un numero crescente di equazioni [...] '. Intorno al 1800 questa classe includeva le funzioni polinomiali (in una sola variabile), alcune semplici funzioni algebriche e le funzioni logaritmiche, esponenziali e trigonometriche. Una nuova funzione si può considerare nota non appena venga ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Problemi di analisi complessa alla fine dell'Ottocento
Jeremy Gray
Problemi di analisi complessa alla fine dell'Ottocento
La teoria generale [...] un semicerchio e da due rette verticali. Utilizzando questa funzione Dedekind fu in grado di sviluppare una teoria quasi completa formulata da Charles Proteus Steinmetz attraverso gli esponenziali complessi. Lo stesso trucco notazionale di scrivere ...
Leggi Tutto
circuito
circùito [Der. del lat. circuitus, da circuire "andare intorno", comp. di circum "intorno" e ire "andare"] [ALG] Qualunque curva i cui punti siano in corrispondenza biunivoca con i punti di [...] f/R) exp[-t/(RC)], cioè si ha un impulso di corrente che decade esponenzialmente a zero, con costante di tempo RC, dal valore iniziale f/R; la f-L(di/dt)=Ri, che, integrata, fornisce la funzione i(t). Due soluzioni significative sono le seguenti: (a) ...
Leggi Tutto
Fourier Jean-Baptiste-Joseph
Fourier 〈furié〉 Jean-Baptiste-Joseph [STF] (Auxerre 1768 - Parigi 1830) Prof. nella École Normale e nella École Polytechnique di Parigi, membro della Académie des sciences [...] ] Postulato di F.: lo stesso che legge di F. (v. sopra). ◆ [ANM] Serie di F.: la serie mediante la quale una funzione periodica viene espressa in termini esponenziali complessi: v. analisi armonica: I 124 e. Per gli sviluppi in serie di F. di alcune ...
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 [...] ). Questo metodo, nonostante la complessità derivante dalla crescita del numero di stati ‒ che può essere esponenziale in funzione del numero di processi presenti nel sistema ‒, si sta rivelando utile nella realizzazione di strumenti automatici ...
Leggi Tutto
GENOCCHI, Angelo
Livia Giacardi
Nacque a Piacenza il 5 marzo 1817 da Carlo, agiato possidente, e da Carolina Locatelli. Fin da giovanissimo il G. si distinse negli studi, in particolar modo in quelli [...] S.-D. Poisson al calcolo di certe somme di esponenziali la cui determinazione, come egli mostra più avanti, è da Barnaba Tortolini, III [1852], pp. 395-405, e Intorno alla funzione Γ(x) e alla serie dello Stirling che ne esprime il logaritmo, in ...
Leggi Tutto
quadratura
quadratura [Lat. quadratura, da quadrare "ridurre a quadrato"] [ANM] Sinon. di integrazione, cioè calcolo di un integrale definito (in quanto vari integrali definiti rappresentano aree di [...] [ANM] Grandezze in q.: grandezze armoniche (sinusoidali, cosinusoidali, esponenziali a esponente immaginario) le cui fasi differiscano di π/2 o un numero finito (piccolo) di integrali definiti di funzioni che si possono considerare ben note. Esempi di ...
Leggi Tutto
autovalore
Luca Tomassini
Tanto in algebra quanto in analisi, si è frequentemente condotti a definire e a calcolare delle funzioni (inverso, potenze, esponenziali ecc.) di un endomorfismo A:V→V di uno [...] spazio vettoriale V sul campo dei numeri complessi ℂ. A questo fine, è utile determinare le rette di V stabili per A e si è così condotti alla nozione di autovalore e autovettore. Più precisamente, si ...
Leggi Tutto
integrabile
integràbile [agg. Der. del lat. integrabilis] [LSF] Che può essere integrato, sia nel signif. matematico (→ integrale), sia per significare che si tratta di cosa che può essere aggiunta o [...] inserita in un'altra. ◆ [ANM] Funzione elementarmente i.: una funzione espressa in termini elementari (cioè mediante le funzioni razionali, esponenziali, trigonometriche, iperboliche e le loro inverse), il cui integrale si possa esprimere pure in ...
Leggi Tutto
funzione
funzióne s. f. [dal lat. functio -onis, der. di fungi «adempiere»]. – 1. Attività svolta abitualmente o temporaneamente in vista di un determinato fine, per lo più considerata nel complesso di un sistema sociale, burocratico, ecc....
esponenziale
agg. e s. m. [der. di esponente]. – 1. Relativo all’esponente, come esponente. a. In matematica, funzione e., quella del tipo y = ax, in cui cioè la variabile indipendente x compare come esponente (per a reale e maggiore di 1...