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 [...] ogni insieme S∈NP, se un elemento appartiene a S, esiste una dimostrazione di questo fatto (codificata in una sequenza binaria) che può essere verificata, in tempo polinomiale, da un algoritmo che ne esamina solo pochi bit, scelti a caso.
Algoritmi ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1971-1980
1971-1980
1971
I problemi NP-completi. L'informatico americano Stephen Cook dà il primo esempio di problema algoritmico NP-completo. La classe NP [...] 10% d'idrogeno molecolare e una grande percentuale di deuterio rispetto all'idrogeno; il periodo di rotazione del sistema binario Cygnus X-3 lentamente aumenta.
La cromodinamica quantistica. La teoria, formulata da Murray Gell-Mann e nota anche con ...
Leggi Tutto
La grande scienza. Teoria dei numeri
Anatolij A. Karatsuba
Teoria dei numeri
La teoria dei numeri o, adottando una locuzione di Carl Friedrich Gauss (1777-1855), l'aritmetica superiore, è lo studio [...] di Heegner, Benedict Gross e Don Zagier (1986) ottennero una minorazione effettiva per il numero h(−d) delle classi di forme quadratiche binarie a discriminante negativo −d: h(−d)>c(logd)1−δ, 0⟨δ qualsiasi. Con gli stessi metodi sono stati trovati ...
Leggi Tutto
Caos
Robert L. Devaney
Introduzione storica
Secondo l'accezione più comune, il termine ‛caos' significa totale annientamento dell'ordine o assenza di qualsiasi struttura. Analogamente, in matematica, [...] in una coda di 1) è l'itinerario di un certo punto x in I, e x è proprio il numero la cui rappresentazione binaria è s0s1s2... Ne consegue che ciascun x in I ha uno e un solo itinerario.
Per comprendere le dinamiche della funzione di raddoppio, basta ...
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 [...] consideriamo l'alfabeto formato dai soli simboli 0 e 1, allora una stringa si pensa come un numero scritto in forma binaria e il linguaggio PRIMO è formato da tutte le stringhe che rappresentano numeri primi. Una macchina di Turing riconosce PRIMO se ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1961-1970
1961-1970
1961
Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] diagonale di 38 cm, per un diametro utile totale di ben 6,5 m, sono portati da un supporto che si muove su un binario circolare del diametro di 288 m; la distanza tra gli specchi è variata sino a che risulti nulla la correlazione tra le correnti dei ...
Leggi Tutto
binario1
binàrio1 agg. [dal lat. tardo binarius, der. di bini «due per volta»]. – 1. Composto di due unità, di due elementi: divisione b., nell’esercito, la divisione composta da due reggimenti di fanteria; stelle b., sinon. di stelle doppie....
binario2
binàrio2 s. m. [uso sostantivato dell’agg.]. – 1. Sistema di due rotaie parallele disposte in modo tale da poter essere percorse da veicoli ferroviarî di cui esse costituiscono la guida; in senso più ampio, il complesso della sede...