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, [...] cui i costi di percorrenza delle strade che collegano le varie città soddisfino la disuguaglianza triangolare (in tal zero:→nat; succ:nat→nat; eq:nat,nat→bool.
Associando a nat l'insieme dei naturali e a bool l'insieme {vero, falso} e interpretando le ...
Leggi Tutto