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 [...] il X problema di Hilbert non ha soluzione, ossia che non vi è un metodo generale per determinare quando equazionipolinomiali hanno una soluzione in numeri interi.
Basi di dati relazionali. L'americano Edgar Codd sviluppa una teoria delle relazioni ...
Leggi Tutto
complessità Caratteristica di un sistema (perciò detto complesso), concepito come un aggregato organico e strutturato di parti tra loro interagenti, in base alla quale il comportamento globale del sistema [...] Q» (e si indica con R ∝ Q), se esiste un algoritmo polinomiale che associa a ogni istanza di R un’istanza di Q in modo può essere descritto, in termini di legami ingresso-uscita, dalle equazioni
dove A è una matrice, B è un vettore colonna e ...
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 [...] è una generalizzazione della classe P dei problemi polinomiali, introdotta intorno al 1965. I problemi di classe NP sono teoremi. Oltre che per le applicazioni allo studio di equazioni alle derivate parziali, questo teorema è diventato famoso per ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1991-2000
1991-2000
1991
Il sistema operativo Linux. Uno studente finlandese, Linus Torvalds, sviluppa il sistema operativo Linux. Il sistema può essere distribuito, [...] polinomiale) di fattorizzazione per computer quantistici (non sono noti algoritmi di fattorizzazione polinomiali la cui prova "è troppo lunga per stare nel margine della pagina": l'equazione xn+yn=zn non ha soluzioni intere positive per n>2. Un ...
Leggi Tutto
Perceptron: passato e presente
Gérard Dreyfus Léon Personnaz
(Laboratoire d'Électronique, École Supérieure de Physique et de Chimie lndustrielles, Parigi, Francia)
Gérard Toulouse
(Laboratoire de Physique, [...] non lineari Φi sono monomi, cosicché il modello risulta polinomiale. Il vantaggio principale di tale modello è il fatto di tempo. Tali modelli (modelli input-output) sono quindi descritti da equazioni alle differenze finite del tipo
y(k) = ϕ[y(k-l), ...
Leggi Tutto