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. [...] processare un linguaggio. Il legame con i linguaggi formali è per grandi linee il seguente. La parte lessicale di un compilatore che tratta nozioni di basso livello, come il format dell'input, è descritta da automi finiti. Esistono molti strumenti di ...
Leggi Tutto
LOTTERI, Angelo Luigi
Alessanda Ferraresi
Nacque a Bollate, alle porte di Milano, il 24 nov. 1760 da Giuseppe, medico, e da Anna Riva.
Alla sua educazione e istruzione provvidero principalmente gli [...] di Cremona). Nel 1796 fu nominato supplente di Mascheroni e dal 1797 fu impegnato sul fronte politico tra i compilatori della costituzione della Repubblica Cisalpina.
In una vicenda umana che si configura appartata e dedita principalmente allo studio ...
Leggi Tutto
La scienza bizantina e latina: la nascita di una scienza europea. Astronomia, astrologia e geografia matematica
John D. North
Anne Tihon
Graziella Federici Vescovini
Uta Lindgren
Astronomia, astrologia [...] otto; l'introduzione del primo mobile o nona sfera è stata attribuita all'opera di Ibn al-Hayṯam, detto Alhazen, e ad altre compilazioni della fine del XII sec. e degli inizi del XIII, e questa nona sfera era presente anche nell'opera di Giovanni di ...
Leggi Tutto
Scienza indiana: periodo vedico. Discipline ausiliarie dei Veda
Christopher Minkowski
Takao Hayashi
David Pingree
Discipline ausiliarie dei Veda
Testi per i rituali solenni (Śrautasūtra)
di Christopher [...] , scritta in sūtra, è accompagnata da un supplemento in metro śloka. Queste caratteristiche fanno pensare a una sua compilazione relativamente tarda. Lo Śulbasūtra di Mānava, che si compone per due terzi di versi śloka, contiene elementi ancora ...
Leggi Tutto
Insieme di linee, reali o ideali, che si intrecciano formando incroci e nodi e dando luogo a una struttura complessa. Più in particolare, infrastruttura tecnica per la distribuzione di un segnale (tipicamente [...] , sono legati al concetto di espressione calcolabile e di linguaggio di programmazione e sono alla base dello studio dei compilatori nei sistemi di elaborazione, dei sistemi di traduzione automatica, dei sistemi per l’analisi dei testi e per il ...
Leggi Tutto
L'Ottocento: matematica. Immagini della matematica nell'Ottocento
Umberto Bottazzini
Immagini della matematica nell'Ottocento
Il panorama della matematica negli ultimi decenni del XIX sec. è per molti [...] pura e applicata" che fin dal titolo si ispira agli omologhi giornali pubblicati a Berlino e a Parigi. Nell'intenzione dei 'compilatori', gli "Annali" si propongono "di rappresentare lo stato della scienza tra noi" e, al tempo stesso, "richiamare l ...
Leggi Tutto
La scienza in Cina: dai Qin-Han ai Tang. La matematica
Alexei Volkov
Karine Chemla
Qu Anjing
La matematica
Le bacchette
di Alexei Volkov
Il sistema di numerazione cinese, sistema decimale e principio [...] simile al Calendario Santong (Santong li), anche se è probabile che molti altri lo abbiano preceduto. Si ha notizia di un centinaio di calendari compilati tra il I sec. a.C. e la metà del XVII sec. d.C., di cui solamente meno della metà è giunta sino ...
Leggi Tutto
compilare
v. tr. [dal lat. compīlare «saccheggiare», quindi «comporre uno scritto prendendo qua e là»] (io compìlo, meno corretto còmpilo, ecc.). – 1. Scrivere, comporre, raccogliendo e ordinando materiale tratto da altre opere o fonti: c....