Boole, disuguaglianza di
Boole, disuguaglianza di esprime la proprietà che per ogni insiemefinito o numerabile di eventi la probabilità che accada almeno uno di essi è minore o uguale alla somma delle [...] probabilità dei singoli eventi. Se con Ei si indicano gli elementi dell’insiemefinito o numerabile di eventi, si ha ...
Leggi Tutto
alfabeto
alfabèto [Der. del lat. alphabetum, dal gr. alfábetos, comp. dei nomi delle due prime lettere] [ALG] [FAF] [INF] Un insiemefinito di segni, con il quale sia possibile sviluppare un certo sistema [...] di simboli o, come si dice usualmente, un linguaggio: v. logica: III 483 c ...
Leggi Tutto
RICONOSCIMENTO
Paolo Ercoli
Giorgio Sommi
Luigia Carlucci Aiello
Giorgio Musso
Premessa: riconoscimento di configurazioni. − I primi tentativi di r. automatico, risalenti agli inizi del 20° secolo, [...] ) e si differenziano più per il contesto in cui vengono usati, che per le caratteristiche fondamentali.
I sistemi di riscrittura sono insiemifiniti di regole del tipo: A→B. La precedente regola si legge "A si riscrive con B" oppure "A diventa B"; in ...
Leggi Tutto
SOFTWARE
Carlo Ghezzi
Ester Capuzzo
Ingegneria del software. - Nel contesto di questa voce, il termine software verrà usato in un'accezione ampia, che comprende sia il prodotto, cioè l'insieme dei [...] aspetti complementari al flusso di controllo. Intuitivamente, un ASF è caratterizzato da un insiemefinito di stati (rappresentati graficamente da cerchi) e un insiemefinito di transizioni (rappresentate da frecce che connettono due stati). L'ASF di ...
Leggi Tutto
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
L’attività e l’operazione di rappresentare con figure, segni e simboli sensibili, o con processi vari, anche non materiali, oggetti o aspetti della realtà, fatti e valori astratti, e quanto viene così [...] curva, di una superficie ecc. è un’equazione o un insieme di equazioni che esprimono i legami tra le coordinate di un solo omomorfo) a un assegnato sistema algebrico: a) ogni gruppo finito è isomorfo a un gruppo di permutazioni (teorema di Cayley); b ...
Leggi Tutto
MODELLI, Teoria dei (App. III, 11, p. 139)
Giulio Supino
Alberto Pasquinelli
Aldo Marruccelli
In questi ultimi 15 anni (1960-75) la t. dei m. si è sviluppata secondo due ordini di idee del tutto opposti. [...] che non è possibile individuare una soprateoria di C che formalizzi la teoria elementare dei campi finiti.
Definibilità e teoria dei modelli. - Sia S un insieme di simboli non logici del linguaggio di una teoria T. Un simbolo predicativo P ∈ S si ...
Leggi Tutto
Turing, macchina di
Turing, macchina di automa universale, elaborato dal logico inglese A.M. Turing, che fornisce una traduzione formale del concetto intuitivo di → calcolabilità. Sebbene introdotta [...] dei caratteri con cui opera la macchina, con K l’insieme degli stati del suo dispositivo di controllo e con d, ≥ 1, ci ⊦ ci+1; se la sequenza c1, c2, …, ck è finita, allora ck deve essere una configurazione finale.
Una funzione aritmetica ƒ: Nn → N, ...
Leggi Tutto
grafi, teoria dei
Teoria matematica che studia le proprietà combinatorie, topologiche, probabilistiche ecc. dei g., cioè di configurazioni formate da un numero finito di oggetti, detti nodi o vertici, [...] e da un insieme di relazioni tra coppie di oggetti, dette archi o spigoli. In economia tale teoria trova applicazione nella soluzione dei problemi di programmazione lineare e nella teoria dei giochi (➔ giochi, teoria dei). ...
Leggi Tutto
ROMA (Rüma; ῾Ρώμη)
Red.
F. Castagnoli,L. Cozza
G. Lugli
L. Franchi
R. A. Staccioli
N. Neuerburg
A. M. Sagripanti
J. B. Ward Perkins
A. M. Sagripanti
A. Terenzio
F. Magi
F. Magi
J. Ruysschaert
F. [...] , vastissimo, interamente impostato sulla linea curva (tamburo e cupola) è certamente il più atto a realizzare un insiemefinito, non lasciando alcuna illusione di prospettive non chiuse. La presentazione esterna dell'edificio era solo nel grandioso ...
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...