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 [...] hanno una soluzione in numeri interi.
Basididatirelazionali. L'americano Edgar Codd sviluppa una teoria delle relazioni, che propone come fondamento universale per i sistemi dibasididati. Una base didatirelazionale è simile a un modello per ...
Leggi Tutto
Sistemi, scienza e ingegneria dei
Salvatore Monaco
Con il termine sistema si intende qualsiasi oggetto di studio che, pur essendo costituito da diversi elementi reciprocamente interconnessi e interagenti [...] . Oltre alle già citate reti neurali, ci limitiamo a ricordare le e i sistemi a eventi discreti, le basididatirelazionali e i metodi di rappresentazione della conoscenza.
Ma lo sviluppo della scienza dei sistemi, che si misura in termini ...
Leggi Tutto
spazio Sostantivo polisenso che designa in generale un’estensione compresa tra due o più punti di riferimento. Può essere variamente interpretato a seconda che lo si consideri dal punto di vista filosofico, [...] possa risolversi in semplice astrazione didati empirici, I. Kant definisce relativa di ciascun punto è data dalle sue condizioni produttive, relazionali, di valore basi. L’analisi dello spettro della voce ha rivelato in qualche caso lievi stati di ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le logiche modali
Fabio Bellissima
Paolo Pagli
Le logiche modali
L'Organon di Aristotele, atto di nascita della logica formale, comprende, oltre [...] di un modello se e solo se R è simmetrica.
Se riteniamo che, dati due relazionale, o ancora dibasidi un nuovo calcolo algebrico. Il concetto centrale era quello di algebra di chiusura, un tipo di struttura che si ottiene aggiungendo a un'algebra di ...
Leggi Tutto
Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] di classi di algebre o sistemi relazionali in termini della loro definibilità, sottolineando i rapporti tra proprietà di è la possibilità ‒ dati due modelli M e M′ per cui M⊆M′ ‒ di trasportare in M le soluzioni di equazioni o disequazioni con ...
Leggi Tutto