NUMERICI CALCOLI (XXV, p. 29)
Enzo APARO
Generalità. - Il concetto di calcolo numerico si può introdurre da un punto di vista generale, come segue. Un insiemefinito di oggetti, un insiemefinito di [...] celle, capaci ciascuna di contenere un oggetto, e un insiemefinito di istruzioni, seguendo le quali si perviene in un numero finito di passi da una disposizione iniziale degli oggetti nelle celle ad una finale, definiscono un calcolo. La successione ...
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 [...] , con varia fortuna, a essere utilizzate fino a oggi. Nella sua versione più elementare, una è costituita da un insiemefinito di posti (che rappresentano condizioni per l'attivazione di processi) e di transizioni (che rappresentano processi) e da ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'analisi numerica
Paolo Zellini
L'analisi numerica
L'analisi numerica moderna comincia a delinearsi verso la metà del XX sec., con le prime [...] la maggior parte delle proprietà delle operazioni tra numeri cessa di valere. La macchina opera infatti con un insiemefinito di numeri finiti e introduce quindi errori di arrotondamento sui dati e sui risultati delle singole operazioni. Le leggi di ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] asserzione matematica ancora non dimostrata, come l'ipotesi di Riemann. X è un sottoinsieme dell'insiemefinito {1, 2}, ma non possiamo provare che X è finito, poiché ciò ci costringerebbe a decidere se X abbia uno oppure due elementi e per questo ...
Leggi Tutto
POMPILJ, Giuseppe
Enrico Rogora
POMPILJ, Giuseppe. – Nacque a Roma il 17 luglio 1913.
Nel 1918 perse il padre, morto in guerra. Si laureò con lode in matematica nel 1935 con una tesi di geometria algebrica [...] delle variabili casuali, in L’industria, X (1956), p. 143). Formulato in tal modo, lo studio delle proprietà di un insiemefinito di variabili casuali rientra nel famoso programma di Erlangen di Felix Klein. È questo il legame più evidente tra i ...
Leggi Tutto
vettoriale
vettoriale [agg. Der. di vettore "inerente a vettori"] [ANM] Analisi, o calcolo, v.: la parte della matematica che s'occupa degli algoritmi con i quali si opera sui vettori (a questi si applicano, [...] per V quando ogni vettore v è esprimibile in modo unico come combinazione lineare di elementi di B. Se la base B è un insiemefinito n si dice che V ha dimensione n, altrimenti V ha dimensione infinita. Per es., ha dimensione n lo spazio v. delle n ...
Leggi Tutto
teoria dei grafi
Gilberto Bini
Lo studio delle proprietà combinatorie, topologiche, probabilistiche ecc. dei grafi, sviluppatosi come teoria matematica autonoma negli anni Trenta del Novecento a opera [...] Euler introdusse diversi concetti fondamentali della teoria. Egli schematizzò il problema come segue: dato un grafo qualsiasi (insiemefinito di vertici collegati da vari lati), stabilire se sia possibile determinare un percorso che partendo da uno ...
Leggi Tutto
Macchina di Turing
Mauro Cappelli
Modello di agente di calcolo adatto a simulare la logica di qualsiasi algoritmo computazionale. La macchina formale fu proposta nel 1936 dal logico e matematico britannico [...] idealmente in modo infinito nei due versi e risulta diviso in celle, ciascuna contenente un simbolo appartenente a un insiemefinito di simboli detto alfabeto.
Ogni ;macchina di Turing deve possedere un alfabeto che contenga il simbolo speciale b ...
Leggi Tutto
gruppo di Lie
Luca Tomassini
Un gruppo G sul quale sia definita una struttura di varietà analitica tale che la mappa μ:(x,y)→xy−1 dal prodotto diretto G×G in G stesso sia analitica. In altre parole, [...] da Sophus Lie come gruppi di trasformazioni locali dello spazio euclideo n-dimensionale ℝn dipendenti analiticamente da un insiemefinito di parametri, con la richiesta addizionale che i parametri di un prodotto fossero esprimibili in termini dei ...
Leggi Tutto
schema
schèma [Lat. schema, der. del gr. schèma -atos "aspetto"] [FAF] Modello convenzionale, semplificato rispetto alla realtà, di un problema, un fenomeno, un processo, un dispositivo, ecc. Gli s. [...] secondo una determinata geometria; si contrapp. a s. particellare. ◆ [ALG] [FAF] S. di assiomi: nella logica matematica, un insiemefinito di assiomi che viene rappresentato con un'unica formula, in cui compaiono uno o più simboli la cui precisazione ...
Leggi Tutto
insieme
insième (ant. insème) avv. e s. m. [lat. ĭnsĕmul, rifatto nel lat. volg. in *insĕmel per sostituzione di semel «una volta» a simul «insieme»]. – 1. avv. Esprime in genere i seguenti rapporti: a. Compagnia, unione: siamo usciti i. io...
finito
agg. [part. pass. di finire]. – 1. a. Giunto o condotto a termine, compiuto: arrivare a spettacolo f.; sono ormai due anni f. che ha lasciato il paese. Frequente nell’uso fam. la locuz. farla finita (con la indeterminato), smettere...