LIVRES JEUNESSEBÉBÉJEUX, JOUETSPAPETERIECADEAUXDIVERTISSEMENT


Message Important
Le site sera temporairement en maintenance, pour une mise à jour. Ceci afin de mieux vous servir.
Heure de maintenance prévue : 10:30 pm

Important message
The site will be busy updating the store for you and will be back shortly.
Scheduled maintenance : 10:30 pm
LIVRES NUMÉRIQUES
Martin Davis on Computability, Computational Logic, and Mathematical Foundations - EUGENIO G. OMODEO - ALBERTO POLICRITI

Martin Davis on Computability, Computational Logic, and Mathematical Foundations

Titre de l'éditeur : Martin Davis on Computability, Computational Logic, and Mathemat

EUGENIO G. OMODEO
ALBERTO POLICRITI

 
154,40 $
Feuilleter Feuilleter
Ajouter à ma liste de souhaits
EN SAVOIR PLUS Résumé

This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections between logic, computing, and unsolvability. The individual contributions touch on most of the core aspects of Davis’ work and set it in a contemporary context. They analyse, discuss and develop many of the ideas and concepts that Davis put forward, including such issues as contemporary satisfiability solvers, essential unification, quantum computing and generalisations of Hilbert’s tenth problem.

The book starts out with a scientific autobiography by Davis, and ends with his responses to comments included in the contributions. In addition, it includes two previously unpublished original historical papers in which Davis and Putnam investigate the decidable and the undecidable side of Logic, as well as a full bibliography of Davis’ work. As a whole, this book shows how Davis’ scientific work lies at the intersection of computability, theoretical computer science, foundations of mathematics, and philosophy, and draws its unifying vision from his deep involvement in Logic.


Détails
Prix : 154,40 $
Catégorie :
Auteur :  EUGENIO G. OMODEO
ALBERTO POLICRITI
Titre : Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Date de parution : janvier 2017
Éditeur : LIVRES NUMÉRIQUES DIVERS
Sujet : NUL DIVERS
ISBN : 9783319418421 (3319418424)
Référence Renaud-Bray : 2178868
No de produit : 2178868
Droits numériques
Format : PDF
Disponibilité : Canada, consultez la liste des pays autorisés.
Gestion des droits numériques : Adobe DRM
Entrepôt numérique : NUMILOG
Nombre d'appareils autorisés : 3

SUGGESTIONS
Suggestions
Une vie sans peur et sans regret BOMBARDIER, DENISE
25,99 $
Détresse et l'enchantement(La) 3e Ed. ROY, GABRIELLE
14,99 $
Détresse et l'enchantement(La) 3e Ed. ROY, GABRIELLE
14,99 $
Martin Davis on Computability, Computational Logic, and Mathematical Foundations , OMODEO , EUGENIO G.*POLICRITI , ALBERTO
© LIVRES NUMÉRIQUES DIVERS 2017