LIBRISTO
LIBROAMANTO
obrigatório
Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente
0
Correio DHL 7.99 Correio DPD 4.49 Correio MRW 3.99 Ponto DPD 3.99

Computation, Proof, Machine

Mathematics Enters a New Age

Língua InglêsInglês
Livro Capa mole
Livro Computation, Proof, Machine Gilles Dowek
Código Libristo: 09197688
Editoras Cambridge University Press, maio 2015
Computation is revolutionizing our world, even the inner world of the 'pure' mathematician. Mathemat... Descrição completa
? points 133 b
55.06
Armazenamento externo Envio em 9-15 dias

Política de devolução de 30 dias


Os clientes também compraram


Piccolo Albero e il Natale Jane Chapman / Livro Livro de capa dura
common.buy 14.64
NFL American Football Adventskalender Holger Weishaupt / Livro Livro de capa dura
common.buy 13.33
Dust Storm. The Griffith Brothers. Tom 1 Maggie C. Gates / Livro Capa mole
common.buy 7.47
Bünde Norbert Sahrhage / Livro Livro de capa dura
common.buy 28.59
Original Album Series Heroes Del Silencio / Áudio CD de áudio
common.buy 16.97
Aus dem Leben einer Frau Louise Aston / Livro Livro de capa dura
common.buy 18.08
Der Hexer von Hymal - Sammelband 6 N. Bernhardt / Livro Capa mole
common.buy 11.21
Kroatien - Autofreie Urlaubsorte Stefan Hasenbichler / Livro Capa mole
common.buy 15.05
El Evangelio Segun Juan, Vol. 1 Leon Morris / Livro Capa mole
common.buy 20.50
Akmeologiya Kar'ery Lichnosti Moskalenko Ol'ga / Livro Capa mole
common.buy 62.04
Contes A Ninon (Ed.1879) Emile Zola / Livro Capa mole
common.buy 23.43

Computation is revolutionizing our world, even the inner world of the 'pure' mathematician. Mathematical methods - especially the notion of proof - that have their roots in classical antiquity have seen a radical transformation since the 1970s, as successive advances have challenged the priority of reason over computation. Like many revolutions, this one comes from within. 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. Along the way it invites us to reconsider the dialog between mathematics and the natural sciences, as well as the relationship between mathematics and computer science. It also sheds new light on philosophical concepts, such as the notions of analytic and synthetic judgment. Finally, it brings us to the brink of the new age, in which machine intelligence offers new ways of solving mathematical problems previously inaccessible. This book is the 2007 winner of the Grand Prix de Philosophie de l'Académie Française.

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
Ewa Kasp
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Computation, Proof, Machine
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2015
Número de páginas 160
EAN 9780521133777
ISBN 0521133777
Código Libristo 09197688
Peso 204
Dimensões 139 x 218 x 13
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em


Human Evolution Graeme Finlay / Livro Livro de capa dura
common.buy 87.80
Housing Law and Policy David Cowan / Livro Livro de capa dura
common.buy 123.68
NSSC Physical Science Module 4 Student's Boook Olantunde Ajayi / Livro Capa mole
common.buy 20.10
French Organ Music in the Reign of Louis XIV David Ponsford / Livro Capa mole
common.buy 32.23
Complete Letters of Lady Mary Wortley Montagu Lady Mary Wortley Montagu / Livro Livro de capa dura
common.buy 82.65
Colombian Economy and Its Regional Structural Challenges Eduardo A. Haddad / E-book Adobe ePub DRM
common.buy 182.59
Computer-Based Structure Elucidation from Spectral Data Mikhail E. Elyashberg / Livro Livro de capa dura
common.buy 91.75
Principal
Woman's Lore Sarah Clegg / Livro Capa mole
common.buy 8.98
Battles of Conscience Tobias Kelly / Audiolivro MP3
common.buy 9.69
Age of Earthquakes Shumon Basar / E-book Adobe ePub DRM
common.buy 8.88
No More State Greens 2 Troy G - Five Hough / Livro Capa mole
common.buy 10.50
Global Hillary Dinesh Sharma / Livro Livro de capa dura
common.buy 221.60
Keywords in Creative Writing Wendy Bishop / Livro Capa mole
common.buy 21.11
If You Will Ask [If Ye Shall Ask] Oswald Chambers / Livro Capa mole
common.buy 7.16
Salvation of a Saint Keigo Higashino / Livro Capa mole
common.buy 12.52
Ezra Pound and Music Murray Schaffer R / Livro Capa mole
common.buy 22.73
Herb DIACONO MARK / Livro Livro de capa dura
common.buy 23.84
Business of Baking Michelle Z Green / Livro Capa mole
common.buy 15.75
Principal
How to Hide an Empire Daniel Immerwahr / Livro Capa mole
common.buy 10.50
Principal
The Laws of Human Nature Robert Greene / Livro Capa mole
common.buy 16.16
Trauma Treatment Toolbox Jennifer Sweeton / Livro Capa mole
common.buy 26.47
Biosphere and Environmental Safety V I Osipov / Livro Capa mole
common.buy 91.75

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo