Il calcolatore universale : da Leibniz a Turing
Tra i fili di Arianna che si possono seguire per interpretare lo sviluppo del moderno, Martin Davis seleziona quell'entità al tempo stesso astrusa e comunissima che è il calcolo o computazione. Astrusa perché la teoria della calcolabilità - in bilico tra matematica, ingegneria elettronica e filosofia non è certo un soggetto facile. Comunissima perché chiunque usi un PC ha tra le mani, spesso senza saperlo, un "calcolatore universale" - l'epitome stessa della nozione di computazione. Pe ...[Leggi tutto...]
Monografia a Stampa
| Descrizione | Il calcolatore universale : da Leibniz a Turing / Martin Davis ; traduzione di Gianni Rigamonti. - Nuova ed. ampliata. - Milano : Adelphi, 2012. - 327 p. ; 20 cm. - (Gli Adelphi ; 423) |
| Collezione |
|
| Autori |
|
| Luogo di pubblicazione |
|
| Editore | |
| Soggetto | |
| Classificazione |
|
| Numeri |
|
| # SBN | # SBN |
| # Scheda | 273273 |
| Biblioteca | Inv. | Collocazione | Prestabilità | Stato | Prenotazioni |
|---|---|---|---|---|---|
| Verbania | 135284 | 004/DAV | Ammesso al prestito | In magazzino | Nessuna |