aria /'arja/ s. f. [lat. aëra, accus. alla greca di aer aëris masch., gr. aḗr]. - 1. a. [miscuglio gassoso di azoto che costituisce l'atmosfera terrestre] ≈ (poet.) aere, atmosfera, cielo, (lett.) etere. [...] , scompigliare. ↔ mettere in ordine, ordinare, rassettare; fig., campato in .) appartenenti ai linguaggi speciali, sono formati con il primo elemento lat. forma aereo si è sdoppiata in due termini del tutto differenti (aereo1 agg. «di aria, ...
Leggi Tutto
primo ordine, teoria del
primo ordine, teoria del espressione usata per contraddistinguere una particolare categoria di teorie matematiche formalizzate. Formalizzare una teoria significa esprimere i suoi assiomi in un linguaggio formale (si...
Informatica
Giorgio Ausiello
Carlo Batini
Vittorio Frosini
(App. IV, ii, p. 189; V, ii, p. 704)
Mentre negli anni 1937-38 venivano pubblicati l'ultimo volume della Enciclopedia Italiana e l'App. I, alcuni ricercatori (K. Zuse in Germania,...