CRIS Current Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishAny thorough discussion of computing machines requires the examination of rigorous concepts of computation and is facilitated by the distinction between mathematical, symbolical, and physical computations. The delicate connection between the three kinds of computations and the underlying questions “What are machines?” and “When are they computing?” motivate an extensive theoretical and historical discussion.
| Titolo: | Computing Machines | |
| Autore/i: | W. Sieg; LUPACCHINI, ROSSELLA | |
| Autore/i Unibo: | ||
| Anno: | 2006 | |
| Titolo del libro: | The Encyclopedia of Philosophy | |
| Pagina iniziale: | 398 | |
| Pagina finale: | 409 | |
| Abstract: | Any thorough discussion of computing machines requires the examination of rigorous concepts of computation and is facilitated by the distinction between mathematical, symbolical, and physical computations. The delicate connection between the three kinds of computations and the underlying questions “What are machines?” and “When are they computing?” motivate an extensive theoretical and historical discussion. | |
| Data prodotto definitivo in UGOV: | 28-set-2006 | |
| Data stato definitivo: | 21-gen-2021 | |
| Appare nelle tipologie: |
File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Copyright © 2021