INFORMATICA
Paolo Ercoli
Alberto Marini
Con il termine informatica, neologismo di origine francese, s'indica attualmente una nuova ed emergente disciplina, la quale si occupa di particolari rappresentazioni [...] stesso significato anche se il primo è composto di una successione di lettere e l'altro di una successione di cifre; entrambi infatti rappresentano uno stesso ente astratto: il "numero centoventitre", che è pure rappresentabile con CXXIII.
Fra le tre ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] successione binaria infinita. Per esempio, l'insieme dei numeri pari corrisponde alla successione 1010101 un subshift S è il limite di (1/n)log un, dove un è il numero dei possibili blocchi di lunghezza n di S. Per il sistema della sezione aurea si ...
Leggi Tutto
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 [...] basa su una riduzione ad automi finiti e assimila un insieme di interi a una successione binaria infinita: per esempio, l'insieme dei numeri pari corrisponde alla successione 1010101… I lavori di Büchi hanno aperto un nuovo campo di ricerca, che si ...
Leggi Tutto
Banche dati e basi di dati
Guido M. Rey
Introduzione: banche dati e basi di dati
I termini 'banca di dati' e 'base di dati' sono entrati nell'uso corrente per indicare un sistema di dati memorizzati [...] di informazioni attraverso le banche dati è data dal notevole aumento del numero di produttori e diffusori nel mondo: da circa 200 nel 1983 utili di società ed enti, compravendita di immobili, successioni, mutui, appalti, leasing, ecc.Alle basi di ...
Leggi Tutto
Automazione
Alessandro Agnetis
Alberto Bemporad
Nell’automazione si fondono contenuti e metodologie che si sono sviluppate nella scienza dell’automatica e nella ricerca operativa grazie all’impiego [...] all’uso di strumenti di studio analitico e di tecniche numeriche per la sintesi delle leggi di controllo. Entrambi i entità separata) che eseguono il coordinamento automatico delle successioni di eventi operativi (chiamato controllo supervisore se, a ...
Leggi Tutto
successione
successióne s. f. [dal lat. successio -onis, der. di succedĕre «succedere»]. – 1. Il succedere ad altri, cioè il subentrare, il prendere il posto di un altro in una carica, in un ufficio, in un titolo, nella proprietà di un bene,...
numero
nùmero s. m. [dal lat. numĕrus; cfr. novero]. – 1. Ciascuno degli enti astratti che rappresentano insiemi di unità, ordinati in una successione infinita (serie naturale dei n.) nella quale ogni elemento conta un’unità in più rispetto...