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 [...] ad un altro stato interno e spostamento a destra o a sinistra della testina. Nonostante questo modello sia lontano dai reali calcolatori, esso è tuttora utilizzato per la sua grande semplicità sia nella teoria degli automi e dei linguaggi formali sia ...
Leggi Tutto
La scienza presso le civilta precolombiane. Pratiche di calcolo nell'antica Mesoamerica
John S. Justeson
Pratiche di calcolo nell'antica Mesoamerica
La matematica mesoamericana si è sviluppata al di [...] venusiano e il calendario rituale, o anche con l'anno vago, quando siano prese in considerazione le variazioni reali della lunghezza dell'anno venusiano. L'anno canonico immutabile rese possibile una struttura della tavola di Venere che incorporava ...
Leggi Tutto
GRANDI, Guido
Ugo Baldini
Nacque a Cremona il 10 ott. 1671 da Pietro Martire, ricamatore in oro, e Caterina Legati. Battezzato con il nome di Francesco Lodovico, lo mutò in Guido quando entrò tra i [...] del sec. XX l'esistenza del codice di Besançon è stata ammessa o si è ritenuto che il G. si servì di dati reali, perché certe sue tesi hanno trovato conferme che è difficile spiegare come meri casi; su alcuni punti il giudizio non è ancora unanime ...
Leggi Tutto
reale1
reale1 agg. [dal fr. ant. reial, che è il lat. regalis; v. regale1]. – 1. a. Di re, del re o dei re: famiglia, casa, stirpe, ceppo r.; sangue r.; Maestà r.; Altezza r., titolo che si dà ai principi di sangue reale; decreto, discorso...
reale2
reale2 agg. [dal lat. mediev. realis, der. di res «cosa»]. – 1. Che è, che esiste veramente, effettivamente e concretamente (contrapp., nell’uso com. e generico, a immaginario, illusorio e anche a apparente, ideale, possibile): le mie...