LOGICA E INFORMATICA
Enciclopedia Italiana - V Appendice (1993)
LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] , mentre quello dei registri della macchina a registri illimitati è (potenzialmente) infinito;
2) le singole locazioni di memoria di un calcolatore possono contenere solo numeri di grandezza limitata, mentre ciascun registro della macchina a registri ...
Leggi Tutto
Calcolo
Enciclopedia Italiana - VII Appendice (2006)
Il concetto di calcolo costituisce uno dei più importanti fondamenti teorici delle discipline informatiche. Così come nelle discipline meccaniche non si possono comprendere le caratteristiche dei motori [...] della costruzione del primo elaboratore elettronico, vi sono notevoli analogie tra il nastro di una macchina di Turing e la memoria di un elaboratore elettronico, e tra le regole scritte sul nastro di una macchina di Turing e i programmi memorizzati ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
La grande scienza. Automi e linguaggi formali
Storia della Scienza (2003)
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. [...] di computazione e, più generalmente, di comportamento di un sistema. Si tratta semplicemente di un controllo discreto dotato di una memoria finita. Il primo teorema in proposito è l'equivalenza tra il modello dell'automa finito e la descrizione di ...
Leggi Tutto
Serie storiche, analisi delle
Enciclopedia delle scienze sociali (1997)
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, [...] di varianza; in quello temporale i modelli vengono formulati in termini di tempo, di rapporti passato-presente, di memoria della serie, di autocovarianza e autocorrelazione tra i dati. I due approcci, pur ponendo quesiti diversi, sono matematicamente ...
Leggi Tutto
CATEGORIA:
STATISTICA E CALCOLO DELLE PROBABILITA
L'Ottocento: matematica. Babbage e le origini del calcolo automatico
Storia della Scienza (2003)
L'Ottocento: matematica. Babbage e le origini del calcolo automatico
John Fauvel
Babbage e le origini del calcolo automatico
Il calcolatore elettronico programmabile, nella sua forma attuale, è figlio [...] 'importanza vitale del simbolo) facilitano la traduzione nel linguaggio naturale a ogni livello di un'operazione; alleggeriscono la memoria di tutto il carico dei passaggi intermedi e allo stesso tempo le forniscono un grande aiuto nel preservare i ...
Leggi Tutto
Fermat, Pierre de
Enciclopedia on line
Matematico francese (Beaumont-de-Lomagne, Tarn-et-Garonne, 1601 - Castres 1665). Autore di studi sul calcolo delle aree di figure piane, sul calcolo delle probabilità in problemi di giochi d'azzardo e nel [...] di P. Hérigone veniva pubblicato il metodo di F. per i massimi e per i minimi, che costituì, fino alla memoria di Leibniz del 1684 con la quale si inaugurava il calcolo differenziale, il più importante contributo a questa teoria matematica, collegata ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Caccioppoli, Renato
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Renato Caccioppoli
Luca Dell'Aglio
Figura chiave nello sviluppo del pensiero matematico in Italia durante la prima parte del Novecento, le sue ricerche spaziano nei vari rami dell’analisi matematica, [...] caso dello spazio euclideo a n dimensioni, ripreso poi da Lévy nel 1920. Questo importante risultato di Caccioppoli è presente in una memoria del 1932 (Opere, 2° vol., cit., pp. 39-52), in gran parte dedicata poi alla sua applicazione allo studio di ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Calcolo delle variazioni
Enciclopedia Italiana - VII Appendice (2006)
Il c. delle v. è quell'area della matematica definita dal seguente problema: determinare, in una famiglia assegnata di oggetti, quello che rende minima (oppure massima) una certa grandezza. Gli oggetti [...] azioni meccaniche a comando ma privi di parti mobili o di motori, e quindi enormemente miniaturizzabili.
L'effetto di memoria è dovuto al fatto che le proprietà meccaniche di tali leghe dipendono in modo essenziale dalla struttura geometrica del ...
Leggi Tutto
CATEGORIA:
ANALISI MATEMATICA
PEANO, Giuseppe
Dizionario Biografico degli Italiani (2015)
PEANO, Giuseppe
Clara Silvia Roero
PEANO, Giuseppe. – Nacque a Spinetta, nei pressi di Cuneo, il 27 agosto 1858, secondogenito di Bartolomeo e di Rosa Cavallo, proprietari terrieri.
Frequentò le scuole [...] a cura di J. Dieudonné, Paris 1978, pp. 284-286; H.C. Kennedy, Life and works of G. P., Dordrecht 1980; A. Guerraggio, Le memorie di Volterra e P. sul movimento dei poli, in Archive for history of exact sciences, 1984, n. 31, 2, pp. 97-126; M. Borga ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
DE PAOLIS, Riccardo
Dizionario Biografico degli Italiani (1991)
DE PAOLIS, Riccardo
Marta Menghini
Nacque a Roma il 19 genn. 1854 da Achille ed Elena Chatelain. Compì a Roma i primi studi dimostrando una spiccata inclinazione per la matematica, ai cui corsi dell'università [...] peritonite tubercolare il 24 giugno 1896 a Roma.
Fonti e Bibl.: F. G. Tricomi, Matematici ital. del primo secolo dello Stato unitario, in Memorie d. Acc. d. scienze di Torino, cl. sc. mat., fis. nat., s. 4, I (1962), p. 41; C. Segre, R. D., in Rend ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE