Computazione, teoria della
Fabrizio Luccio
La necessità del calcolo, pur riconosciuta dall'uomo in tutte le epoche storiche, ha condotto solo in tempi relativamente recenti a una sistemazione teorica [...] L(A2)).
La macchina di Turing
L'automa più potente dal punto di vista del calcolo fu introdotto da Turing nel 1936. Si mosse è accettata da Y in t′>kt-1 mosse, con k costante.
La dimostrazione del teorema è basata su una simulazione del ...
Leggi Tutto
Serie storiche, analisi delle
Franco Giusti
Finalità
Una serie storica è un insieme finito cronologicamente ordinato di osservazioni x₁, x₂, x₃,..., xT relative a un carattere X, generalmente equidistanti, [...] costanti al fluire del tempo, e che l'autocovarianza fra le variabili casuali in due punti-tempo t e t + τ sia una funzione γ(τ) - funzione di lineari esistenti fra una variabile Yt e k altre variabili Xit mediante un ampliamento del modello ...
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 [...] generalizzata) per tutte le h appartenenti a opportuni spazi di funzioni che rendano possibile un approccio di punto fisso.
Soluzioni classiche e forti
Se α∈]0,1[, k≥0 e Ck,α(Ω_) denota lo spazio hölderiano delle funzioni reali di classe Ck su Ω ...
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 [...] di celle di uno spazio euclideo e f :K→L un'applicazione continua che porta vertici di K in vertici di L. La f si può approssimare con l'applicazione β:K→L definita rappresentando i punti di K con le loro coordinate baricentriche ed estendendo ...
Leggi Tutto
Leggi di scala
Luciano Pietronero
Le leggi di scala riguardano il comportamento di una struttura in funzione della scala da cui la si guarda. Per i sistemi regolari, sia matematici sia fisici e naturali, [...] appunto la legge di scala, che caratterizza questo processo. Dal punto di vista matematico, il problema può essere posto in termini molto connesso decade esponenzialmente per grandi valori di k come P(k)=e−k. D'altro canto, gli studi empirici sulla ...
Leggi Tutto
L'Ottocento: matematica. Metodi del calcolo numerico
Dominique Tournès
Metodi del calcolo numerico
Prima del 1870 l'analisi numerica non si era ancora sviluppata come disciplina autonoma; esisteva [...] generale si sviluppano tecniche di calcolo grafico per costruire per punti la curva di equazione P(x)=0 e leggere sul grafico (1809) mettono a punto il 'metodo dei minimi quadrati'. Dato un sistema di k equazioni a n incognite (con k>n), in forma ...
Leggi Tutto
DE GIORGI, Ennio
Enrico Moriconi
Nacque l’8 febbraio del 1928 a Lecce figlio di Nicola e di Stefania Scopinich.
La madre proveniva da una famiglia di navigatori di Lussino, mentre il padre era insegnante [...] applicazioni al calcolo delle variazioni di una teoria della misura k-dimensionale, Atti del V Congresso U.M.I., Pavia-Torino , per es., il problema di mostrare l’esistenza di punti limite per ogni successione di chiusi di uno spazio compatto ...
Leggi Tutto
Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] ... ⋁Bk; nel caso n=0 scriveremo ⇒B1,…,Bk e nel caso k=0 la formula equivarrà a (A1⋀… An)⇒⊥. Vedremo più avanti come il abbiamo la dimostrazione
Si tratta di una trasformazione costosa dal punto di vista algoritmico, che ci può far passare da una ...
Leggi Tutto
motore
motóre [agg. (f. -trice) e s.m. Der. del lat. motor -oris "che mette in movimento", dal part. pass. motus di movere "muovere"] [FTC] Sistema materiale capace di trasformare energia di una certa [...] ] M. elettrico a riluttanza: m. a corrente alternata che dal punto di vista costruttivo è simile a un m. asincrono; può avere tipo di m. con avvolgimenti superconduttori, a temperatura di qualche K, ottenuta con circolazione di elio liquido. In un m. ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Algebra
Claudio Procesi
Algebra
Per comprendere la storia dell'algebra del XX sec. è necessario fare un breve quadro dello sviluppo della disciplina [...] i complessi di catene e i funtori derivati. Il punto di vista funtoriale è essenzialmente lo sviluppo della seguente idea Arthur Cayley, William R. Hamilton, James J. Sylvester e William K. Clifford, in Germania a Rudolf Alfred Clebsch, Paul A. Gordan ...
Leggi Tutto
k, K
(cappa o kappa, ant. o region. ca) s. m. o f., invar. – Decima lettera dell’alfabeto latino, che rappresenta l’occlusiva velare sorda (cioè il suono proprio di c in casa, fuoco, acuto) come il greco κ (che ha lo stesso nome); quando il...
stella1
stélla1 s. f. [lat. stēlla]. – 1. In astronomia, nome generico dei corpi celesti di forma per lo più sferica, costituiti da enormi masse di gas a temperatura molto elevata (che per questo emettono luce), tenuti insieme dall’attrazione...