SULJE VALIKKO

Englanninkielisten kirjojen poikkeusaikata... LUE LISÄÄ

avaa valikko

GILLES DOWEK | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 13 tuotetta
Haluatko tarkentaa hakukriteerejä?



Computation, Proof, Machine: Mathematics Enters a New Age
Gilles Dowek
Cambridge University Press (2015)
Pehmeäkantinen kirja
53,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Computation, Proof, Machine: Mathematics Enters a New Age
Gilles Dowek
Cambridge University Press (2015)
Kovakantinen kirja
100,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
The Age of Algorithms
Serge Abiteboul; Gilles Dowek
Cambridge University Press (2020)
Kovakantinen kirja
59,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
The Age of Algorithms
Serge Abiteboul; Gilles Dowek
Cambridge University Press (2020)
Pehmeäkantinen kirja
20,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Higher-Order Algebra, Logic, and Term Rewriting - Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Se
Gilles Dowek; Jan Heering; Karl Meinke; Bernhard Möller
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1996)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Principles of Programming Languages
Gilles Dowek
Springer London Ltd (2009)
Pehmeäkantinen kirja
33,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
¿PODEMOS CREER EN LOS SONDEOS?
GILLES DOWEK
AKAL DISTRIBUCIONES S.A. (2006)
8,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
¿QUIERES JUGAR CON LAS MATEMATICAS?
GILLES DOWEK
AKAL DISTRIBUCIONES S.A. (2006)
8,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Introduction to the Theory of Programming Languages
Gilles Dowek; Jean-Jacques Lévy
Springer (2010)
Pehmeäkantinen kirja
35,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Proofs and Algorithms : An Introduction to Logic and Computability
Gilles Dowek
Springer (2011)
Pehmeäkantinen kirja
35,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Rewriting and Typed Lambda Calculi - Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Lo
Gilles Dowek
Springer International Publishing AG (2014)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Theorem Proving in Higher Order Logics - 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedi
Yves Bertot; Gilles Dowek; Andre Hirschowitz; Christine Paulin; Laurent Thery
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1999)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Automated Reasoning - 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings
Alessandro Armando; Peter Baumgartner; Gilles Dowek
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2008)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Computation, Proof, Machine: Mathematics Enters a New Age
53,70 €
Cambridge University Press
Sivumäärä: 160 sivua
Asu: Pehmeäkantinen kirja
Painos: New edition
Julkaisuvuosi: 2015, 05.05.2015 (lisätietoa)
Kieli: Englanti
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.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 2-3 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Computation, Proof, Machine: Mathematics Enters a New Agezoom
Näytä kaikki tuotetiedot
ISBN:
9780521133777
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste