Automi e linguaggi formali
Dominique Perrin
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. Tali successioni si presentano in situazioni [...] se l'insieme dei suoi quozienti sinistri è finito. Una famiglia F di sottoinsiemi di A* si dice stabile se u−1∈F per u∈A* e macchine comunicano a ogni passo e il numero dei passi è limitato da un polinomio. Un linguaggio L è in IP (interattivo ...
Leggi Tutto
Matematica: problemi aperti
Claudio Procesi
Prima di parlare dei problemi aperti nella matematica è bene riflettere su quelli che ne hanno segnato la storia passata. Sono infatti proprio questi che [...] Un linguaggio L, per definizione, è semplicemente un sottoinsieme dell'insieme costituito da tutte le parole ∑ in y∈∑′ con (w,y)∈R tale che la lunghezza ∣y∣ di y sia limitata da ∣w∣k per una costante fissata k. In altre parole l'algoritmo deve prima ...
Leggi Tutto
Crittografia
GGiancarlo Bongiovanni
di Giancarlo Bongiovanni
SOMMARIO: 1. Introduzione e definizioni. ▭ 2. Cenni storici. ▭ 3. Crittografia a chiave segreta: a) l'algoritmo DES; b) l'algoritmo IDEA; [...] i possibili valori della chiave, che sono in numero limitato come le lettere dell'alfabeto (nel caso dell'alfabeto uso di S-box accuratamente progettati ed è parametrizzata da un diverso sottoinsieme di 48 dei bit della chiave.
Il DES è stato al ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La teoria della misura
Maurice Sion
La teoria della misura
Con la nozione matematica di misura si vogliono analizzare concetti che si riferiscono [...] dell'integrazione e della derivazione sulla quale si basa gran parte dell'analisi contemporanea.
Lebesgue, limitandosi inizialmente a considerare i sottoinsiemi di un intervallo di lunghezza unitaria, dato che un insieme aperto è l'unione di una ...
Leggi Tutto
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 [...] differenza. La potenza 2Σ dell'insieme Σ è l'insieme di tutti i sottoinsiemi di Σ. Il prodotto cartesiano Σ×Γ tra gli insiemi Σ e Γ le altre. Invece, come abbiamo già affermato, ha senso limitare lo studio a problemi di decisione che non chiedono in ...
Leggi Tutto
Turbolenza
AAngelo Vulpiani
di Angelo Vulpiani
SOMMARIO: 1. Introduzione. ▭ 2. Transizione alla turbolenza. ▭ 3. Turbolenza sviluppata: a) meccanica statistica dei fluidi perfetti; b) fatti sperimentali [...] per ogni istante di tempo nel caso di un dominio limitato (recipiente di taglia finita) o di condizioni periodiche ha singolarità di tipo h,
per piccoli l (cioè nel range inerziale). Il sottoinsieme S(h) stesso è un frattale di dimensione D(h) ≤ DF. ...
Leggi Tutto
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, [...] dai naturali sui naturali). Lo studio può essere limitato agli algoritmi di decisione che calcolano funzioni da } se A è un algoritmo di decisione. In questo caso se L è il sottoinsieme di Σ* per cui A dà risposta 1, diremo che L è il linguaggio ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'economia matematica 1870-1950
Angelo Guerraggio
L'economia matematica 1870-1950
Di matematica sociale comincia a parlare Condorcet nella Francia [...] caratterizza dunque come una disciplina che studia un campo molto limitato e condivisibile (l'homo oeconomicus e la sua tendenza a loro conseguenze. Von Neumann studia invece un piccolo sottoinsieme del sistema sociale, dove ciascuno è a conoscenza ...
Leggi Tutto
Origini della vita
Samanta Pino
Ernesto Di Mauro
Le origini della vita non sono note. Le più recenti scoperte della chimica organica, della biologia molecolare e, soprattutto, i dati forniti dall’esplorazione [...] termine prebiotico si riferisce, invece, al sottoinsieme di processi abiotici suscettibili di contribuire all’ e dai suoi derivati, il progresso del campo è stato limitato.
Una possibile soluzione del problema della formazione delle molecole ...
Leggi Tutto
Meccanica quantistica, verifiche sperimentali
Alain Aspect e Philippe Grangier
SOMMARIO: 1. Il dibattito fra Bohr e Einstein: a) meccanica quantistica e probabilità; b) l'argomento di Einstein, Podolsky [...] pratiche sulla ricerca, cosicché il problema sembrava limitarsi a una questione di interpretazione o sconfinare addirittura ciò nondimeno valide se si suppone che il sottoinsieme dei fotoni effettivamente rivelati fornisca un campione non ...
Leggi Tutto
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...
spazio
spàzio s. m. [dal lat. spatium, forse der. di patēre «essere aperto»]. – 1. Con valore assol., il luogo indefinito e illimitato in cui si pensano contenute tutte le cose materiali, le quali, in quanto hanno un’estensione, ne occupano...