Computation, Proof, Machine di Gilles Dowek edito da Cambridge University Press
Alta reperibilità

Computation, Proof, Machine

Mathematics Enters A New Age

Traduttore:
Guillot, Pierre Roman, Marion
EAN:

9780521118019

ISBN:

0521118018

Pagine:
162
Formato:
Hardback
Lingua:
Inglese
Acquistabile con o la

Descrizione Computation, Proof, Machine

Computation, calculation, algorithms - all have played an important role in mathematical progress from the beginning - but behind the scenes, their contribution was obscured in the enduring mathematical literature. To understand the future of mathematics, this fascinating book returns to its past, tracing the hidden history that follows the thread of computation.

Spedizione gratuita
€ 106.39
o 3 rate da € 35.46 senza interessi con
Disponibile in 10-12 giorni
servizio Prenota Ritiri su libro Computation, Proof, Machine
Prenota e ritira
Scegli il punto di consegna e ritira quando vuoi

Recensioni degli utenti

e condividi la tua opinione con gli altri utenti