Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Calculabilité
Consulter un extrait Ajouter à une liste

Librairie Eyrolles - Paris 5e
Disponible en magasin

Calculabilité

Calculabilité

Degrés turing/Thérorie algorithmique de l'aléatoire/Mathématiques à rebours/Hypercalculabilité

Benoit Monin, Ludovic Patey - Collection Tableau noir

832 pages, parution le 28/04/2022

Résumé

Au début du vingtième siècle, un petit groupe de logiciens et mathématiciens comprend et formalise, plusieurs décennies avant l'apparition des premiers ordinateurs, le concept de calcul et de fonction calculable. Leurs travaux vont constituer une base théorique solide sur laquelle se fondera l'informatique et ses nombreuses ramifications.

C'est toutefois une histoire moins connue, mais issue des mêmes travaux que se proposent de nous raconter les auteurs du présent ouvrage : celle de la calculabilité, discipline qui étudie les objets mathématiques sous le prisme de leur complexité calculatoire, et qui étudie en particulier les objets mathématiques incalculables. Ils réalisent cela via une notion de puissance de calcul, les degrés Turing, lesquels se révèlent d'une richesse surprenante et permettent de mieux comprendre de nombreux aspects des mathématiques générales.

La calculabilité a connu des succès majeurs en servant de fondement mathématique à l'étude de certaines questions à saveur philosophique ; Benoît Monin et Ludovic Patey en approfondissent deux, à travers la théorie algorithmique de l'aléatoire et les mathématiques à rebours. La dernière partie est consacrée quant à elle à une extension de la calculabilité à des modèles dont la puissance dépasse celle des ordinateurs classiques, et qui nous amènera à la frontière avec la théorie des ensembles.

Il s'agit du premier ouvrage en français traitant de ce sujet de manière aussi achevée, à destination des chercheurs, étudiants, mathématiciens ou informaticiens curieux d'en apprendre plus sur les fondements de la théorie du calcul. Les auteurs y présentent de façon très accessible les principaux théorèmes de la calculabilité classique, mais aussi l'état de l'art en maints domaines de la recherche autour des thèmes correspondants. De nombreux exercices corrigés aident à la compréhension tout au long de l'ouvrage, qui a pour vocation à être pour un long moment la référence de la calculabilité en France.

Extrait du livre

L'auteur - Benoit Monin

Benoît Monin est maître de conférences au laboratoire d'algorithmique, complexité et logique de l'université Paris-Est Créteil.

L'auteur - Ludovic Patey

Ludovic Patey, lauréat en 2016 du prix Sacks, est chargé de recherche CNRS au site des Grands-Moulins de l'université Paris Cité.

Caractéristiques techniques

  PAPIER
Éditeur(s) Calvage et Mounet
Auteur(s) Benoit Monin, Ludovic Patey
Collection Tableau noir
Parution 28/04/2022
Nb. de pages 832
Format 17 x 24,5
Couverture Relié
Poids 1272g
Intérieur Noir et Blanc
EAN13 9782916352961
ISBN13 978-2-916352-96-1

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925
Recevez nos newsletters
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription